การอ้างเหตุผล

       ในการอ้างเหตุผลทางตรรกศาสตร์ จะใช้ข้อสรุปจากการตรวจสอบความเป็นสัจนิรันดร์ หากพบว่ารูปแบบของประพจน์นั้นเป็นสัจนิรันดร์ จะสรุปว่า

การอ้างเหตุผลนั้นสมเหตุสมผล และถ้าหากพบว่ารูปแบบของประพจน์นั้นไม่เป็นสัจนิรันดร์ จะสรุปว่าการอ้างเหตุผลนั้นไม่สมเหตุสมผล 

       ส่วนวิธีในการดำเนินการนั้น เหตุมีได้หลายๆเหตุ และมีผลตามมา ดังนั้น 

เราต้องทำการเชื่อมเหตุแต่ละเหตุด้วยตัวเชื่อม "และ" ทำการเชื่อมเหุตกับผลด้วยตัวเชื่อม "ถ้า...แล้ว..." จะได้รูปแบบของประพจน์ที่ต้องตรวจสอบต่อไป

กำหนดให้ p และ q เป็นประพจน์ จงตรวจสอบว่ารูปแบบของประพจน์ที่กำหนด

สมเหตุสมผลหรือไม่

       เหตุ : p ∨ q

                 ~ p

       ผล  : ~ q

วิธีทำ สร้างตารางค่าความจริงของ [(p ∨ q) ∧ ~ p]→ ~ q ได้ดังนี้

จากตารางค่าความจริง พบว่า รูปแบบของประพจน์ [(p ∨ q) ∧ ~ p]→ ~ q 

มีค่าความจริงไม่เป็นจริงทุกกรณี

จะได้ว่ารูปแบบของประพจน์ [(p ∨ q) ∧ ~ p]→ ~ q ไม่เป็นสัจนิรันดร์

ดังนั้น รูปแบบของประพจน์ [(p ∨ q) ∧ ~ p]→ ~ q นี้ ไม่สมเหตุสมผล

 ฝึกสมอง ลองความไว กับแอป QMath เล่นง่าย สนุกกับการเรียนรู้ สามารถดาวน์โหลดแอปได้ที่ลิงค์ด้านล่างเลยนะคะ

https://play.google.com/store/apps/details?id=com.pro45.qmath