Cevap :
> İse (şart gerektirme) bağlacı, koşullu önermedir.
> p ve q önermeleri için (p ⇒ q) ile gösterilir.
( p ⇒ q ) = p' V q
> Önermelerin olumsuzu (değili) >> ' << işareti ile gösterilir.
( p ⇒ q) önermesinin olumsuzu (değili) ( p ⇒ q ) ' olur.
( p ⇒ q ) ' = p ^ q' olacaktır.
Cevap:
Tam anlamadım şimdi (p -> q)' ne 8luyor p'v q mu yoksa p ^ q' mu