🌾 Calculus of natural reasoning

=== logical calculus, which has few axioms and many inference rules (tries to approach intuitive reasoning)==

How?

• Introduce and eliminate assumptions
• → conclusion is independent of eliminated assumptions
• → Proof exists, if all non-eliminated premises are part of the original premises M

Notation

• Introduced assumption: ∧E
• Eliminated assumptions: ∧B
  • [assumption]

Rules

• And (minimal logic)
• Negation (minimal logic)
• Or (minimal logic)
• Biconditional (minmal logic)
• Material conditional (minimal logic)
• Exclusive Disjunction (minimal logic)