Un meurtre a eu lieu. Trois suspects : Karim, Léa, Max. On sait que : 1. Si Karim est innocent, alors Léa est coupable. 2. Si Léa est coupable, alors Max est in

On sait que :

• \(\overline{K}\) → L  donc  \(\overline{L}\)  → K 
• L →  \(\overline{M}\)   donc M →  \(\overline{L}\) 
• \(\overline{M}\) → K donc \(\overline{K}\) → M

On teste désormais les informations.
 

Léa est innocente : Léa innocente est compatible mais Léa est coupable est également compatible. Donc elle n'est pas forcément vrait. 

Karim est coupable : Si Karim est innocent alors Léa est coupable mais par conséquent Max est innocent et cela signifie que Karim est coupable, ce qui est une contradiction formelle, donc Karim est toujours coupable. 

Nous n’avons pas besoin de tester les autres affirmations car on a trouvé celle qui est forcément vraie. Réponse B