suivant : 1.1.1.1 La négation remonter : 1.1 Logique précédent : 1.1 Logique

1.1.1 Introduction au calcul propositionnel

Les deux propositions suivantes sont des constantes appelées valeurs de vérité :

• la proposition $V$ (pour true) est toujours vraie.
• la proposition $F$ (pour false) est toujours fausse.

Une variable propositionnelle $x$ peut prendre soit la valeur $V$, soit la valeur $F$. On construit des propositions en combinant des variables propositionnelles à l'aide d'opérateurs. Nous utiliserons les cinq opérateurs décrits dans les sous-sections suivantes :