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:
“Literary gentlemen, editors, and critics think that they know how to write, because they have studied grammar and rhetoric; but they are egregiously mistaken. The art of composition is as simple as the discharge of a bullet from a rifle, and its masterpieces imply an infinitely greater force behind them.”
—Henry David Thoreau (1817–1862)
“It is an axiom in political science that unless a people are educated and enlightened it is idle to expect the continuance of civil liberty or the capacity for self-government.”
—Texas Declaration of Independence (March 2, 1836)
“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)