Scribd
Importer
164 vues1 page

Corrigé d'exercices de logique mathématique

Ce document contient les corrigés de trois exercices de logique mathématique. Le premier exercice porte sur les propriétés des ensembles et les implications logiques. Le deuxième exercice traite des applications et de leur surjectivité. Le troisième exercice concerne les nombres irrationnels et les égalités entre expressions contenant des racines carrées.

Transféré par

ramzikaid9
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
164 vues1 page

Corrigé d'exercices de logique mathématique

Ce document contient les corrigés de trois exercices de logique mathématique. Le premier exercice porte sur les propriétés des ensembles et les implications logiques. Le deuxième exercice traite des applications et de leur surjectivité. Le troisième exercice concerne les nombres irrationnels et les égalités entre expressions contenant des racines carrées.

Transféré par

ramzikaid9
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

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)

Vous aimerez peut-être aussi