Loi de Non-Contradiction

Principe logique selon lequel aucune proposition ne peut être à la fois vraie et fausse au même moment dans le même sens ; il interdit de tenir simultanément pour vraies une affirmation et sa négation dans un même cadre d'interprétation.

Le principe logique selon lequel aucune proposition ne peut être à la fois vraie et fausse au même moment et dans la même perspective ; formellement il interdit qu'une formule A et sa négation ¬A soient toutes deux valides sous une unique interprétation.