> İ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.
