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:
“Christina Bailey: I was just thinking how much you can tell about a person from such simple things. Your car, for instance.
Mike Hammer: Now what kind of message does it send you?
Christina: You have only one real, lasting love.
Mike: Now who could that be?
Christina: You. You’re one of those self-indulgent males who thinks about nothing but his clothes, his car, himself. I’ll bet you do push-ups every morning just to keep your belly hard.”
—A.I. (Albert Isaac)
“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)
“Justice in the hands of the powerful is merely a governing system like any other. Why call it justice? Let us rather call it injustice, but of a sly effective order, based entirely on cruel knowledge of the resistance of the weak, their capacity for pain, humiliation and misery. Injustice sustained at the exact degree of necessary tension to turn the cogs of the huge machine-for- the-making-of-rich-men, without bursting the boiler.”
—Georges Bernanos (1888–1948)