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.