การให้เหตุผลที่มีรูปแบบ 'ถ้า A แล้ว B, A เป็นจริง, ดังนั้น B เป็นจริง' มีชื่อเรียกว่าอะไร และมีความปลอดภัยในตรรกศาสตร์อย่างไร
กModus Ponens และปลอดภัยตรรกศาสตร์
ขHypothetical Syllogism และปลอดภัยบ้าง
คModus Tollens และไม่ปลอดภัย
งAffirming the Consequent และปลอดภัยมาก
เฉลยอธิบาย
รูปแบบ 'ถ้า A แล้ว B, A เป็นจริง, ดังนั้น B เป็นจริง' เรียกว่า Modus Ponens ซึ่งเป็นรูปแบบการให้เหตุผลแบบนิรนัยที่ปลอดภัยในตรรกศาสตร์ (Valid form) ตัวเลือก A ผิด Modus Tollens มีรูปแบบต่างกัน C และ D ผิดเพราะชื่อและความปลอดภัยไม่ถูกต้อง