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