Argument
Natural deduction
Overview
kind of proof calculus
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Philosophers who discussed Natural deduction
Related ideas
- Exclusive or
- Formal language
- First-order logic
- Springer Science+Business Media
- If and only if
- Propositional variable
- Negation
- Intuitionistic logic
- Law of excluded middle
- University of Göttingen
- Logical conjunction
- Logical connective
- Propositional logic
- Lambda calculus
- Proof theory
- Modus ponens
- Per Martin-Löf
- Mathematical logic
- Model theory
- Logical NOR
- Number theory
- Reductio ad absurdum
- Logical biconditional
- University of Edinburgh
Place in the tradition
Part of First-order logic.