- #1
StarThrower
- 220
- 1
Does anyone know a set of axioms for natural deductions? One which leads to the rest of the tautologies of the propositional calculus (and,or,not,if,iff) as theorems?
I want the number of undefined logical operators to be limited to two, either {not,and} or {not,or}.
I want the number of undefined logical operators to be limited to two, either {not,and} or {not,or}.