Bonsoir, sur l'image ci-jointe, j'ai encadrer une proposition. Je me trompe sûrement mais elle me parait fausse. Je m'explique: x peut appartenir à A sans appartenir à A inter B donc je ne voit pas en quoi le fait que x appartienne à A implique que x appartienne à A inter B. Ma confusion vient peut-être d'une mécompréhension du concept d'implication. Merci d'avance pour votre temps. Bonne nuit
Bien que je pense que tu as du trouve la solution depuis je vais quand meme te repondre.
L'objectif de cette demontration est de montrer que B est inclus dans C, tu as donc pris un element 'x' quelconque de B et tu souhaite montrer qu'il appartient a C; dans ton encadré on est dans un cas ou x appartient a A, mais vu que x appartient de base a B tu obtiens alors qu'il appartient a A inter B.
Bonjour, merci, j'ai compris en fait c'était tout bête. Bonne journée
Le texte commence par "soient A,B,C trois parties d'un ensemble E" mais ne fait nulle part usage de cet ensemble E. Et comme trois ensembles A,B,C sont toujours des parties de AuBuC, il pourrait tout aussi bien commencer par "soient A,B,C trois ensembles".
