Modus Ponens
เป็นรูปแบบการอนุมานพื้นฐานที่ใช้เงื่อนไขร่วมกับการยืนยันเหตุ เพื่อสรุปผลตามเงื่อนไข
p → q
p
∴ q
p
∴ q
ตัวอย่าง
- ถ้าฝนตก ถนนจะเปียก (p → q)
- ฝนตก (p)
- ดังนั้น ถนนเปียก (q)
เครื่องหมาย ∴ อ่านว่า “ดังนั้น” ใช้แสดงข้อสรุปของการให้เหตุผล
ข้อควรระวัง
การอนุมานที่ดีต้องพิจารณาทั้งรูปแบบของเหตุผลและความถูกต้องของข้อมูลตั้งต้น อย่าสรุปจากข้อมูลที่ยังไม่ได้ตรวจสอบ