- Négation logique
-
Pour les articles homonymes, voir Négation.En logique et en mathématiques, la négation est un opérateur logique unaire, on dit aussi connecteur logique unaire. Il sert à créer une proposition à partir d'une autre en en inversant la signification, de « vrai » en « faux » ou de « démontrable » en « non démontrable ».
On note la négation d'une proposition P de diverses manières dont :
- ¬P (utilisée dans cet article);
- Non P ;
- ~P ;
Ces formulations se lisent « négation de P » ou plus simplement « non P ».
Dans l'interprétation par des tables de vérité, la proposition ¬P est vraie quand P est fausse et elle est fausse quand P est vraie. La table de vérité s'écrit simplement :
P ¬P V F F V
En logique classique, la double négation correspond à une affirmation; autrement dit, les propositions P et ¬ (¬P) sont logiquement équivalentes. En logique intuitionniste, la proposition ¬¬P est plus faible que P, dans le sens où P implique ¬¬P, mais ¬¬P n'implique pas P. Néanmoins, les propositions ¬¬¬P et ¬P sont logiquement équivalentes.Voici quelques règles d'utilisation des négations en logique classique :
¬(P ou Q) équivaut à (¬P) et (¬Q) ¬(P et Q) équivaut à (¬P) ou (¬Q) ¬(P ⇒ Q) équivaut à P et (¬Q) ¬(∃x, P(x)) équivaut à ∀x, ¬P(x) ¬(∀x, P(x)) équivaut à ∃x, ¬P(x) Catégories :- Connecteur logique
- Logique mathématique
- Vocabulaire des mathématiques
Wikimedia Foundation. 2010.
