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

กำหนดให้ 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