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

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

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

       เหตุ : p ↔ q

                q ∧ ~p

       ผล  : p → ~q

วิธีทำ ตรวจสอบความเป็นสัจนิรันดร์ของ [(p ↔ q) ∧ (q ∧ ~p)] → (p → ~q) ดังนี้

จากแผนภาพ จะเห็นว่า เมื่อรูปแบบของประพจน์

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

จะพบว่า ค่าความจริงของประพจน์ย่อมขัดแย้งกัน ทำให้รูปแบบของประพจน์ 

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

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

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

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

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

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