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:
“a mind
That nobleness made simple as a fire,
With beauty like a tightened bow,”
—William Butler Yeats (1865–1939)
“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 violent illiteracies of the graffiti, the clenched silence of the adolescent, the nonsense cries from the stage-happening, are resolutely strategic. The insurgent and the freak-out have broken off discourse with a cultural system which they despise as a cruel, antiquated fraud. They will not bandy words with it. Accept, even momentarily, the conventions of literate linguistic exchange, and you are caught in the net of the old values, of the grammars that can condescend or enslave.”
—George Steiner (b. 1929)