Fiche TD 1 :Logique mathématique
Exercice 4
Montrer que pour tout \( n \in \mathbb{N} \), \( n^2 + 3n + 2 \) est pair.
Exercice 5
Montrer que l’assertion suivante est fausse : \( \forall n \in \mathbb{N}, (2 \text{ divise } n) \land (4 \text{ divise } n) \Rightarrow (8 \text{ divise } n) \).
Exercice 6
Est-ce que pour tout \( x \in \mathbb{R} \), on a : \( x \leq 2 \Rightarrow x^2 \leq 4 \) ?
Last modified: Friday, 5 September 2025, 7:28 PM