Soru: Aşağıdaki argümanlardan hangisi geçerlidir (valid)?
A) Eğer yağmur yağıyorsa, zemin ıslaktır. Zemin ıslak. O halde yağmur yağıyor.
B) Tüm kediler memelidir. Bazı memeliler köpektir. O halde bazı kediler köpektir.
C) Eğer Ay Dünya'dan daha büyük olsaydı, gelgitler daha güçlü olurdu. Gelgitler daha güçlü değil. O halde Ay Dünya'dan daha büyük değil.
D) Bütün kuşlar uçar. Penguenler kuştur. O halde penguenler uçar.
Çözüm: Doğru cevap C'dir. Bu argüman Modus Tollens formundadır. Eğer P ise Q. Q değil. O halde P değil. A seçeneği Affirmed the Consequent (sonucu onaylama) hatasına düşer. B seçeneği geçersiz bir kategorik kıyas örneğidir. D seçeneği doğru olsa da, penguenlerin uçmadığı gerçeği bu argümanı geçersiz kılmaz, ancak yanıltıcıdır. C seçeneği ise mantıksal olarak geçerlidir.
