Logique
Connecteurs
Négation
Négation :
Nous noterons
(non P)
le contraire de la proposition
P
, c'est-à-dire la proposition qui est vraie quand
P
est fausse et qui est fausse quand
P
est vraie.
Négation de la négation :
Une propriété immédiate est que
(non (non P))
est
équivalente
à
P
.
