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?(adsbygoogle = window.adsbygoogle || []).push({});

I want the number of undefined logical operators to be limited to two, either {not,and} or {not,or}.

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Natural Deduction

**Physics Forums | Science Articles, Homework Help, Discussion**