Trois suspects : William, Xavier, Yasmine. On sait que : 1. Si William est innocent, alors Xavier est coupable. 2. Si Xavier est coupable, alors Yasmine est inn

On note les informations et leur réciproque :  \(\overline{W}\) → X donc  \(\overline{X}\)  → W  X →  \(\overline{Y}\)  donc  Y →  \(\overline{X}\)  Y →  W donc  \(\overline{W}\)  →  \(\overline{Y}\)    \(\overline{Y}\)  → \(\overline{X}\) donc X → Y  On peut à présent tester les différentes affirmations pour trouver celle qui est forcément fausse :  Yasmine est innocente :  \(\overline{Y}\)  → \(\overline{X}\) donc    \(\overline{X}\)  → W , aucune contradiction William est innocent : \(\overline{W}\) → X donc X →  \(\overline{Y}\)  donc  \(\overline{Y}\)  → \(\overline{X}\) Donc X → \(\overline{X}\)ce qui est une contradiction formelle. L'hypothèse de départ est donc forcément fausse, ici, c'est la réponse B.  Comme au TAGE MAGE il n'y a qu'une seule bonne réponse, il est inutilse de tester les autres.