Basis Properties
Since all axioms and rules of the calculus are schemata, derivation is closed under substitution:
- If then
where σ is any substitution (of formulas using only implication).
The implicational propositional calculus also satisfies the deduction theorem:
- If, then
As explained in the deduction theorem article, this holds for any axiomatic extension of the system consisting of axioms 1 and 2 above and modus ponens.
Read more about this topic: Implicational Propositional Calculus
Famous quotes containing the words basis and/or properties:
“All costumes are caricatures. The basis of Art is not the Fancy Ball.”
—Oscar Wilde (1854–1900)
“A drop of water has the properties of the sea, but cannot exhibit a storm. There is beauty of a concert, as well as of a flute; strength of a host, as well as of a hero.”
—Ralph Waldo Emerson (1803–1882)