อย่างแรก ตั้งขัดแย้งคือต้องตั้งค่าความจริงให้เป็น F ก็มีกรณีเดียวคือ T-->F
•พจน์ซ้ายทั้งหมดจะต้องเป็นT ส่วนขวาทั้งหมดจะเป็นF (ซึ่งมีrตัวเดียว)
•T ก็แยกเป็น3อัน มันต้องเป็น T และTและT ถึงจะจริง
•q-->r (rกำหนดเป็นFแล้ว) qต้องเป็นfเพื่อให้ค่าออกมาเป็นT
•p-->r (rเป็นFแล้ว) pต้องเป็นF ค่าจะออกมาเป็นT
•p v q จากสองอันที่แล้ว กำหนดpเป็นF qเป็น F
:.F v F ยังไงก็ออกมาF | F และTและT ค่าก็F | จากโจทย์ใหญ่จะได้ F-->F คำตอบเป็นT
สรุปคือข้อนี้ก็จะเป็นจริงเสมอ (เป็นสัจนิรันดร์)
