Salut ,Svp est ce que quelqu'un peut m'aider à resoudre cet exercice dans la logique propositionnelle.
si on change les schema d'axiome SA1,SA2,SA3 de la logique propositionnelle par un seul schema d'axiome SA4:A-->(B-->B)
La question posée dans l'exercice c'est : caracteriser l'ensemble des théoremes de ce nouveau systeme.
Je sais que les theoremes sont les formules obtenues apres l'application de le regle d'inference(modus ponen) sur les axiomes mais j en'arrive pas à comprendre commentrepondre à cette question.Merci
-----