The logical principle that a statement or its negation must be true: P V ¬ P.