Terme
Négation
- Nom
- négation, négations
- Symbole
- non
- Termes plus larges
- Proposition mathématique
- Termes plus spécifiques
- Raisonnement par l’absurde
- Contexte
- Proposition mathématique
- Employé par
- Raisonnement par l’absurde
Définition
Définition Négation d’une proposition
À partir de deux propositions \(P\) et \(Q\), on peut construire d’autres propositions.
La négation « non \(P\) » est vraie lorsque \(P\) est fausse (et elle est fausse lorsque \(P\) est vraie).
Module : Conjonction, disjonction et négation