# Axioms and deduction rules of Propositional Calculus

I'm looking for a list of axioms and fundamental deduction rules of Propositional Calculus.

-
Do you mean Propositional Calculus without quantifiers? – Git Gud Jun 23 '13 at 22:47
If you're talking about classical, or two-valued, propositional calculus, you might find this useful: uk.answers.yahoo.com/question/index?qid=20101015155716AAnI3ow. – Doug Spoonwood Jun 24 '13 at 0:39

The term you're looking for is Propositional Calculus. See the Wikipedia entry for a discussion of "axioms" and rules of inference. There is no one list of accepted axioms, equivalences, and/or rules of inference for natural deduction, as you'll see in the linked entry: that's why the entry refers to "a propositional calculus, or logic...", as there are a varied many of them:

...a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulae of a formal language may be interpreted to be representing propositions. A system of inference rules and axioms allows certain formulae to be derived, called theorems; which may be interpreted to be true propositions. The series of formulae which is constructed within such a system is called a derivation and the last formula of the series is a theorem, whose derivation may be interpreted to be a proof of the truth of the proposition represented by the theorem.

You'll find some of the more standard axioms and rules of inference that appear in such a logic discussed later in the entry, along with links to specific systems.

Introduction
History
The Language of Propositional Logic
Syntax and Formation Rules of PL
Truth Functions and Truth Tables
Definability of the Operators and the Languages PL’ and PL”
Tautologies, Logical Equivalence and Validity
Deduction: Rules of Inference and Replacement
Natural Deduction
Rules of Inference
Rules of Replacement
Direct Deductions
Conditional and Indirect Proofs
Axiomatic Systems and the Propositional Calculus
Meta-Theoretic Results for the Propositional Calculus
Other Forms of Propositional Logic