des exos d'ensembles ( très urgent)

attend , j'essaie maintenant de le resoudre

héy !! j'ai trouvé que (a moins b ) union b inclus a :
b inclus a ==> (a moins b ) inclus a
==>(a moins b ) union b inclus a union b
==> (a moins b )union b inclus a
il te faut mnt de démontrer que a inclus (a moins b ) union b ; si je trouverai quelque chose je vais la poster

pour la 2eme question :
a inclus b ==> (amoins c) inclus ( b moins c )
je pense que cela n'a pas besoin d'une demonstration, (mokhattat van)
et pour <==):
( a moins c ) inclus ( b moins c)==>(a inter c bar) inclus ( b inter c bar)
==>[(a inter c bar)union c ] inclus [(b inter c bar) union c ]
==> [(a union c ) inter(cunion c bar)] inclus [(b union c) inter ( c union c bar)]
==> [(a unionc)inter E] inclus [(b union c)interE]
==>(a union c ) inclus (b union c)
==> a inclus b
j'espere que ça sera clair ; bonne nuit

merci infiniment et j'epere que tu m'aideras stp pour prouver que:
a inclus (A moins B ) union B ==>B inclus A

un peu d'aide les gars

svp j'ai besoin de votre aide

salut !!
on considere que : B inclus A
on a : (Amoins B)union B=(Ainter B bar) union B
=(Aunion B ) inter(B union B bar)
( et puisque on B inclus A , alors: A union B=A)
=A inter E
=A
comme tu vois , je n'ai pas utilisé les deux implications , bonne chance à toi

aussi j 'ai besoin de soivoir une méthode de resolution des exercices de ce types merci