slt diablox- men
on sait deja que A-B =A ta9ator B bar
J UTILISE C/ Comme C bar (almotamima)
on doit démontrer que A(ta9ato3)B=A(ta9ato3)C est équivalent de A-B=A-C
dévisons ca en 2 implications on montre tt da abord que A(ta9ato3)B=A(ta9ato3)C implique A-B=A-C.supposons que x appartient a A(ta9ato3)B
xappartient a A(ta9ato3)B/=>x tantami ila A et x la tantami ila B
*si x appartient a c alors x appartient a A(ta9ato3)B alors x appartient a A et a B ( c une contradiction alors x appartient C/ alors x appartient a A ta9ato3 C/
alors A ta9ato3 B/ dimna Ata9ato3 C/
*si x n appartient pas a C alors x appartient a C/
et dans les 2 cas A ta9ato3 B/ dimna Ata9ato3 C/
et de la mm facon tu va montrer que A ta9ato3 C/ DIMNA A ta9ato3 B/
et puis déduire que A ta9ato3 B/ = A TA9ATO3 C /
ET DE LA MM FACON TU DOIT MONTER L IMPLICATION R2CIPROQUE
AMICALEMENT sara