Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
- Ensemble et application Partie II
- Espaces vectoriels et Applications linéaires - supérieur
- Un best-of d'exos de probabilités (après le bac)
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Prepa (autre)
Montrer que B inclus dans C !
Posté par Lolrien
Bonjour,
Je suis face à un exercice, et on admets que A U B C A U C et A n B C A n C
On nous demande de montrer que B C C
Le problème, c'est que je ne vois pas vraiment comment faire.
J'ai commencé à écrire:
Quelque soit x appartenant à A v B, cela implique x appartenant à A ou C.
Quelque soit x appartenant à A et B, cela implique x appartenant à A et C.
Mais là je bloque, je ne vois pas grand chose.
Désolé, je ne sais pas comment faire les écritures Maths.
Bonjour,
Oui je comprends ce que vous me dites mais je n'arrive pas à bien l'exprimer, j'obtiens cela:
x appartient à B => x appartient à A U B => x appartient à A U C
Or, comme x n'appartient pas à A, mais x appartient à B. Pour avoir la relation A U B => A U C cela implique que x appartienne à C, et donc B C C
Est-ce que vous pourrez m'aider à bien reformuler, avec les signes... Ou même me dire si ce que j'ai écris est juste ou non.
=> : implique