ใช้ตารางแสดงค่าความจริง จงตรวจสอบว่าประพจน์ต่อไปนี้ เป็นสัจนิรันดร์หรือไม่ [ ( → ) ∧ ] → จะเห็นว่ารูปแบบของประพจน์ [ ( → ) ∧ ] → มีค่าจริงเป็นจริงทุกกรณี ดังนั้น [ ( → ) ∧ ] → เป็น สัจนิรันดร์