Propositional Calculus - Example 1. Simple Axiom System

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:

    “Our whole walk was through a thoroughly Catholic country, and there was no trace of any other religion. I doubt if there are any more simple and unsophisticated Catholics anywhere.”
    —Henry David Thoreau (1817–1862)

    “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)

    “A religion so cheerless, a philosophy so sorrowful, could never have succeeded with the masses of mankind if presented only as a system of metaphysics. Buddhism owed its success to its catholic spirit and its beautiful morality.”
    —W. Winwood Reade (1838–1875)