กำหนดให้ 'ถ้าวันนี้ฝนตก แล้วข้าวจะปลูกได้ดี' และ 'วันนี้ฝนตก' เป็นจริง ข้อใดเป็นการสรุปที่ถูกต้องตามกฎของตรรกศาสตร์
กข้าวจะปลูกได้ดี
ขวันนี้ฝนไม่ตก
คข้าวจะไม่ปลูกได้ดี
งอาจจะมีเหตุอื่นที่ทำให้ข้าวปลูกได้ดี
เฉลยอธิบาย
นี่คือการให้เหตุผลแบบ Modus Ponens ซึ่งมีโครงสร้าง: ถ้า p แล้ว q, p เป็นจริง, ดังนั้น q เป็นจริง ในกรณีนี้ p = 'วันนี้ฝนตก' และ q = 'ข้าวปลูกได้ดี' เนื่องจากทั้ง p และ 'ถ้า p แล้ว q' เป็นจริง เราจึง q ต้องเป็นจริง ตัวเลือก B, C, D ไม่เป็นการสรุปที่ถูกต้องตามกฎนี้