UNIVERSIT PARIS 1

LICENCE PHILOSOPHIE/LOGIQUE MATHMATIQUES

L1-S1

OPRATIONS SUR LES ENSEMBLES

DFINITIONS

On dfinit les oprations suivantes sur les ensembles : A B = {x : x A x B} A B = {x : x A x B} A - B = {x : x A x B}

(intersection de A et B; on lit : A inter B ) (runion de A et B : A union B ) (diffrence de A et B : A moins B )

dfinitions des connecteurs. On tentera de dterminer quelle tautologie on peut se ramener pour prouver l'assertion. Exercice 1. Montrer que, pour tous les ensembles A et B, A AB et
ABA.

Pour faire les exercices suivants, on se rfrera la fiche logique lmentaire , et les

Exercice 2. Soient A, B et C des ensembles. Dmontrer les noncs suivants : 1) 2) 3) 4)

ABC=ABC AB=BA ABC=ABAC A A=A

1') 2') 4') 3')

ABC=ABC AB=BA ABC=ABAC A A=A

Exercice 3. Montrer que pour tous les ensembles A et B, AB

ssi

AB= A.

Exercice 4. Rappel : on note l'ensemble des entiers {..., -3, -2, -1, 0, 1, 2, 3, ...} et + l'ensemble des entiers positifs : {1, 2, 3, ...}. On considre les sous-ensembles suivants de + : A = {x : y+ x=2y} B = {x : y+ x=2y+1} C = {x : y+ x=3y} Dterminer AB , BC , et BC .