CH12 Logique et rédaction Page 1 sur 4 - Implication et équivalence

Examen corrigé du Cours de logique. Exercice 1 (Théorie des ensembles). On travaille dans un mod`ele U de ZFC. On rappelle que la clôture transitive de x ...