Université Belhadj Bouchaib d'Ain Temouchent

Faculté des Sciences et Technologies

Département " Mathématiques et Informatique"
2eme année MI Année Univ 2023-2024
Matière : Logique Mathématique
Mme Mekhal
Home Work (08-11-2023)

Exercice 1.
Soit E un ensemble, A et B deux parties de E . On dénit la diérence symétrique de A et de B par :
A∆B = (A ∪ B) \ (A ∩ B)

1. Montrer que A∆B = (A \ B) ∪ (B \ A).

2. Montrer que A∆B = (A ∩ B) ∪ (A ∩ B).
3. Montrer que A∆B = A∆B .
Exercice 2.
Montrer que :
1. C ∩ [(A ∩ B ∩ CEC ) ∪ (CEA ∩ B)] = CEA ∩ B ∩ C
2. [(A ∩ B) ∪ C] ∩ B = B ∩ (A ∪ C)
Exercice 3.
Montrer que la relation R dénie sur R par
xRy ⇔ xey = yex
est une relation d'équivalence

Exercice 4.
L'application :
f : R\{−2} → R
x−1
x → f (x) =
x+2
- Est-elle injective, surjective ?
- Quelle restriction doit-on faire sur l'ensemble d'arriveé pour que f devienne une bijection ?

Exercice 5.
En associant les propositions suivantes, p :" Paul est étudiant " , q : " Quentin est étudiant ", r : " René est étudiant".
associer à chacun des énoncés suivants la formule propositionnelle qui lui correspondre :

1. Paul et Quentin sont étudiants.

2. Paul ou Quentin est étudiant.
3. Exactement un seul parmi Paul et Quentin est étudiant.
4. Ni Paul ni René ne sont étudiants.
5. Au moins l'un des trois n'est pas étudiant.
6. Un seul parmi les trois n'est pas étudiant.
7. Si Paul est étudiant, Quentin l'est.
8. Si Paul est étudiant, Quentin l'est ; sinon Quentin ne l'est pas.
9. Paul est étudiant à condition que René le soit.
10. Que René soit étudiant est une condition nécessaire pour que Paul le soit.
11. Que René soit étudiant est une condition susante pour que Paul le soit.
12. Que René soit étudiant est une condition nécessaire et susante pour que Paul le soit.
13. Paul n'est étudiant que si exactement l'un des deux autres l'est.
14. Si Paul est étudiant alors au moins l'un des deux autres ne l'est pas.