🌾 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)