Annuler
connectez vous
logique en Bts
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- BTS SIO Métropole Obligatoire 2016 et son corrigé
- BTS SIO Obligatoire Polynésie 2016
- BTS SIO Obligatoire Métropole 2013 et son corrigé
- BTS SIO Obligatoire Polynésie 2013 et son corrigé
- Sujet corrigé BTS CGO Pondichery 2016
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... BTSForum de maths BTS LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau BTS
contraposée de l’assertion
Posté par ivolavo27
Bonjour,
Écrire en language symbolique la contraposée de l'assertion, de telle sorte que le
symbole ¬ n'apparaisse que directement devant les assertions A et B.
A ⇒ (A ⇒ ¬B)
Ma solution:
( B ⇒ ¬A ) ⇒ ¬A
Il est correct? Merci par avance
la première phase est d'écrire
(A 
B) A
ensuite il faut transformer le membre de gauche
que vaut (PQ) ?
matheuxmatou
Merci! Je voulais faire la contraposée de (A ⇒ ¬B) .. mais en effet c'est pas correct.
La negation d'une implication est (P ∧ ¬Q)
Donc la solution faut etre:
(A ∧ B) ⇒ ¬A
Correct?