Category:Natural Deduction Axioms

From ProofWiki
Jump to navigation Jump to search

For a full definition of Natural Deduction and the Natural Deduction Axioms, see this page.

These relate to the category of propositional logic.

This category currently contains no pages or media.