Il me semble que dans la première partie vous montrez déjà l'équivalence. En effet A inclus dans B (a appartient à A --> a appartient à B) (a n'appartient pas à B --> a n'appartient à A) (a appartient au complémentaire de B --> a appartient au complémentaire de A) le complémentaire de B est inclus dans le complémentaire de A. Où --> désigne l'implication et l'équivalence.

@Monsieurh76

5 ай бұрын

Oui en effet, tout peut se faire par équivalences successives et c'est d'ailleurs assez simple. Mais dans certaines preuves plus complexes, l'équivalence est bien souvent source d'erreurs donc je préfère fonctionner par implications.