Law of noncontradiction

Common card · No. 229156

In logic, the law of noncontradiction (LNC; also known as the law of contradiction, principle of non-contradiction (PNC), or the principle of contradiction) states that for any given proposition, the proposition and its negation cannot both be simultaneously true, e.g., the proposition "the house is white" and its negation "the house is not white" are mutually exclusive. To express the fact that the law is tenseless and to avoid equivocation, sometimes the law is amended to say "contradictory propositions cannot both be true at the same time and in the same sense". Formally, the law is expressed as the tautology ¬(p ∧ ¬p). One reason to have this law is the principle of explosion, which states that anything follows from a contradiction, resulting in trivialism. The law is employed in a reductio ad absurdum proof. Paraconsistent logics are those logics which deny explosion.

Read on Wikipedia