ข้อสรุปต่อไปนี้สอดคล้องกับหลักการตรรกศาสตร์หรือไม่ เหตุ: นกทุกตัวมีปีก ไก่เป็นนก สรุป: ไก่มีปีก

เฉลยอธิบาย

การให้เหตุผลนี้เป็นรูปแบบนิรนัยคลาสสิก (Barbara syllogism): สัตว์ทั้งหมดในประเภท A มีคุณสมบัติ X → สิ่งที่เป็นประเภท A มีคุณสมบัติ X ที่อ้างถึง เหตุทั้งสองข้อเป็นจริง ข้อสรุปจึงต้องจริง ตัวเลือก B ผิดเพราะนี่คือนิรนัย ไม่ใช่อุปนัย ตัวเลือก C, D ไม่มีพื้นฐานตรรกะ