"Tüm kuşlar uçar. Penguen bir kuştur. O halde penguen uçar."
Bu akıl yürütme için aşağıdakilerden hangisi doğrudur?
A) Geçersizdir çünkü sonuç yanlıştır
B) Geçersizdir çünkü öncüllerden biri yanlıştır
C) Geçerlidir çünkü biçimsel olarak doğru bir çıkarımdır
D) Geçerlidir çünkü sonuç mantıklıdır
