Page 12 - ตรรกศาสตร์เบื้องต้น
P. 12
สัจนิรันดร์
ประพจน์ที่เป็นสัจนิรันดร์ คือ รูปแบบของประพจน์ที่มี ค่าความจริงเป็นจริง
เสมอ ไม่ว่าประพจน์ย่อยจะมีค่าความจริงเป็น จริง หรือ เท็จ ก็ตาม
เช่น ∨ ~ , → , ~( ∧ ~ ) , ↔ เป็นต้น
การตรวจสอบว่าประพจน์ใดเป็นสัจนิรันดร์ ท าได้ดังนี้
ใช้ตารางแสดงค่าความจริง
ใช้วิธีการหาข้อขัดแย้ง
