Phản đảo: p→q ⊨ ¬q→¬p có hợp lệ không?

p → q và ¬q → ¬p nói cùng một điều: không gì làm tiền đề đúng trong khi hệ quả sai. Một kéo theo tương đương với phản đảo của nó.

Hợp lệp→q ⊨ ¬q→¬p

Mọi nhánh của bảng đều đóng, nên không phép gán nào làm các tiền đề đúng mà kết luận sai.

Chứng minh (bảng ngữ nghĩa)

nhánh đóng