Déduction logique
Objectifs
- Connaître les tables de vérité des connecteurs logiques (et, ou, non, implication, équivalence)
- Utiliser les connecteurs logiques pour exprimer des propositions
- Différencier les connecteurs logiques "si" et "seulement si"
- Utiliser les règles d'inférence pour déduire des propositions
- Modus ponens
- Modus tollens
- Syllogisme hypothétique
- Syllogisme disjonctif
Cours
Version plein écran ou imprimable.
Exercices
Table de vérité
Compléter la table de vérité suivante :
A | B | A et B | A ou B | non A | A → B | A ↔ B |
---|---|---|---|---|---|---|
0 | 0 | |||||
0 | 1 | |||||
1 | 0 | |||||
1 | 1 |
Solution
Voir cours
Propositions
Exprimer les propositions suivantes à l'aide des connecteurs logiques :
- Si le soleil brille, alors je vais à la plage.
- Soit je vais à la plage, soit je vais à la montagne.
- Je ne vais pas à la plage.
- Je vais à la plage, seulement si je vais à la montagne.
- Le soleil brille, si et seulement si je vais à la montagne.
Solution
le soleil brille
→je vais à la plage
je vais à la plage
ouje vais à la montagne
- non
je vais à la plage
je vais à la plage
→je vais à la montagne
le soleil brille
↔je vais à la montagne
Si et seulement si
Quelle est la différence entre les propositions suivantes ?
- Je vais skier, s'il neige.
- Je vais skier, seulement s'il neige.
- Je vais skier, si et seulement s'il neige.
Solution
Si on traduit les propositions en logique, on obtient :
je vais skier
←il neige
je vais skier
→il neige
je vais skier
↔il neige
Autrement dit :
- A chaque fois qu'il neige, je vais skier. Donc s'il neige, je vais skier, mais je peux aussi aller skier sans qu'il neige.
- A chaque fois que je vais skier, il neige. Il peut neiger sans que j'aille skier.
- A chaque fois qu'il neige, je vais skier, et à chaque fois que je vais skier, il neige. Je ne rate jamais une occasion d'aller skier s'il neige, et je ne vais jamais skier s'il ne neige pas.
Arbres de déduction
Construire l'arbre de déduction pour les propositions suivantes :
- Si je vais à la montagne, alors je vais faire de la randonnée.
- Je ne vais pas faire de la randonnée.
Peut-on déduire si je vais à la montagne ou pas ?
Solution
En appliquant le modus tollens, on peut en déduire que je ne vais pas à la montagne :
- Soit je vais skier, soit je vais faire de la raquette.
- Je ne vais pas skier.
- Je vais à la montagne si je fais de la raquette.
- Je vais skier si je vais à la montagne.
Peut-on déduire si je vais à la montagne ou pas ?
Solution
En appliquant le syllogisme disjonctif puis le modus ponens, on peut en déduire que je vais à la montagne :
- Je mets un pull seulement si j'ai froid.
- Je sui enrhumé·e si je suis à la montagne.
- Si je ne mets pas de pull, alors je ne suis pas à la montagne.
- Je vais à la montagne.
Peut-on déduire si j'ai froid ou pas ?
Solution
En appliquant le syllogisme hypothétique puis le modus ponens, on peut en déduire que j'ai froid :
"Si je ne mets pas de pull, alors je ne suis pas à la montagne." est équivalent à "Si je suis à la montagne, alors je mets un pull."
Raisonnement déductif
Modéliser le raisonnements suivants à l'aide des règles d'inférence. Est-ce que la conclusion est-elle valide ? Qu'est-ce qu'il faudrait changer pour que la conclusion soit valide ?
Prémisses :
- Les chats sont mortels.
- Socrate est mortel.
Conclusion :
- Donc Socrate est un chat.
Solution
Prémisses :
chat
→mortel
Socrate
→mortel
Conclusion :
Socrate
→chat
?
Pour que la conclusion soit valide, il faudrait avoir la prémisse chat
← mortel