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:
“When I think of God, when I think of him as existent, and when I believe him to be existent, my idea of him neither increases nor diminishes. But as it is certain there is a great difference betwixt the simple conception of the existence of an object, and the belief of it, and as this difference lies not in the parts or composition of the idea which we conceive; it follows, that it must lie in the manner in which we conceive it.”
—David Hume (1711–1776)
“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)
“Authority is the spiritual dimension of power because it depends upon faith in a system of meaning that decrees the necessity of the hierarchical order and so provides for the unity of imperative control.”
—Shoshana Zuboff (b. 1951)