suivant : 1.1.1 Introduction au calcul remonter : 1. Notes de cours précédent : 1. Notes de cours

1.1 Logique

L'objet de ce cours est l'étude d'énoncés pouvant être soit faux, soit vrais. Par exemple,

• $2$ est un nombre pair
• $2 < 3$ ou $4 < 3$
• Il existe $x$ tel que $x + 2 = 3$
• Pour tout $n$, $n^2 - n$ est pair
• $1 = 2$

On remarque que le dernier énoncé est faux et que tous les autres sont vrais. Selon la nature de l'énoncé, on parlera de proposition ou de prédicat.