Les limites de l'implication logique
Une petite réflexion sur l'implication logique, voici un exemple qui me paraît bien illustrer les limites de celles-ci, en espérant avoir bien compris.
Voici un énoncé très intéressant extrait d'une autre source :
"Montrer que l'implication réciproque de celle-ci n'est pas vraie :
$[(\forall x\in E); A(x)\Rightarrow B(x)] \Rightarrow [((\forall x\in E);A(x))\Rightarrow((\forall x\in E);B(x))]$ "
Voici un contre-exemple non-mathématique proposé mais qui illustre bien le propos :
"Dans une population,on peut avoir la situation :
si tout le monde est vacciné alors tout le monde est protégé contre une maladie.
Cela n'implique pas que si quelqu'un est vacciné alors il est protégé. La vaccination de tout le monde peut être nécessaire."
Voici une solution logique proposée :
"Prenons E=$\R$
On peut donc dire que $\forall x\in\R, x<0$ est une proposition fausse.
De même, $\forall x\in\R, x^2<0$ est une proposition fausse.
Il en résulte que $(\forall x\in\R, x<0)\Rightarrow(\forall x\in\R, x^2<0)$ est une proposition vraie. ("faux implique faux" est vrai).
Par contre, $\forall x\in\R,( x<0\Rightarrow x^2<0)$ est évidemment faux.
Donc la réciproque que vous évoquez $\Big((\forall x\in\R, x<0)\Rightarrow(\forall x\in\R, x^2<0)\Big)\Rightarrow\Big(\forall x\in\R,( x<0\Rightarrow x^2<0)\Big)$ est fausse ("vrai implique faux" est faux)."
Même si d'un point de vue purement technique/logique ça semble juste, peut-on vraiment qualifier cela de contre-exemple?
On s'attend quand même plutôt à un contre-exemple similaire à celui de la vaccination mais qui soit mathématique.
Et si on n'en trouve pas peut-on dire que l'implication est fausse ?
Ce "contre-exemple" logique montre quand même la limite de la définition de l'implication logique, non?
Qu'en pensez-vous ?
Voici un énoncé très intéressant extrait d'une autre source :
"Montrer que l'implication réciproque de celle-ci n'est pas vraie :
$[(\forall x\in E); A(x)\Rightarrow B(x)] \Rightarrow [((\forall x\in E);A(x))\Rightarrow((\forall x\in E);B(x))]$ "
Voici un contre-exemple non-mathématique proposé mais qui illustre bien le propos :
"Dans une population,on peut avoir la situation :
si tout le monde est vacciné alors tout le monde est protégé contre une maladie.
Cela n'implique pas que si quelqu'un est vacciné alors il est protégé. La vaccination de tout le monde peut être nécessaire."
Voici une solution logique proposée :
"Prenons E=$\R$
On peut donc dire que $\forall x\in\R, x<0$ est une proposition fausse.
De même, $\forall x\in\R, x^2<0$ est une proposition fausse.
Il en résulte que $(\forall x\in\R, x<0)\Rightarrow(\forall x\in\R, x^2<0)$ est une proposition vraie. ("faux implique faux" est vrai).
Par contre, $\forall x\in\R,( x<0\Rightarrow x^2<0)$ est évidemment faux.
Donc la réciproque que vous évoquez $\Big((\forall x\in\R, x<0)\Rightarrow(\forall x\in\R, x^2<0)\Big)\Rightarrow\Big(\forall x\in\R,( x<0\Rightarrow x^2<0)\Big)$ est fausse ("vrai implique faux" est faux)."
Même si d'un point de vue purement technique/logique ça semble juste, peut-on vraiment qualifier cela de contre-exemple?
On s'attend quand même plutôt à un contre-exemple similaire à celui de la vaccination mais qui soit mathématique.
Et si on n'en trouve pas peut-on dire que l'implication est fausse ?
Ce "contre-exemple" logique montre quand même la limite de la définition de l'implication logique, non?
Qu'en pensez-vous ?
Réponses
-
Bonsoir,
Je ne comprends pas pourquoi ce serait montrer « les limites de l’implication logique ».
Je ne vois aucun rapport avec une définition .
Cordialement
Dom -
Bonsoir,
Non.
La source : https://www.maths-forum.com/lycee/implication-logique-t232023.html
Apparemment LuisFigo JP2021 et autres avatars fait une fixette sur l'implication.
Cette discussion a été fermée.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 63 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 313 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres