önermelerde --> simgesiyle ifade edilen karşılaştırma. bazen "ise" olarak ta kullanılır.
ilk önerme doğru ve ikinci önerme yanlış iken sonuç yanlış, diğer durumlarda doğrudur.
kar yağıyor ise hava soğuktur.
kar yağıyor mu? doğru
hava soğuk olmasa da kar yağıyor, hava soğuk olsa da, yani her iki durumda da doğru.
ancak kar yağıyor ve hava soğuk değilse yanlış olur.
