Luật bài trung: ⊨ p∨¬p có hợp lệ không?

p ∨ ¬p đúng ở mọi dòng và không cần tiền đề nào cả: mọi mệnh đề đều đúng hoặc sai, không có khả năng thứ ba.

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.