suivant : 1.1.1.2 La conjonction remonter : 1.1.1 Introduction au calcul précédent : 1.1.1 Introduction au calcul

1.1.1.1 La négation

La négation d'une proposition $P$, notée $\neg P$, prend la valeur vrai si et seulement si $a$ est faux.