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

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

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

       เหตุ : p → q

                q ∧ p

              ~p ∨ q         

       ผล : p → ~q

วิธีทำ ตรวจสอบความเป็นสัจนิรันดร์ของ 

[(p → q) ∧ (q ∧ p) ∧ (~p ∨ q)] → (p → ~q) ดังนี้

จากแผนภาพ จะเห็นว่า เมื่อให้

[(p → q) ∧ (q ∧ p) ∧ (~p ∨ q)] → (p → ~q)  เป็นเท็จ 

จะพบว่า ค่าความจริงของประพจน์บางกรณีไม่ขัดแย้งกัน แต่ทำให้รูปแบบของประพจน์ [(p → q) ∧ (q ∧ p) ∧ (~p ∨ q)] → (p → ~q)  เป็นเท็จ 

จะได้ว่า รูปแบบของประพจน์ 

[(p → q) ∧ (q ∧ p) ∧ (~p ∨ q)] → (p → ~q)  ไม่เป็นสัจนิรันดร์

ดังนั้น รูปแบบของประพจน์ [(p → q) ∧ (q ∧ p) ∧ (~p ∨ q)] → (p → ~q)  นี้ 

ไม่สมเหตุสมผล

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

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