Category:Natural Deduction

This category contains proofs by natural deduction for theorems of propositional calculus.