Category:Natural Deduction Axioms

From ProofWiki

Jump to: navigation, search

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

These relate to the category of propositional logic.

Pages in category "Natural Deduction Axioms"

The following 12 pages are in this category, out of 12 total.

A

B

Axiom:Rule of Bottom-Elimination

C

Axiom:Rule of Conjunction

I

Axiom:Rule of Implication

L

Axiom:Law of Excluded Middle

M

Axiom:Modus Ponendo Ponens

N

Axiom:Rule of Not-Elimination

O

Axiom:Rule of Or-Elimination

P

S

Axiom:Rule of Simplification

Retrieved from "http://www.proofwiki.org/w/index.php?title=Category:Natural_Deduction_Axioms&oldid=33104"

Axioms/Logic

Personal tools

Log in / create account

ProofWiki.org

ToDo

Toolbox

Google AdSense