Essaie de résoudre le problème à la main pour t'aider à démarrer.
Cas 1 : la première phrase est en A et la seconde en B
Supposons que l'affiche en A dise la vérité. Alors A mène forcément à la liberté, donc ça contredit ce qui est sur l'affiche. Absurde.
On sait donc que
* l'affiche en A ment
* A mène à un lion
* et comme au moins l'une des portes mène à la vérité (puisque l'assertion placardée en A est fausse), B mène à la liberté
Cela ne contredit pas l'affiche en B, puisque B mène à la liberté implique que l'affiche en B dit faux, et l'affiche dit que la porte mène à un lion.
Conclusion du cas 1 : prendre la porte B
Cas 2 : la première phrase est en B et la seconde en A
Supposons que l'affiche en A ne dise pas la vérité. Alors par hypothèse, A mène forcément à un lion. Or, l'affiche A dit faussement que A mène à un lion. Contradiction. Donc A dit la vérité.
Mais si A dit la vérité, alors A mène à la liberté alors que l'affiche, qui dit vrai, dit que A mène à un lion. Encore une contradiction.
Conclusion du cas 2 : ce cas de figure ne peut pas arriver.
Conclusion générale : prendre la porte B
-----
Maintenant si tu réfléchis un peu à tout ça et que tu appelles
a: "la porte A mène à la liberté"
b: "la porte B mène à la liberté"
R: "l'affiche qui dit que cette porte mène à un lion, est placardée sur la porte A"
A = non(a) et non(b) = non(a ou b)
le but est de montrer que b est une tautologie.
Tu peux commencer par prouver que R est toujours faux. Ca correspond au cas 2 dans mon paragraphe précédent !
Ensuite, souviens toi que l'affiche placardée en A dit vrai si et seulement si a est vrai. Donc la proposition A (qui est forcément placardée en A, puisque R est faux) est équivalente à a.
Donc a (équivaut à, donc) implique que non(a) et non(b). En particulier, a implique non(a). Donc a est forcément faux.
Mais a = A = non(b). A est faux parce que a est faux et donc b est vrai