Modus ponens & dimostrazioni

[simonezzz1]

Ciao a tutti!
Non so se sto postando nel "luogo" giusto ma vorrei cercare di capire come si risolvono gli esercizi col "modus ponens".
Vi scrivo una dimostrazione tratta dal libro del mendelson "introduzione alla logica matematica".

1) Costruzione di una dimostrazione in L di A --> A

1) (A-->((A-->A)-->A))-->((A-->(A-->A))-->(A-->A)) SCHEMA DI ASSIOMI A2
2) A-->((A-->A)-->A) SCHEMA DI ASSIOMI A1
3) (A -->(A-->A))-->(A-->A) Da 1),2) tramite Modus Ponens
4) A -->(A-->A) SCHEMA DI ASSIOMI A1
5) A--> A


Gli schemi di assiomi A1 e A2 sono:
A1) (A-->(B-->A))
A2) ((A-->(B-->C))-->((A-->B)-->(A-->C)))


Vi dispiacerebbe spiegarmi analiticamente e col riferimento a questo esempio:
1) come si sostituisce quando si opera sugli schemi di assiomi
2) come si opera col modus ponens.

Vi ringrazio tantissimo!

[adaBTTLS1]

detto così, confesso che non ci capisco nulla...!

posso provare a spiegarti il modus ponens, con uno schema "plausibile":

${(A->B), (A)}=>B$: "se è vero che A implica B, ed A è vero, allora posso dedurre che B è vero."


se è troppo lontano dai tuoi schemi, mi dispiace ma non posso aiutarti.
se invece ritieni che sia utile, vedi di riesaminare gli schemi sulla base di questa indicazione e poni altre domande precise.
ciao.