Example 1. Simple Axiom System
Let, where, are defined as follows:
- The alpha set, is a finite set of symbols that is large enough to supply the needs of a given discussion, for example:
- Of the three connectives for conjunction, disjunction, and implication (, and ), one can be taken as primitive and the other two can be defined in terms of it and negation . Indeed, all of the logical connectives can be defined in terms of a sole sufficient operator. The biconditional can of course be defined in terms of conjunction and implication, with defined as .
Adopting negation and implication as the two primitive operations of a propositional calculus is tantamount to having the omega set partition as follows:
- An axiom system discovered by Jan Łukasiewicz formulates a propositional calculus in this language as follows. The axioms are all substitution instances of:
- The rule of inference is modus ponens (i.e., from and, infer ). Then is defined as, and is defined as .
Read more about this topic: Propositional Calculus
Famous quotes containing the words simple, axiom and/or system:
“The thought of our past years in me doth breed
Perpetual benediction: not indeed
For that which is most worthy to be blest—
Delight and liberty, the simple creed
Of Childhood, whether busy or at rest,
With new-fledged hope still fluttering in his breast:—”
—William Wordsworth (1770–1850)
“It’s an old axiom of mine: marry your enemies and behead your friends.”
—Robert N. Lee. Rowland V. Lee. King Edward IV (Ian Hunter)
“Human beings are compelled to live within a lie, but they can be compelled to do so only because they are in fact capable of living in this way. Therefore not only does the system alienate humanity, but at the same time alienated humanity supports this system as its own involuntary masterplan, as a degenerate image of its own degeneration, as a record of people’s own failure as individuals.”
—Václav Havel (b. 1936)