Logique
Connecteurs
Négation de la négation
Négation de la négation
Une propriété immédiate est que "non (non
P
)" est équivalente à
"
P
"
, (cela se voit aussi sur la table de vérité.)
(non (non
P
))
P
Sens du symbole "équivaut"
Le sens du symbole
qui se lit
équivaut
, et qui signifie ici que les deux propositions ont toujours la même valeur, sera revu par la suite.
P qui se lit
équivaut, et qui signifie ici que les deux propositions ont
toujours la même valeur, sera revu par la suite.
