Explorer les Livres électroniques
Catégories
Explorer les Livres audio
Catégories
Explorer les Magazines
Catégories
Explorer les Documents
Catégories
Éléments de logique
∀n ∈ N, n + 2 ∈ N.
1 Au fil tu temps, on omettra ce quantificateur, qui sera implicitement sous entendu.
1
2 CHAPITRE 1. ÉLÉMENTS DE LOGIQUE
∀x ∈ R+ , ∃y ∈ R, tq x = y 2
Exercice 1.1.1 Traduire “il existe un nombre rationnel dont le carré vaut deux”.
2
∀x ∈ R, ∀y ∈ R, (x 6= y =⇒ f (x) 6= f (y))
2 Attention, il s’agit ici e donner une traduction correcte d’un énoncé qui est faux
1.2. NIER UN ÉNONCÉ 3
A = V eA = F
A = F eA = V
2. Table de vérité du et
B=V B=F
A=V A∧B =V A∧B =F
A=F A∧B =F A∧B =F
3. Table de vérité du ou
B=V B=F
A=V A∨B =V A∨B =V
A=F A∨B =V A∨B =F
4. Table de vérité du implique
B=V B=F
A=V A =⇒ B = V A =⇒ B = F
A=F A =⇒ B = V A =⇒ B = V
∃x ∈ Q, tq x2 = 2.
∀x ∈ Q, x2 6= 2.
∀x ∈ E, ∀y ∈ E, (x =
6 y =⇒ f (x) 6= f (y)).
Avec les règles précédentes, on obtient la négation de “f est injective” :
∃x ∈ E, ∃y ∈ E, tq x 6= y et f (x) = f (y).
∀x ∈ R, ∀y ∈ R, (x ≤ y =⇒ f (x) ≤ f (y)).
5. Enoncé du type A =⇒ B.
On suppose que A est vraie et on démontre B.
A l’aide de ces règles basiques et en procédant inductivement on peut ten-
ter de démontrer n’importe quel énoncé. Pour infirmer un énoncé A, on doit
démontrer eA.
Exemple 1.3.1 L’énoncé A suivant : ∀x ∈ [0, 2], x2 + 1 < 6 est vrai.
Preuve. L’énoncé est de la forme ∀x ∈ [0, 2], A(x) avec la propriété A(x) :
x2 + 1 < 6. On fait appel a la deuxième des règles ci-dessus. On se donne
x ∈ [0, 2] et on démontre A(x). Comme x ∈ [0, 2], x2 ≤ 4 et donc x2 + 1 ≤ 5.
Par suite x2 < 6. ¤
Exercice 1.3.3 Soit p un entier naturel. En utilisant une preuve par contrapo-
sition, montrer que si p2 est pair alors p est pair.
n(n + 1)(2n + 1)
1 + 22 + 32 + . . . + n2 = .
6