ยกตัวอย่างเช่น
กำหนดให้ p เป็นจริง เเล้ว q  เป็นเท็จ จงหาค่าความจริงของ
[ ( p → q ) ∧ p ] → r
เราจะหาค่า r ได้อย่างไรครับ
อย่างงี้เป็นต้น