"Tüm kuşlar uçar. Penguen bir kuştur. O halde penguen uçar."
Bu akıl yürütme ile ilgili aşağıdakilerden hangisi doğrudur?
A) Geçersizdir çünkü sonuç yanlıştır
B) Geçerlidir çünkü öncüller doğru kabul edildiğinde sonuç zorunlu olarak çıkar
C) Geçersizdir çünkü penguenler uçamaz
D) Geçerlidir çünkü öncüller doğrudur
