ในการให้เหตุผลเชิงตรรกศาสตร์ หากกำหนดให้ 'สัตว์ทุกชนิดต้องการอาหาร' และ 'สุนัขเป็นสัตว์' ข้อสรุปใดต่อไปนี้ถูกต้องตามหลักการอนุมาน (Deductive Reasoning)
กสุนัขต้องการอาหาร เพราะสุนัขเป็นสัตว์และสัตว์ทุกชนิดต้องการอาหาร
ขอาหารทุกชนิดเหมาะสำหรับสุนัข เพราะสัตว์ทุกชนิดต้องการอาหาร
คสัตว์ที่ต้องการอาหารทุกชนิดคือสุนัข เพราะสุนัขเป็นสัตว์
งสุนัขไม่ต้องการอาหารบางชนิด เพราะสัตว์บางชนิดไม่ต้องการอาหาร
เฉลยอธิบาย
การอนุมานแบบนิรนัย (Deductive Reasoning) คือการนำข้อความทั่วไปมาสรุปเป็นข้อความเฉพาะ โดยใช้หลักการ Syllogism ดังนี้ สถานที่ 1: สัตว์ทุกชนิดต้องการอาหาร สถานที่ 2: สุนัขเป็นสัตว์ ดังนั้นข้อสรุปที่ถูกต้องคือ สุนัขต้องการอาหาร ตัวเลือก B, C และ D เป็นการสรุปที่ผิดหลักตรรกศาสตร์ เพราะกลับทิศทางหรือเพิ่มเติมข้อมูลที่ไม่มีในสมมติฐาน