Forum de Mathématiques: Maths-Forum

On veut montrer que pour tout \large x\in A , on a \large x\not\in B (et donc \large A\cap B=\emptyset ). Soit \large x\in A . On utilise la surjectivité de \large f pour montrer \large x\not\in B . Pour cela on choisit \large (\{x\}, \emptyset)\in \mathcal P(A)\times \mathcal P(...

j'ai pas compris le corigé du cette exercice ci-dessous , est ce que il existe une demonstration plus facile ? http://www.bibmath.net/ressources/index.php?action=affiche&quoi=bde/logique/applications&type=fexo exercice 26 ce que précisément j'ai pas compris dans la question 2 ou on a utilise...

on a un argument pas valide , la conclusion est fausse , qu' on peut dire pour les prémisses et pour qoui ?