ตรรกศาสตร์เบื้องต้น-เรื่องสัจนิรันดร์ ประพจน์ที่เป็นสัจนิรันดร์ คือ รูปแบบของประพจน์ที่มี ค่าความจริงเป็นจริงเสมอ ไม่ว่าประพจน์ย่อยจะมีค่าความจริงเป็น จริง หรือ เท็จ ก็ตาม เช่น p ∨ ~p , p → p , ~( p ∧ ~p ) , p ↔ p เป็นต้น การตรวจสอบว่าประพจน์ใดเป็นสัจนิรันดร์ ทำได้ดังนี้
ตรรกศาสตร์เบื้องต้น – การตรวจสอบการสมมูลกันโดยการสร้างตารางค่าความจริง การสร้างตารางค่าความจริง กำหนด p , q , r เป็นประพจน์ที่ไม่ได้กำหนดค่าความจริงมาให้ จะเรียกประพจน์ที่มีตัวเชื่อมว่า รูปแบบประพจน์ เช่น ~p , p ∧ q , p → q , ( p ∨ q ) ↔ r เป้นต้น ในการหาค่าความจริงของรูปแบบประพจน์ จะต้องพิจารณาค่าความจริงที่เป็นไปได้ของประพจน์ย่อยทุกกรณี โดยการสร้างตารางค่าความจริง จำนวนกรณีที่พิจารณา = 2n กรณี …