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
- Un best-of d'exos de probabilités (après le bac)
- Espaces vectoriels et Applications linéaires - supérieur
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... Licence Maths 1e ann LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Licence Maths 1e ann
méthodologie mathématiques
Posté par mirlamber
bonjour
je n'arrive pas à montrer ceci pourriez vous m'aider s'il vous plait
a
b
cbca
je suppose ab vraie mais je ne vois pas comment montrer (cbca) est vraie
mirlamber
bonjour
en logique, cela s'appelle une contraposée !
prend un x qui n'est pas dans B et regarde s'il est dans A !
je comprend le raisonnement mais je ne vois pas comment le montrer
est ce que la contraposée de ab c'est non(b)non(a)
oublie la contraposée !
pour montrer que Cb est contenu dans Ca, montre que tout élément de Cb appartient à Ca !
ok pour le dessin je l'avais déjà fait mais je ne sais pas comment écrire sa sur ma feuille je ne peut faire de dessin en cc pour me justifier