Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Ensemble et application Partie II
- É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
- 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... Maths sup LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Maths sup
Différence entre une implication et un "donc"
Posté par patou-gentil
Bonsoir, en cours on nous a dit que le connecteur logique "donc" (ou alors qui a le même sens) était différent de "
". Cependant je ne vois pas la différence car lorsqu'on a (P)(Q) cela se traduit en français par "Si (P) alors (Q)". Si quelqu'un pouvait m'expliquer se serait gentil à lui, en vous remerciant d'avance, bonne soirée.
P Q est une expression logique qui peut avoir la valeur vrai ou faux.
L'emploi du mot "donc" se fait dans un contexte où on sait que P est vrai et que (P Q) est vrai. On peut alors affirmer que Q est vrai. C'est la démonstration par inférence. Je suppose que c'est cette idée que l'enseignant a cherché à faire passer, avec une autre façon de le dire peut-être.
Ok merci beaucoup pour votre réponse, j'imagine que c'est la même raison pour laquelle lorsqu'on ne résous pas d'équation on utilise "donc" au lieu du signe 
même si l'équivalence existe entre les deux propositions. Bonne soirée.
Bonjour
Très éclairant! J'enseigne depuis n années, et je n'avais jamais vraiment réfléchi à la question! On me demande effectivement d'utiliser le "donc" dans les raisonnements là où j'utilise le symbole lorsque je fais des maths.
Vraiment éclairant. Merci!
Citation :
Très éclairant! J'enseigne depuis n années, et je n'avais jamais vraiment réfléchi à la question! On me demande effectivement d'utiliser le "donc" dans les raisonnements là où j'utilise le symbole lorsque je fais des maths.
Très éclairant! J'enseigne depuis n années, et je n'avais jamais vraiment réfléchi à la question! On me demande effectivement d'utiliser le "donc" dans les raisonnements là où j'utilise le symbole lorsque je fais des maths.
Les abus ou raccourcis de langage sont monnaie courante en maths
Même si on affirme que le langage mathématique est "rigoureux"
