กำหนดว่า “ถ้านักเรียนตั้งใจเรียนแล้วสอบผ่าน” และทราบว่านาย ก ตั้งใจเรียน ข้อสรุป “นาย ก สอบผ่าน” จะถูกต้องภายใต้เงื่อนไขใด
กไม่จำเป็นต้องตรวจข้อกำหนดเดิม
ขนาย ก มีเพื่อนสอบผ่าน
คนักเรียนส่วนใหญ่สอบผ่าน
งข้อกำหนดเป็นจริงโดยไม่มีข้อยกเว้นและคำว่า “ตั้งใจเรียน” ใช้ความหมายเดียวกัน
เฉลยอธิบาย
รูปแบบ modus ponens ถูกต้องเมื่อ P → Q และ P จริง แต่ความน่าเชื่อถือของข้อสรุปยังขึ้นกับความจริงและนิยามของบทตั้ง