On note "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. Par exemple si "P" est
la proposition "x = 0", "non P" est la proposition "x 0".
Remarque
Une notation des logiciens pour
"non P" est la notation "¬ P". On se contentera de
la notation avec le mot non, car nous ne développons pas un cours
de logique.
0".
