Важнейшие тавтологии логики высказываний (законы логики высказываний)

1. Закон исключенного третьего (третьего не дано) – дизъюнкция высказывания с его отрицанием есть тавтология:

⊨ (P ∨ ¬P)