Theorem ( )

Minimal solution ( steps):

  1. Axiom of Simplification: \( (P \to (Q \to P)) \)
  2. Axiom of Distribution: \( ((P \to (Q \to R)) \to ((P \to Q) \to (P \to R))) \)
  3. Axiom of Transposition: \( ((~ P \to ~ Q) \to (Q \to P)) \)
  4. Axiom of Inference (Modus Ponens): Si \( (P \to Q, P) \) alors \( Q \)