Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

share|cite|improve this question
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: – 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.

See also the Internet Encyclopedia of Philosophy's entry on Propositional Logic.

Table of Contents:

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
References and Further Reading
share|cite|improve this answer
You are always welcome! – Amzoti Jun 24 '13 at 0:46

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.