UMBB LM 2 - Logique mathématique

Département de Mathématiques Année Universitaire 2022/2023

Corrigé

Exercice 1 8 points
1.
A = ∅ ⇔ (∀x ∈ N , x ∈
/ A)(1)
A ∩ B 6= ∅ ⇔ (∃x ∈ N ; x ∈ A et x ∈ B)(1)
A ⊂ B ⇔ (∀x ∈ N ; x ∈ A ⇒ x ∈ B)(1)
A * B ⇔ (∃x ∈ N ; x ∈ A et x ∈
/ B)(1)
2. l’assertion vraie est : A2 ⇒ A1 (1) en effet :
Supposons (∀x ∈ E P (x)) ou (∀x ∈ E Q(x)) et montrons : ∀x ∈ E (P (x) ou Q(x))
• P remier cas : supposons (∀x ∈ E P (x)).
Soit donc x0 un élément donné de E. Par hypothèse P (x0 ) est vraie ; par suite (P (x0 ) ou Q(x0 ))
est vraie. On a ainsi prouvé : ∀x ∈ E (P (x) ou Q(x)).

• Seconde cas : en supposant (∀x ∈ E Q(x)) on montre de même ∀x ∈ E (P (x) ou Q(x)).

Par disjonction des cas on en déduit que ∀x ∈ E (P (x) ou Q(x)) est vraie, ce qui termine la
démonstration.(1)
D’autre part l’assertion A1 ⇒ A2 est fausse (1), contre exemple :

A1 : ∀x ∈ R (x ≥ 0 ou x ≤ 0) est vraie mais A2 : (∀x ∈ R x ≥ 0) ou (∀x ∈ R x ≤ 0) est fausse (1)

Exercice 2 6 points
1. On suppose que A possède un antécédent par f , il existe donc x0 ∈ E tel que f (x0 ) = A(1) :
I Si x0 ∈ A, alors x0 ∈/ f (x0 ) = A, absurde.(1)
I Si x0 ∈/ A, alors x0 ∈ f (x0 ) = A, absurde.(1)
Dans les deux cas on obtient une contradiction. Donc A n’a pas d’antécédent par f .(1)
2. D’après la question 1, il existe un élément A de l’ensemble d’arrivée qui n’a aucun antécédent,
l’application f n’est donc pas surjectif(1).
3. D’après la question 2, on déduit |E| < |P(E)|(1)

Exercice 3 6 points
√
1. Par l’absurde : supposons√ que pour √ tout a, b ∈ Z : a + b 2 = 0 et (a 6= 0 ∨ b 6= 0)(1).
√
I Si b 6= 0, alors a + b 2 = 0 ⇒ 2 = − ab , contradiction avec l’hypothèse que 2 est un
nombre irrationnel.(1)
I Si a 6= 0, et b = 0, on trouvera a = 0, contradiction car a est supposé nul (1).
2. Pour m, n, p, q ∈ Z :
√ √ √
(m + n 2 = p + q 2) ⇒ (m − p) + (n − q) 2 = 0(1)
Puisque m − p ∈ Z, n − q ∈ Z(1) et en utilisant la question 1, on obtient :
(m − p = n − q = 0) ⇒ (m = p et n = q)(1)