Négation en logique formelle

1. 📌 L'essentiel

• La négation $\neg$ inverse la valeur de vérité d'une proposition $p$.
• La loi de la double négation : $\neg (\neg p \equiv p$.
• Les lois de De Morgan :
  • $\neg (p \wedge q) \equiv \neg p \vee \neg q$
  • $\neg (p \vee q) \equiv \neg p \wedge \neg q$
• La négation exprime le contraire ou la contradiction.
• La négation est une opération unaire, symbolisée par $\neg$.
• Elle est fondamentale en logique, mathématiques et informatique.
• La négation permet la construction de formes normales et de preuves.
• La compréhension de la négation est essentielle pour analyser des raisonnements.
• La négation intervient dans la définition des opérateurs logiques.
• La négation est liée à la sémantique et à la syntaxe des propositions.

2. 🧩 Structures & Composants clés

• Proposition $p$ — énoncé pouvant être vrai ou faux.
• Négation $\neg p$ — proposition qui a la valeur contraire de $p$.
• Loi de la double négation — $\neg (\neg p) \equiv p$.
• Lois de De Morgan — transformations pour expressions négatives.
• Opération unaire — appliquée à une seule proposition.
• Valeur de vérité — vrai ou faux.
• Formes normales — expressions simplifiées utilisant la négation.
• Circuits logiques — portes NOT utilisant la négation.

3. 🔬 Fonctions, Mécanismes & Relations