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:
““You are bothered, I suppose, by the idea that you can’t possibly believe in miracles and mysteries, and therefore can’t make a good wife for Hazard. You might just as well make yourself unhappy by doubting whether you would make a good wife to me because you can’t believe the first axiom in Euclid. There is no science which does not begin by requiring you to believe the incredible.””
—Henry Brooks Adams (1838–1918)
“Our system is the height of absurdity, since we treat the culprit both as a child, so as to have the right to punish him, and as an adult, in order to deny him consolation.”
—Claude Lévi-Strauss (b. 1908)