Personne pourrais m expliquer la deduction de theoreme en logique propositionnel svp, jai juste un petit probleme au niveau du choix des axiomes lors de la demonstration . merci .