Propositional logic
Axiomatic proof theory
- several axioms
e.g., ? ? (? ? ?) and (? ? (? ? ?)) ? ((? ? ?) ? (? ? ?))
- one rule of inference
Modus ponens ?, ? ? ? / ?
Natural deduction
- no axioms
- several rules of inference
e.g., Modus ponens ?, ? ? ? / ?, Ex falso quodlibet ?, ?? / ?
Previous slide
Next slide
Back to first slide
View graphic version