Un cambriolage a eu lieu. Trois suspects : Théo, Ulysse, Valentine. On sait que : 1. Si Théo est innocent, alors Ulysse est coupable. 2. Si Ulysse est coupable,

On note les informations et leur contraposée : 

• \(\overline{T}\) → U donc \(\overline{U}\) → T
• U → \(\overline{V}\) donc V → \(\overline{U}\) 
• V → T donc \(\overline{T}\) → \(\overline{V}\)
• \(\overline{V}\) → \(\overline{U}\)  donc U → V

On cherche une personne qui est forcément coupable, on cherche donc à savoir pour chacun s’il est possible qu’elle soit innocente. 

Théo :  \(\overline{T}\) → U  or  U → \(\overline{V}\)  donc  \(\overline{V}\) → \(\overline{U}\) 
C'est une contradiction formelle, donc Théo est forcément coupable. 

Valentine :  \(\overline{V}\) → \(\overline{U}\)  donc  \(\overline{U}\) → T

Il n'y a aucune contradiction, donc Valentine peut être innocente. 

Pas besoin de tester Ulysse, Théo est forcément coupable et Valentine ne l'est pas forcément, ici seule la réponse A fonctionne.