P ∨ ¬ P