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... Maths sup LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Maths sup
Par l'absurde...
Posté par zigomar
Bonjour,
j'essaye de démontrer par l'asburde une proposition p, je suppose donc sa contraposée
or la contradiction que je rencontre est que p elle même est vraie.
ma question est donc de savoir si le raisonnement par l'asburde est quand même valable
merci d'avance aux logiciens du forum
Bonsoir,
tu veux faire un raisonnement par l'absurde et tu suppose sa contraposée... déjà ça ça ne va pas. Le raisonnement par l'absurde et le raisonnement par contraposition ne sont pas pareils.
Si on veut démontrer que A=>B
L'absurde consiste à supposer qu'on a en même temps A et non(B) et qu'on aboutit à une absurdité.
La contraposition consiste à montrer que non(B) => non(A).