Salut tout le monde.

J'étudie en ce moment en cours la logique propositionnelle, on a donc vu la déduction, la méthode de résolutions CLE, etc, et aucun soucis jusqu'aujourd'hui, mais là je bloque sur la démonstration d'un Lemme tout c*n.

Le lemme est le suivant :
¬(A -> ¬B) -> B

Il faut le démontrer à l'aide des 3 axiomes, et du modus ponens (Et éventuellement d'autres résultats intermédiaires, bien sûr, mais je veux dire par là qu'il ne faut pas repasser par une forme contenant des ⋀ et des ⋁).

Je vois vraiment pas comment démarrer en fait, avec la négation au début, c'est la première fois que je suis confronté à ce genre de cas, et bien sûr, c'est le seul théorème de tout le cours qu'on a pas pris le temps de démontrer.

Bref, sans forcément me donner la réponse intégrale, ce serait sympa si quelqu'un pouvait me mettre sur la piste.

Bonne soirée.

C'est quoi ces symboles ?
Est-ce que c'est ça ?

http://sketchtoy.com/63489852

C'est la négation, oui.

Après pas mal de recherche j'ai fini pas trouver, au final, je suis passé par le contraposée, et pas mal de lemmes intermédiaires.

Merci quand même, et désolé du topic un peu inutile du coup...