Logique déductive
Maîtrisez le raisonnement déductif et les diagrammes de Venn
Introduction
Dans un test de logique déductive, il faut déterminer une conclusion à partir de plusieurs hypothèses (ou prémisses).
On retrouve cette logique déductive dans les diagrammes de Venn, également appelés diagrammes logiques. Il s'agit d'un diagramme qui montre toutes les relations logiques possibles entre une collection finie de différents ensembles.
Principes de base
La logique déductive repose sur quelques principes fondamentaux :
| Principe | Signification |
|---|---|
| Si A alors B | Quand A est vrai, B est nécessairement vrai |
| Tous les A sont B | L'ensemble A est inclus dans l'ensemble B |
| Certains A sont B | Il existe au moins un élément commun aux ensembles A et B |
| Aucun A n'est B | Les ensembles A et B sont disjoints (pas d'intersection) |
Syllogismes
Un syllogisme est un raisonnement logique composé de deux prémisses et d'une conclusion.
Structure d'un syllogisme valide :
| Forme | Structure |
|---|---|
| Universelle affirmative | Tous les A sont B. X est A. Donc X est B. |
| Universelle négative | Aucun A n'est B. X est A. Donc X n'est pas B. |
| Particulière | Certains A sont B. Tous les B sont C. Donc certains A sont C. |
Diagrammes de Venn
Les diagrammes de Venn représentent visuellement les relations entre ensembles :
Intersection (A ∩ B)
Les éléments qui appartiennent à la fois à A et à B. « Certains A sont B » et « Certains B sont A ».
Inclusion (A ⊂ B)
Tous les A sont B. L'ensemble A est entièrement contenu dans l'ensemble B.
Disjonction (A ∩ B = ∅)
Aucun A n'est B. Les ensembles n'ont aucun élément en commun.
Types de relations
Voici les relations logiques les plus fréquentes dans les tests :
| Relation | Notation |
|---|---|
| Inclusion totale | Tous les A sont B (A ⊂ B) |
| Intersection partielle | Certains A sont B (A ∩ B ≠ ∅) |
| Disjonction | Aucun A n'est B (A ∩ B = ∅) |
| Équivalence | Tous les A sont B et tous les B sont A (A = B) |
| Négation | Certains A ne sont pas B |
| Transitivité | Si A ⊂ B et B ⊂ C, alors A ⊂ C |
Méthode de résolution
Pour résoudre ces problèmes, suivez ces étapes :
- Étape 1 : Traduisez chaque prémisse en relation d'ensembles (inclusion, intersection, disjonction)
- Étape 2 : Dessinez mentalement (ou sur papier) le diagramme de Venn correspondant
- Étape 3 : Testez chaque option de conclusion sur le diagramme
- Étape 4 : Ne retenez que la conclusion qui découle NÉCESSAIREMENT des prémisses
- Étape 5 : Méfiez-vous des conclusions qui inversent ou nient la relation
Mise en pratique
Exemple 1 — Syllogisme simple
- Tous les chats sont des animaux.
- Felix est un chat.
Quelle conclusion est valide ?
Prémisse 1 : Tous les chats sont des animaux → Chat ⊂ Animal.
Prémisse 2 : Felix est un chat → Felix ∈ Chat.
Par transitivité : Felix ∈ Animal.
Les autres options inversent ou nient la relation.
Exemple 2 — Diagramme de Venn
- Certains médecins sont spécialistes.
- Tous les spécialistes sont diplômés.
Quelle conclusion est nécessairement vraie ?
Prémisse 1 : Médecins ∩ Spécialistes ≠ ∅.
Prémisse 2 : Spécialistes ⊂ Diplômés.
Par transitivité : les médecins qui sont spécialistes sont aussi diplômés.
Donc certains médecins sont diplômés. Les autres options ne découlent pas nécessairement.
Exemple 3 — Déduction logique
- Aucun poisson n'est un mammifère.
- Tous les dauphins sont des mammifères.
Quelle conclusion est valide ?
Prémisse 1 : Poissons ∩ Mammifères = ∅.
Prémisse 2 : Dauphins ⊂ Mammifères.
Par disjonction : Dauphins ∩ Poissons = ∅.
Donc aucun dauphin n'est un poisson.
Exemple 4 — Conclusion valide
- Tous les roses sont des fleurs.
- Certaines fleurs sont rouges.
Quelle conclusion peut-on tirer avec certitude ?
Roses ⊂ Fleurs. Certaines fleurs sont rouges (Fleurs ∩ Rouges ≠ ∅).
Mais on ne sait pas si les fleurs rouges incluent des roses ou non.
Les options A, B et D font des suppositions non justifiées.
Exemple 5 — Ensemble inclus
- Tous les carrés sont des rectangles.
- Tous les rectangles sont des quadrilatères.
Quelle conclusion est valide ?
Carrés ⊂ Rectangles. Rectangles ⊂ Quadrilatères.
Par transitivité : Carrés ⊂ Quadrilatères.
Donc tous les carrés sont des quadrilatères.
Exemple 6 — Raisonnement complexe
- Tous les étudiants qui révisent réussissent.
- Certains étudiants qui réussissent sont heureux.
- Paul est un étudiant qui révise.
Quelle conclusion est valide ?
Étudiants qui révisent ⊂ Étudiants qui réussissent.
Paul ∈ Étudiants qui révisent.
Donc Paul ∈ Étudiants qui réussissent → Paul réussit.
On ne peut PAS conclure que Paul est heureux (la prémisse 2 dit « certains », pas « tous »).
À retenir
- Principes : traduisez chaque prémisse en relation d'ensembles (inclusion, intersection, disjonction)
- Diagrammes : le diagramme de Venn montre visuellement si une conclusion est nécessaire
- Transitivité : si A ⊂ B et B ⊂ C, alors A ⊂ C
- Piège classique : « Certains A sont B » ne permet pas de conclure « Tous les A sont B »
- Contre-exemple : une conclusion est invalide dès qu'un seul contre-exemple compatible avec les prémisses existe
Prêt à tester vos connaissances ?
Vous avez maintenant maîtrisé les différentes techniques de logique déductive. Passez aux tests pratiques pour évaluer votre niveau !
Commencer les tests