CEVAP: Bir çıkarımda tüm öncül önermeleri doğru ve sonuç önermesini yanlış kabul etmek olanaklı ise, bu çıkarım tümdengelimli mantık bakımından düzgün olmayan bir çıkarımdır.