สัจนิรันดร์ (tautology) วิธีหาข้อขัดแย้ง

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

[(p ↔ ~ q) → 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