Définitions

A toute proposition on peut associer une autre proposition appelée sa 'négation' et possédant la propriété suivante:
La négation de P se note souvent ¬ P mais aussi ~P.
On a donc le tableau:
P ¬ P
V F
F V

qui sera notre première 'table de vérité'.
Enoncer, en français, la négation d'une proposition est en général simple.
La négation de "b est rouge" est "b n'est pas rouge".
Cependant, la négation de propositions 'composées' (formules du calcul propositionnel), ou bien de propositions quantifiées (propositions du calcul des prédicats), comme nous le verrons par la suite, peut s'avérer un exercice déroutant, voire même complexe, pour le débutant. Nous verrons des exemples par la suite.
La négation sera donc notre premier exemple d'opérateur logique.

Café Python

L'opérateur logique en Python correspondant à la négation se note (fort logiquement pour un anglophone) 'not'. Une particularité de ce langage et de beaucoup d'autres: Toute valeur numérique est assimilée à une valeur logique avec la convention 0=Faux et tout nombre non nul=Vrai. Donc 'not' peut s'appliquer à des nombres.