CEVAP: Öncüllerden biri koşul önermesidir. Diğer öncül, koşul önermesinin artbileşenini (önbileşen için zorunlu koşulu) değiller ve koşul önermesinin önbileşeninin değillemesi (B için yeterli koşulun olmadığı) sonuç olarak çıkarılır. Genel biçimi: A —> B Örnek 1: Ali bir aslan ise Ali dört ayaklıdır. Ali dört ayaklı değildir. Öyleyse, Ali bir aslan değildir. Örnek 2: Ateş varsa oksijen de vardır. Oksijen yok. Öyleyse ateş de yok. Örnek 3: Çok kar yağarsa uçak seferleri iptal edilecek. Uçak seferleri iptal edilmedi. Öyleyse çok kar yağmadı.