สัจนิรันดร์
กำหนดให้ p และ q เป็นประพจน์ จงแสดงว่า (p → q) ↔ (~ p ∨ q) เป็นสัจนิรันดร์
วิธีทำ สร้างตารางค่าความจริงของ (p → q) ↔ (~ p ∨ q) ได้ดังนี้
จากตารางค่าความจริง พบว่า รูปแบบของประพจน์
(p → q) ↔ (~ p ∨ q) มีค่าความจริงเป็นจริงทุกกรณี
ดังนั้น รูปแบบของประพจน์ (p → q) ↔ (~ p ∨ q) เป็น สัจนิรันดร์ (tautology)
ฝึกสมอง ลองความไว กับแอป QMath เล่นง่าย สนุกกับการเรียนรู้ สามารถดาวน์โหลดแอปได้ที่ลิงค์ด้านล่างเลยนะคะ
https://play.google.com/store/apps/details?id=com.pro45.qmath
ความคิดเห็น
แสดงความคิดเห็น