Forum de Mathématiques: Maths-Forum

C est justement ce que je disait je crois pas qu on puisse prouver ici (neg A=>A)=>A.par contre si on rajoute cet axiome SA4,oui on peut Merci pour toute ses réponses mais en faite moi je comprend pas très bien comment choisir quel axiome a appliquer par exemple pour l'exemple pourquoi choisitons S...

Merci mais par exemple si on me demande de démontrer que négation négation A -> A pourquoi on commence par appliquer l axiome SA1 pourquoi pas SA2 ou SA3 on les choisit au hasard ou il y a une regle,et dans l'exemple que j'ai citer je ne comprend pas le negation negation negation negation A . Par ex...

Bonjour voila j'ai un probleme jai chercher sur internet mais je ne parviens pas a trouver. Alors par exemple pour cette exercice il faut demontrer que: (negation negation A -> A )est bien un theoreme . Les schemas d'axiome sont les suivants : SA1 (A-> (B -> A)) SA2 (A->(B->C)) -> ((A->B) ->(A -> C)...