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.