"Tüm kuşların kanatları vardır. Penguen bir kuştur. O halde penguenin de kanatları vardır." Bu tümdengelimli akıl yürütmenin geçerli olması için aşağıdakilerden hangisi gerekli değildir?
A) Penguenin kuş olduğunun doğru olması
B) Tüm kuşların kanatlı olduğunun doğru olması
C) Penguenin uçabildiğinin doğru olması
D) Öncüllerin doğru olması