Si / Alors — Quiz sur la logique conditionnelle
Maîtrisez la logique des conditionnelles si/alors (P → Q). 45 problèmes répartis sur trois niveaux : Fondamental couvre la table de vérité de P→Q (vérité par défaut, le seul cas faux), Modus Ponens, Modus Tollens, et pourquoi Affirmer le Conséquent et Nier l'Antécédent sont invalides. Intermédiaire ajoute le contraposé, la réciproque, l'inverse, le biconditionnel (P↔Q), l'équivalence disjonctive (¬P∨Q), et le syllogisme hypothétique. Avancé couvre les conditionnelles chaînées, la négation des conditionnelles (¬(P→Q) = P∧¬Q), les tautologies, l'analyse complexe des valeurs de vérité, et les cas limites.
Comment jouer à Si / Alors
- 1
Apprendre la table de vérité
La table de vérité dans le lobby est le fondement de tout. P→Q est FAUX dans EXACTEMENT UN cas : lorsque P est VRAI et Q est FAUX. Dans tous les autres cas — y compris lorsque P est FAUX — la conditionnelle est VRAIE. Cette 'vérité par défaut' (un antécédent faux rend la conditionnelle vraie) est le concept le plus contre-intuitif pour les débutants.
- 2
Reconnaître les règles d'inférence
Modus Ponens (P→Q, P, ∴Q) et Modus Tollens (P→Q, ¬Q, ∴¬P) sont valides. Nier l'Antécédent (P→Q, ¬P, ∴¬Q) et Affirmer le Conséquent (P→Q, Q, ∴P) sont des sophismes INVALIDES. Le niveau Fondamental teste les quatre.
- 3
Maîtriser les formes équivalentes
Le niveau Intermédiaire teste quatre formes apparentées : le CONTRAPOSÉ (¬Q→¬P, équivalent à l'original), la RÉCIPROQUE (Q→P, PAS équivalent), l'INVERSE (¬P→¬Q, PAS équivalent), et le BICONDITIONNEL (P↔Q, vrai seulement quand P et Q correspondent). Aussi : P→Q ≡ ¬P∨Q est l'équivalence disjonctive.
- 4
Gérer les cas avancés
Les questions avancées explorent : le syllogisme hypothétique chaîné (A→B→C→D donne A→D) ; ce que nous pouvons déterminer si P→Q est connu pour être FAUX (P=V, Q=F) ; les tautologies comme (P→Q)∨(Q→P) ; et la négation ¬(P→Q) = P∧¬Q. Celles-ci couvrent le contenu des cours de mathématiques discrètes et de logique formelle.
Fonctionnalités clés
45 problèmes répartis sur 3 niveaux
Fondamental (15) : La table de vérité complète de P→Q avec les quatre lignes ; identification du seul cas faux (P=V, Q=F) ; Modus Ponens (P→Q, P, ∴Q) ; Modus Tollens (P→Q, ¬Q, ∴¬P) ; pourquoi Nier l'Antécédent et Affirmer le Conséquent sont invalides ; et la vérité par défaut (antécédent faux = toujours vrai). Intermédiaire (15) : Le contraposé (¬Q→¬P), la réciproque (Q→P), et l'inverse (¬P→¬Q) ; quelles paires sont logiquement équivalentes ; le biconditionnel (P↔Q) ; l'équivalence disjonctive (P→Q ≡ ¬P∨Q) ; la négation d'une conditionnelle ; et le syllogisme hypothétique. Avancé (15) : Conditionnelles chaînées ; tautologies ; savoir que P→Q est faux impose P=V et Q=F ; combiner des conditionnelles pour prouver des biconditionnelles ; déterminer Q à partir de P→Q et ¬P→Q ; et la signification logique de P→P.
Lobby interactif de tables de vérité
Le lobby affiche la table de vérité complète de P→Q avec des valeurs de vérité codées par couleur — jetons verts pour VRAI, rouges pour FAUX — et met en surbrillance la seule ligne qui produit FAUX. Cela sert de référence persistante et enseigne la mécanique centrale avant le début du quiz.
Coloration sémantique des choix
Les tuiles de réponse qui disent VRAI sont subtilement teintées en vert et les tuiles qui disent FAUX sont teintées en rouge avant même la sélection, correspondant à leur signification sémantique. Cela crée l'association entre les étiquettes de valeur de vérité et leur signification, plutôt que de traiter tous les choix comme visuellement identiques.
Notation logique en police monospace
Les questions et les explications utilisent la notation logique standard : P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. La police monospace rend la structure logique scannable et reflète la façon dont les conditionnelles apparaissent dans les sections de mathématiques discrètes, d'informatique et de raisonnement formel SAT/LSAT.
Foire aux questions
Pourquoi 'Si faux, alors n'importe quoi' est-il VRAI ?
C'est ce qu'on appelle la vérité par défaut. Une conditionnelle 'Si P, alors Q' est une promesse : 'Chaque fois que P se produit, Q se produira.' Si P ne se produit jamais (P est faux), la promesse n'est jamais testée — et une promesse non testée ne peut pas être rompue. Donc la conditionnelle est techniquement vraie. Cela semble étrange mais est logiquement cohérent : un antécédent faux ne peut jamais violer la conditionnelle.
Quelle est la différence entre le contraposé, la réciproque et l'inverse ?
Original : Si P, alors Q (P→Q). Contraposé : Si non Q, alors non P (¬Q→¬P) — ÉQUIVALENT à l'original. Réciproque : Si Q, alors P (Q→P) — PAS équivalent. Inverse : Si non P, alors non Q (¬P→¬Q) — PAS équivalent (mais équivalent à la réciproque). Astuce mnémotechnique : L'Original et le Contraposé sont équivalents ; la Réciproque et l'Inverse sont équivalents entre eux.
Qu'est-ce que Modus Ponens ?
Modus Ponens ('affirmer l'antécédent') : P→Q, P, ∴Q. Si la conditionnelle est vraie et que l'antécédent est vrai, le conséquent doit être vrai. Exemple : 'S'il pleut, le sol est mouillé. Il pleut. Donc, le sol est mouillé.' C'est la forme d'inférence déductive la plus basique et universellement valide.
Qu'est-ce que Modus Tollens ?
Modus Tollens ('nier le conséquent') : P→Q, ¬Q, ∴¬P. Si la conditionnelle est vraie et que le conséquent est FAUX, l'antécédent doit être faux. Exemple : 'S'il pleut, le sol est mouillé. Le sol n'est PAS mouillé. Donc, il n'a PAS plu.' C'est valide car la conditionnelle serait violée (P=V, Q=F) si P était vrai.
Pourquoi 'Affirmer le conséquent' est-il invalide ?
Affirmer le Conséquent : P→Q, Q, ∴P est invalide. Même si la conditionnelle est vraie et que Q est vrai, P pourrait être faux — Q pourrait avoir été causé par autre chose. Exemple : 'S'il pleut, le sol est mouillé. Le sol est mouillé. Donc, il a plu.' Invalide — le sol pourrait être mouillé par un arroseur. La conditionnelle ne dit pas que la pluie est la SEULE cause de l'humidité.
Comment fonctionne le score ?
Les réponses correctes rapportent 10 pts (Fondamental), 15 pts (Intermédiaire), ou 20 pts (Avancé). Les réponses correctes consécutives ajoutent un bonus de série de 5 points par réponse après la première. Une mauvaise réponse réinitialise la série à zéro.