The principle of propositional logic that every statement is either true or false. Equivalently, this means for any statement P then P ∨ (¬P) is true. Some philosophies of mathematics, such as intuitionism, reject this principle and proof by contradiction, on the grounds that ¬P being provably false is not the same as a proof of P.