✅ Proof (logic)

= a proof (in a calculus) is a concrete and finite configuration of symbols, which adheres to the rules of a given calculus


It must be possible to check:


    • “it exists a proof for out of the premises
    • -> a proof with no premises
    • = theorem


    • does NOT mean ” follows logically from the premises
      • that would be:


How to proof:

📖 Example: