Publicité

Déduction Logique: Guide

Schémas de raisonnement valide incluant syllogismes et logique propositionnelle

Résoudre des puzzles logiques à contraintes incluant des dispositions de places, répartitions en groupes et séquences d'ordonnancement

Apprendre

Syllogismes Catégoriques

Schémas de logique aristotélicienne classique utilisant 'Tous', 'Aucun' et 'Quelques'

  1. Syllogisme Barbara
  2. Syllogisme Celarent
  3. Syllogisme Darii
  4. Syllogisme Ferio

Logique Propositionnelle

Règles d'inférence pour les énoncés conditionnels et disjonctifs

  1. Modus Ponens
  2. Modus Tollens
  3. Syllogisme Hypothétique
  4. Syllogisme Disjonctif
  5. Contraposée
  6. Biconditionnelle

Relations

Schémas basés sur les propriétés des relations comme la transitivité

  1. Relation Transitive

Puzzles de Disposition

Placer des éléments dans une séquence linéaire à l'aide de contraintes de position

  1. Disposition des Places

Puzzles de Regroupement

Répartir des éléments en groupes sous des contraintes d'appartenance

  1. Répartition en Groupes

Puzzles d'Ordonnancement

Déterminer l'ordre de classement à partir d'indices de comparaison et d'exclusion

  1. Séquence d'Ordonnancement
  1. Enthymème
  2. Sorite (Syllogisme Enchaîné)
  3. Table de Vérité

Apprendre 1

Syllogisme Barbara

Le syllogisme valide le plus fondamental : Tous les A sont B, Tous les B sont C, donc Tous les A sont C.

Barbara is the first and most fundamental of the valid categorical syllogisms identified by Aristotle. It belongs to the first figure and uses universal affirmative (A) propositions in all three positions. The name 'Barbara' comes from medieval mnemonic devices where the three 'a' vowels indicate that all three propositions are universal affirmatives.

All M are P, All S are M ⊢ All S are P

  • All mammals are animals. All dogs are mammals. Therefore, all dogs are animals.
  • All squares are rectangles. All rectangles are polygons. Therefore, all squares are polygons.
  • All physicians are college graduates. All surgeons are physicians. Therefore, all surgeons are college graduates.

Comment le reconnaître

  • Look for two premises that both use 'All' (universal affirmatives)
  • The middle term appears as subject in one premise and predicate in another
  • The conclusion links the two end terms with 'All'

Erreurs fréquentes

  • Confusing Barbara with invalid forms like 'All A are B, All C are B, therefore All A are C' (undistributed middle)
  • Reversing the chain direction

Résolution étape par étape

Tous les mammifères sont des animaux. Tous les chiens sont des mammifères. Que conclure ?

  1. Identifiez les prémisses : 'Tous les mammifères sont des animaux' et 'Tous les chiens sont des mammifères'
  2. Trouvez le terme moyen : 'mammifères'
  3. Enchaînez : Chiens → Mammifères → Animaux
  4. Concluez avec universelle affirmative : Tous les chiens sont des animaux

Réponse: All dogs are animals

Apprendre 2

Syllogisme Celarent

Un syllogisme valide avec conclusion négative : Aucun A n'est B, Tous les C sont A, donc Aucun C n'est B.

Celarent is the second of the 'perfect' syllogisms in Aristotle's first figure. It combines a universal negative (E) premise with a universal affirmative (A) premise to derive a universal negative conclusion. The name 'Celarent' uses vowels E-A-E to indicate the proposition types: universal negative, universal affirmative, universal negative.

No M are P, All S are M ⊢ No S are P

  • No reptiles are mammals. All snakes are reptiles. Therefore, no snakes are mammals.
  • No even numbers are odd. All multiples of 4 are even. Therefore, no multiples of 4 are odd.
  • No fish can breathe air. All salmon are fish. Therefore, no salmon can breathe air.

Comment le reconnaître

  • One premise uses 'No' (universal negative) and one uses 'All' (universal affirmative)
  • The conclusion is always 'No' (universal negative)
  • The middle term connects the chain through negation

Erreurs fréquentes

  • Confusing the direction: 'No A are B' is not the same as 'No B are A' in context
  • Missing that both terms in the conclusion inherit the negative relationship

Résolution étape par étape

Aucun reptile n'est un mammifère. Tous les serpents sont des reptiles. Que conclure ?

  1. Identifiez la prémisse négative : 'Aucun reptile n'est un mammifère'
  2. Identifiez la prémisse affirmative : 'Tous les serpents sont des reptiles'
  3. Les serpents sont des reptiles, et les reptiles sont exclus des mammifères...
  4. Concluez : Aucun serpent n'est un mammifère

Réponse: No snakes are mammals

Apprendre 3

Syllogisme Darii

Un syllogisme valide avec conclusion particulière : Tous les A sont B, Quelques C sont A, donc Quelques C sont B.

Darii is a first-figure syllogism that derives a particular affirmative (I) conclusion from a universal affirmative (A) major premise and a particular affirmative (I) minor premise. The name 'Darii' uses vowels A-I-I. Unlike Barbara, Darii only claims that 'some' members of a category have a property, making it useful when we know partial overlap rather than complete inclusion.

All M are P, Some S are M ⊢ Some S are P

  • All birds can fly. Some pets are birds. Therefore, some pets can fly.
  • All prime numbers greater than 2 are odd. Some integers are prime numbers greater than 2. Therefore, some integers are odd.
  • All doctors have medical degrees. Some volunteers are doctors. Therefore, some volunteers have medical degrees.

Comment le reconnaître

  • Major premise uses 'All' (universal affirmative)
  • Minor premise uses 'Some' (particular affirmative)
  • Conclusion uses 'Some' - you cannot conclude 'All' from partial evidence

Erreurs fréquentes

  • Over-generalizing: concluding 'All' when only 'Some' is warranted
  • Confusing with invalid forms where the middle term is not distributed

Résolution étape par étape

Tous les médecins ont des diplômes médicaux. Certains bénévoles sont médecins. Que conclure ?

  1. Identifiez la prémisse universelle : 'Tous les médecins ont des diplômes'
  2. Identifiez la prémisse particulière : 'Certains bénévoles sont médecins'
  3. Les bénévoles qui sont médecins doivent avoir des diplômes médicaux
  4. Concluez avec 'Certains' : Certains bénévoles ont des diplômes médicaux

Réponse: Some volunteers have medical degrees

Apprendre 4

Syllogisme Ferio

Un syllogisme valide : Aucun A n'est B, Quelques C sont A, donc Quelques C ne sont pas B.

Ferio is the fourth 'perfect' syllogism of the first figure. It combines a universal negative (E) major premise with a particular affirmative (I) minor premise to derive a particular negative (O) conclusion. The name 'Ferio' uses vowels E-I-O to indicate proposition types. It allows us to conclude that some members of a category lack a property based on their membership in an excluded class.

No M are P, Some S are M ⊢ Some S are not P

  • No reptiles are warm-blooded. Some pets are reptiles. Therefore, some pets are not warm-blooded.
  • No vegetables contain cholesterol. Some foods I eat are vegetables. Therefore, some foods I eat do not contain cholesterol.
  • No beginners pass the advanced test. Some students are beginners. Therefore, some students do not pass the advanced test.

Comment le reconnaître

  • Major premise uses 'No' (universal negative)
  • Minor premise uses 'Some' (particular affirmative)
  • Conclusion uses 'Some...not' (particular negative)

Erreurs fréquentes

  • Concluding 'No C are B' instead of 'Some C are not B' - over-generalizing from partial evidence
  • Misreading 'Some C are not B' as 'Some C are B' (opposite meaning)

Résolution étape par étape

Aucun reptile n'est à sang chaud. Certains animaux de compagnie sont des reptiles. Que conclure ?

  1. Identifiez la négation universelle : 'Aucun reptile n'est à sang chaud'
  2. Identifiez l'affirmation particulière : 'Certains animaux sont des reptiles'
  3. Les animaux qui sont des reptiles ne peuvent pas être à sang chaud
  4. Concluez : Certains animaux ne sont pas à sang chaud

Réponse: Some pets are not warm-blooded

Apprendre 5

Modus Ponens

Le 'mode affirmatif' : Si P alors Q, P est vrai, donc Q est vrai.

Modus Ponens (Latin for 'mode that affirms') is one of the most fundamental rules of inference in propositional logic. Given a conditional statement 'If P then Q' and the truth of the antecedent P, we can validly conclude Q. This rule is also called 'affirming the antecedent' and forms the basis of much deductive reasoning.

P → Q, P ⊢ Q

  • If it is raining, then the ground is wet. It is raining. Therefore, the ground is wet.
  • If you study hard, you will pass the exam. You study hard. Therefore, you will pass the exam.
  • If a number is divisible by 4, it is divisible by 2. 16 is divisible by 4. Therefore, 16 is divisible by 2.

Comment le reconnaître

  • Look for an 'If...then...' statement (conditional)
  • Check if the 'if' part (antecedent) is affirmed as true
  • The conclusion will be the 'then' part (consequent)

Erreurs fréquentes

  • Affirming the consequent (invalid): 'If P then Q, Q is true, therefore P is true' - this does NOT follow
  • Example of the fallacy: 'If it rains, the ground is wet. The ground is wet. Therefore it rained.' (Wrong! Sprinklers could cause wet ground)

Résolution étape par étape

S'il pleut, le sol est mouillé. Il pleut. Que conclure ?

  1. Identifiez le conditionnel : 'S'il pleut, le sol est mouillé'
  2. Vérifiez l'antécédent : 'Il pleut' = OUI
  3. Appliquez Modus Ponens : P vrai donc Q vrai
  4. Concluez : Le sol est mouillé

Réponse: The ground is wet

Apprendre 6

Modus Tollens

Le 'mode négatif' : Si P alors Q, Q est faux, donc P est faux.

Modus Tollens (Latin for 'mode that denies') is a fundamental rule of inference that works by denying the consequent. Given a conditional 'If P then Q' and knowing that Q is false, we can validly conclude that P must also be false. This rule is logically equivalent to Modus Ponens applied to the contrapositive.

P → Q, ¬Q ⊢ ¬P

  • If it is raining, the ground is wet. The ground is not wet. Therefore, it is not raining.
  • If the battery is charged, the phone will turn on. The phone does not turn on. Therefore, the battery is not charged.
  • If a number is prime and greater than 2, it is odd. 8 is not odd. Therefore, 8 is not a prime number greater than 2.

Comment le reconnaître

  • Look for an 'If...then...' statement (conditional)
  • Check if the 'then' part (consequent) is denied/negated
  • The conclusion negates the 'if' part (antecedent)

Erreurs fréquentes

  • Denying the antecedent (invalid): 'If P then Q, P is false, therefore Q is false' - this does NOT follow
  • Example of the fallacy: 'If it rains, the ground is wet. It is not raining. Therefore the ground is not wet.' (Wrong! Sprinklers could still make it wet)

Résolution étape par étape

Si la batterie est chargée, le téléphone s'allume. Le téléphone ne s'allume pas. Que conclure ?

  1. Identifiez le conditionnel : 'Si batterie chargée, téléphone s'allume'
  2. Vérifiez le conséquent : 'Téléphone ne s'allume pas' = Q est faux
  3. Appliquez Modus Tollens : Q faux donc P faux
  4. Concluez : La batterie n'est pas chargée

Réponse: The battery is not charged

Apprendre 7

Syllogisme Hypothétique

Raisonnement en chaîne : Si A alors B, Si B alors C, donc Si A alors C.

Hypothetical Syllogism (also called Chain Reasoning or Hypothetical Chain) allows us to link conditional statements together. If we know that A implies B, and B implies C, we can conclude that A implies C. This rule is essential for building chains of reasoning and is widely used in mathematical proofs and everyday logic.

P → Q, Q → R ⊢ P → R

  • If it rains, the streets get wet. If the streets get wet, traffic slows down. Therefore, if it rains, traffic slows down.
  • If you exercise regularly, you build stamina. If you build stamina, you can run longer. Therefore, if you exercise regularly, you can run longer.
  • If a shape is a square, it is a rectangle. If a shape is a rectangle, it is a quadrilateral. Therefore, if a shape is a square, it is a quadrilateral.

Comment le reconnaître

  • Look for two 'If...then...' statements (conditionals)
  • The consequent of the first should match the antecedent of the second
  • The conclusion links the first antecedent to the last consequent

Erreurs fréquentes

  • Reversing the chain: 'If A then B, If C then B' does NOT give 'If A then C'
  • The middle terms must match exactly for the chain to be valid

Résolution étape par étape

S'il pleut, les rues sont mouillées. Si les rues sont mouillées, la circulation ralentit. Que conclure ?

  1. Identifiez le premier conditionnel : 'Si pluie → rues mouillées'
  2. Identifiez le second conditionnel : 'Si rues mouillées → circulation ralentit'
  3. Le conséquent du premier (Q) correspond à l'antécédent du second (Q)
  4. Combinez : S'il pleut, la circulation ralentit

Réponse: If it rains, traffic slows

Apprendre 8

Syllogisme Disjonctif

Raisonnement 'ou/ou' : Soit A soit B, pas A, donc B.

Disjunctive Syllogism is a rule of inference that eliminates alternatives. Given that 'Either A or B' is true (at least one must hold), and knowing that A is false, we can conclude that B must be true. This is also called 'process of elimination' and is fundamental to decision-making and proof by cases.

P ∨ Q, ¬P ⊢ Q

  • Either the package was delivered or it was lost. It was not delivered. Therefore, it was lost.
  • Either the answer is 42 or 56. The answer is not 42. Therefore, the answer is 56.
  • Either John took the bus or he walked. John did not take the bus. Therefore, John walked.

Comment le reconnaître

  • Look for an 'Either...or...' statement (disjunction)
  • One of the options is ruled out (negated)
  • The conclusion affirms the remaining option

Erreurs fréquentes

  • Assuming 'Either A or B' means exactly one is true (exclusive or). In logic, 'or' typically allows both to be true
  • Affirming one disjunct does not eliminate the other: 'Either A or B, A is true' does NOT mean B is false

Résolution étape par étape

La réponse est 42 ou 56. La réponse n'est pas 42. Que conclure ?

  1. Identifiez la disjonction : 'Soit 42 soit 56'
  2. Une option est éliminée : 'Pas 42'
  3. Appliquez le Syllogisme Disjonctif : si P est faux, Q doit être vrai
  4. Concluez : La réponse est 56

Réponse: The answer is 56

Apprendre 9

Contraposée

Équivalence logique : 'Si A alors B' est équivalent à 'Si non B alors non A'.

The Contrapositive is a logically equivalent form of a conditional statement. For any conditional 'If A then B', its contrapositive 'If not B then not A' has exactly the same truth value. This equivalence is fundamental in mathematics, particularly in proof by contrapositive, where proving the contrapositive is often easier than proving the original statement directly.

P → Q ≡ ¬Q → ¬P

  • 'If it is a dog, then it is an animal' is equivalent to 'If it is not an animal, then it is not a dog'
  • 'If n² is even, then n is even' is equivalent to 'If n is odd, then n² is odd'
  • 'If you pass the exam, you studied' is equivalent to 'If you did not study, you did not pass the exam'

Comment le reconnaître

  • Start with an 'If A then B' statement
  • Negate both parts: A becomes 'not A', B becomes 'not B'
  • Swap their positions: 'If not B then not A'

Erreurs fréquentes

  • Confusing contrapositive with converse: 'If B then A' is the converse, NOT equivalent to the original
  • Confusing contrapositive with inverse: 'If not A then not B' is the inverse, NOT equivalent to the original
  • Only the contrapositive preserves logical equivalence

Résolution étape par étape

Trouvez la contraposée de : 'Si c'est un chien, alors c'est un animal'

  1. Identifiez l'original : 'Si chien → animal'
  2. Niez les deux parties : 'pas chien' et 'pas animal'
  3. Échangez leurs positions : 'Si pas animal → pas chien'
  4. Énoncez la contraposée : 'Si ce n'est pas un animal, alors ce n'est pas un chien'

Réponse: If it is not an animal, then it is not a dog

Apprendre 10

Relation Transitive

Si A > B et B > C, alors A > C. S'applique aux relations d'ordre.

A transitive relation is one where if the relation holds between A and B, and between B and C, then it must hold between A and C. Common transitive relations include 'greater than', 'less than', 'older than', 'taller than', 'ancestor of', and 'implies'. Recognizing transitivity allows us to chain comparisons and orderings together.

R(a,b) ∧ R(b,c) → R(a,c)

  • Alice is taller than Bob. Bob is taller than Carol. Therefore, Alice is taller than Carol.
  • 5 > 3 and 3 > 1, therefore 5 > 1.
  • New York is larger than Chicago. Chicago is larger than Houston. Therefore, New York is larger than Houston.
  • Iron is heavier than aluminum. Aluminum is heavier than plastic. Therefore, iron is heavier than plastic.

Comment le reconnaître

  • Look for comparative statements using the same relation (taller than, faster than, older than, etc.)
  • Check if there's a 'middle' element that appears in both comparisons
  • The conclusion compares the 'outer' elements using the same relation

Erreurs fréquentes

  • Not all relations are transitive. 'Is a friend of' is NOT transitive (A's friend's friend may not be A's friend)
  • 'Is next to' is NOT transitive (if A is next to B, and B is next to C, A may not be next to C)
  • Applying transitivity to non-transitive relations leads to invalid conclusions

Résolution étape par étape

Alice est plus grande que Bob. Bob est plus grand que Carol. Qui est le plus grand ?

  1. Identifiez la première comparaison : Alice > Bob (taille)
  2. Identifiez la deuxième comparaison : Bob > Carol (taille)
  3. Trouvez l'élément commun : Bob apparaît dans les deux
  4. Appliquez la transitivité : Alice > Bob > Carol, donc Alice > Carol

Réponse: Alice is tallest

Apprendre 11

Biconditionnelle

'A si et seulement si B' signifie que A et B sont tous deux vrais ou tous deux faux.

A biconditional statement 'A if and only if B' (often written as 'A iff B') asserts that A and B have the same truth value: they are both true or both false. This is equivalent to saying both 'If A then B' AND 'If B then A'. Biconditionals express necessary and sufficient conditions and are common in definitions and equivalences.

P ↔ Q ≡ (P → Q) ∧ (Q → P)

  • A triangle is equilateral if and only if all its angles are 60°. (Having equal sides is both necessary and sufficient for having 60° angles)
  • A number is even if and only if it is divisible by 2.
  • You will pass the course if and only if you score above 70%. (Scoring above 70% guarantees passing, and passing requires scoring above 70%)

Comment le reconnaître

  • Look for 'if and only if', 'iff', 'exactly when', or 'is equivalent to'
  • The relationship works in both directions
  • Knowing either part tells you the truth of the other

Erreurs fréquentes

  • Confusing 'if' with 'if and only if': 'If A then B' does NOT mean 'If B then A'
  • Biconditional requires BOTH directions to hold
  • 'A only if B' means 'If A then B', NOT biconditional

Résolution étape par étape

Un nombre est pair si et seulement s'il est divisible par 2. 8 est-il pair ?

  1. Identifiez le biconditionnel : Pair ↔ Divisible par 2
  2. Cela signifie : Pair → Divisible par 2 ET Divisible par 2 → Pair
  3. Vérifiez : 8 est-il divisible par 2 ? Oui (8 ÷ 2 = 4)
  4. Divisible par 2 → pair, et 8 est divisible par 2, donc 8 est pair

Réponse: Yes, 8 is even

Apprendre 12

Disposition des Places

Déterminer les positions de personnes dans une rangée à partir d'indices de contraintes comme l'adjacence, l'ordre relatif et les positions fixes.

Les puzzles de disposition des places exigent de déterminer les positions de personnes dans une séquence linéaire à partir d'un ensemble de contraintes. Les contraintes peuvent inclure le positionnement relatif, l'adjacence, la non-adjacence, les positions aux extrémités et les positions fixes. L'objectif est de trouver la disposition satisfaisant toutes les contraintes simultanément.

Étant donné N éléments et contraintes C1, C2, ..., Ck : trouver permutation P satisfaisant toutes les Ci

  • 3 personnes sont assises en rangée. Alice est à gauche de Bernard. Claire est à une extrémité. Qui est au milieu ?
  • 4 personnes sont assises en rangée. David n'est pas à côté d'Emma. Pierre est en position 1.
  • 5 personnes sont assises en rangée. Alice est à une extrémité. Bernard est à gauche de Claire. David n'est pas à côté d'Emma.

Comment le reconnaître

  • Commencer par les contraintes les plus restrictives (positions fixes, extrémités)
  • Utiliser l'élimination pour réduire les possibilités
  • Dessiner un schéma : numéroter les positions et remplir ce qui est connu
  • Tester les dispositions restantes contre toutes les contraintes
  • En cas de blocage, supposer une position et vérifier les contradictions

Erreurs fréquentes

  • Oublier que 'à gauche de' signifie n'importe où à gauche, pas forcément adjacent
  • Confondre 'à côté de' avec 'à gauche/droite de'
  • Ne pas vérifier toutes les contraintes contre la disposition finale

Résolution étape par étape

3 personnes sont assises (positions 1-3). Alice est à gauche de Bernard. Claire est à une extrémité. Bernard est en position 2. Qui est en position 1 ?

  1. Bernard est en position 2 (donné)
  2. Alice est à gauche de Bernard, donc Alice est en position 1
  3. Claire est à une extrémité. La position 1 est prise, donc Claire est en 3
  4. Disposition finale : Alice (1), Bernard (2), Claire (3)

Réponse: Alice

Apprendre 13

Répartition en Groupes

Répartir des éléments ou personnes en groupes sous des contraintes d'équipe commune, d'équipes différentes et de groupe fixe.

Les puzzles de répartition en groupes nécessitent de distribuer des éléments ou personnes dans un nombre fixe de groupes de tailles spécifiées. Les contraintes dictent quels éléments doivent ou ne doivent pas être ensemble. Les types courants incluent : même groupe, groupe différent et groupe fixe.

Partitionner N éléments en k groupes de tailles s1, s2, ..., sk sous contraintes C1, C2, ..., Cm

  • Répartir 4 personnes en 2 équipes de 2. Alice et Bernard doivent être dans la même équipe. Claire et David ne peuvent pas être ensemble.
  • Répartir 6 personnes en 3 équipes de 2. Alice est dans l'Équipe 1. Bernard et Claire doivent être ensemble.
  • Répartir 6 personnes en 2 équipes de 3. Alice et Bernard ne peuvent pas être ensemble. Claire est dans l'Équipe A.

Comment le reconnaître

  • Commencer par les contraintes de groupe fixe pour ancrer les affectations connues
  • Appliquer les contraintes de même groupe pour associer les éléments
  • Utiliser les contraintes de groupe différent pour éliminer les paires impossibles
  • Vérifier les limites de taille de groupe après chaque affectation
  • Utiliser l'élimination pour les places restantes

Erreurs fréquentes

  • Dépasser les limites de taille de groupe en appliquant les contraintes de même groupe
  • Oublier que les contraintes de groupe différent sont bidirectionnelles
  • Ne pas considérer les effets en cascade

Résolution étape par étape

Répartir 4 personnes en 2 équipes de 2. Alice et Bernard doivent être ensemble. Claire est dans l'Équipe 1. David et Claire ne peuvent pas être ensemble.

  1. Claire est dans l'Équipe 1 (donné)
  2. David ne peut pas être avec Claire, donc David va dans l'Équipe 2
  3. Alice et Bernard doivent être ensemble
  4. Vérifier les tailles de groupe et placer en conséquence

Réponse: Équipe 2

Apprendre 14

Séquence d'Ordonnancement

Déterminer l'ordre de classement d'éléments à partir d'indices de comparaison comme supérieur à, inférieur à et contraintes de rang.

Les puzzles de séquence d'ordonnancement exigent d'organiser des éléments dans un ordre de classement à partir d'indices sur leurs positions relatives. Les contraintes incluent des comparaisons directes, des exclusions et des chaînes transitives. Ces puzzles testent la capacité à construire un ordre cohérent à partir d'informations partielles.

Étant donné N éléments et des contraintes de comparaison : trouver un ordre total cohérent avec toutes les contraintes

  • 3 éléments classés de 1 à 3. Alice est classée plus haut que Bernard. Claire n'est pas 1ère. Quel est le rang de Claire ?
  • 4 éléments classés de 1 à 4. Alice est plus haute que Bernard. Claire est plus basse que David.
  • 5 éléments classés de 1 à 5. Alice > Bernard > Claire. David n'est ni 1er ni 5e.

Comment le reconnaître

  • Construire une chaîne : si A > B et B > C, alors A > C (transitivité)
  • Utiliser les contraintes d'exclusion pour éliminer les positions impossibles
  • Commencer par la plus longue chaîne de comparaisons
  • Compter combien d'éléments doivent être au-dessus ou en dessous pour limiter le rang
  • Essayer des positions possibles et vérifier les contradictions

Erreurs fréquentes

  • Oublier d'appliquer la transitivité
  • Supposer qu'une contrainte signifie des rangs immédiatement adjacents
  • Ne pas considérer tous les ordres possibles quand les contraintes en permettent plusieurs

Résolution étape par étape

3 éléments classés de 1 (plus haut) à 3 (plus bas). Alice est plus haute que Bernard. Bernard n'est pas 3e. Quel est le rang de Bernard ?

  1. Alice est plus haute que Bernard, donc rang d'Alice < rang de Bernard
  2. Bernard n'est pas 3e (donné)
  3. Rangs possibles pour Bernard : 1, 2. Mais Alice doit être plus haute, donc Bernard ne peut pas être 1er
  4. Bernard est 2e. Alice est 1ère. L'élément restant est 3e

Réponse: 2e

Apprendre 15

Enthymème

Un syllogisme dont une prémisse (ou parfois la conclusion) est laissée implicite et doit être fournie par le lecteur.

Un enthymème est un argument rhétorique classique structuré comme un syllogisme mais avec une prémisse cachée (sous-entendue). Aristote l'appelait « le corps de la preuve » dans la Rhétorique. Pour évaluer un enthymème, le lecteur doit identifier la prémisse manquante et vérifier si l'argument complet est valide.

Énoncé : P1, ∴ C. Reconstruit : P1, (P2 implicite), ∴ C

  • « Socrate est mortel, parce qu'il est un homme » — prémisse cachée : tous les hommes sont mortels
  • « Elle doit avoir une clé — la porte est ouverte » — prémisse cachée : seuls les détenteurs de clé l'ouvrent
  • « Cette pièce est biaisée, il faut la tester »

Comment le reconnaître

  • Une seule prémisse est énoncée avec la conclusion
  • L'argument semble suggestif plutôt que formellement complet
  • Mots-clés : « parce que », « donc », « ainsi » avec un seul soutien

Erreurs fréquentes

  • Accepter l'enthymème sans reconstruire la prémisse manquante
  • Fournir une prémisse qui rend l'argument trivialement valide (pétition de principe)
  • Traiter tout argument bref comme un enthymème

Apprendre 16

Sorite (Syllogisme Enchaîné)

Un polysyllogisme où la conclusion de chaque syllogisme devient prémisse du suivant, reliant plusieurs prémisses à une unique conclusion finale.

Un sorite est un type particulier de polysyllogisme : une suite de propositions P1, P2, ..., Pn telle que chaque Pi partage un terme avec Pi+1, permettant de les enchaîner. La conclusion finale relie le sujet de la première prémisse au prédicat de la dernière.

Tous les A sont B ; tous les B sont C ; tous les C sont D ; ... ∴ tous les A sont Z

  • Tous les chiens sont des mammifères ; tous les mammifères sont des vertébrés ; tous les vertébrés sont des animaux ∴ tous les chiens sont des animaux
  • Tous les athlètes s'entraînent quotidiennement ; tous ceux qui s'entraînent quotidiennement sont en forme ; tous ceux qui sont en forme performent ∴ tous les athlètes performent
  • Tous les chats sont des félins ; tous les félins sont des carnivores ; tous les carnivores mangent de la viande ∴ tous les chats mangent de la viande

Comment le reconnaître

  • Plus de deux prémisses avec une chaîne de termes partagés
  • Le prédicat de chaque prémisse réapparaît comme sujet du suivant
  • La conclusion finale relie le premier sujet au dernier prédicat

Erreurs fréquentes

  • Permettre une chaîne brisée (deux prémisses sans terme commun)
  • Introduire un changement de quantificateur au milieu
  • Confondre avec un enthymème

Apprendre 17

Table de Vérité

Une table énumérant toutes les combinaisons possibles de valeurs de vérité des propositions d'entrée et la valeur de vérité résultante d'une formule composée.

Une table de vérité est une table mathématique utilisée en logique propositionnelle classique pour montrer comment la valeur de vérité d'une formule composée dépend des valeurs de vérité de ses propositions atomiques. Pour n variables, elle a 2^n lignes. Les tables de vérité fournissent une procédure de décision mécanique : une formule est une tautologie si sa dernière colonne est entièrement vraie, une contradiction si entièrement fausse, contingente sinon.

Pour n variables : 2^n lignes ; connecteurs : ¬, ∧, ∨, →, ↔

  • p ∧ q est vraie seulement quand p et q sont vraies
  • p → q est fausse seulement quand p est vraie et q fausse
  • p ∨ ¬p est une tautologie

Comment le reconnaître

  • Utilisez une table de vérité lorsque vous devez vérifier toutes les combinaisons
  • Comptez les lignes : 2 variables = 4 lignes, 3 variables = 8 lignes, n = 2^n
  • Évaluez les sous-formules colonne par colonne, de l'intérieur vers l'extérieur

Erreurs fréquentes

  • Oublier une ligne (combinaison manquante)
  • Calculer p → q comme « vraie quand p est vraie »
  • Traiter p ↔ q comme « p et q »

Exemples résolus

Les exemples résolus conservent le jeu d’exercices d’origine à chaque niveau. Ouvrez-en un pour comparer l’énoncé, les choix, la bonne réponse et l’explication.

Explication

Retour à Déduction Logique
Publicité