Déduction Logique Guides
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
Syllogisme Barbara
Le syllogisme valide le plus fondamental : Tous les A sont B, Tous les B sont C, donc Tous les A sont C.
Voir les Guides →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.
Voir les Guides →Syllogisme Darii
Un syllogisme valide avec conclusion particulière : Tous les A sont B, Quelques C sont A, donc Quelques C sont B.
Voir les Guides →Syllogisme Ferio
Un syllogisme valide : Aucun A n'est B, Quelques C sont A, donc Quelques C ne sont pas B.
Voir les Guides →Modus Ponens
Le 'mode affirmatif' : Si P alors Q, P est vrai, donc Q est vrai.
Voir les Guides →Modus Tollens
Le 'mode négatif' : Si P alors Q, Q est faux, donc P est faux.
Voir les Guides →Syllogisme Hypothétique
Raisonnement en chaîne : Si A alors B, Si B alors C, donc Si A alors C.
Voir les Guides →Syllogisme Disjonctif
Raisonnement 'ou/ou' : Soit A soit B, pas A, donc B.
Voir les Guides →Contraposée
Équivalence logique : 'Si A alors B' est équivalent à 'Si non B alors non A'.
Voir les Guides →Relation Transitive
Si A > B et B > C, alors A > C. S'applique aux relations d'ordre.
Voir les Guides →Biconditionnelle
'A si et seulement si B' signifie que A et B sont tous deux vrais ou tous deux faux.
Voir les Guides →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.
Voir les Guides →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.
Voir les Guides →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.
Voir les Guides →Enthymème
Un syllogisme dont une prémisse (ou parfois la conclusion) est laissée implicite et doit être fournie par le lecteur.
Voir les Guides →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.
Voir les Guides →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.
Voir les Guides →