Phủ định kép: ¬¬p ⊨ p có hợp lệ không?

¬¬p và p đúng ở cùng những dòng, nên phủ định kép có thể bỏ đi ở bất cứ đâu. Hai phủ định triệt tiêu nhau.

Hợp lệ¬¬p ⊨ 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.