Axiom System
- Axiom schema 1 is P → (Q → P).
- Axiom schema 2 is (P → (Q → R)) → ((P → Q) → (P → R)).
- Axiom schema 3 (Peirce's law) is ((P → Q) → P) → P.
- The one non-nullary rule of inference (modus ponens) is: from P and P → Q infer Q.
Where in each case, P, Q, and R may be replaced by any formulas which contain only "→" as a connective. If Γ is a set of formulas and A a formula, then means that A is derivable using the axioms and rules above and formulas from Γ as additional hypotheses.
Read more about this topic: Implicational Propositional Calculus
Famous quotes containing the words axiom and/or system:
“The writer who neglects punctuation, or mispunctuates, is liable to be misunderstood.... For the want of merely a comma, it often occurs that an axiom appears a paradox, or that a sarcasm is converted into a sermonoid.”
—Edgar Allan Poe (1809–1845)
“The United States is unusual among the industrial democracies in the rigidity of the system of ideological control—”indoctrination” we might say—exercised through the mass media.”
—Noam Chomsky (b. 1928)