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:

    “Nothing can rightly compel a simple and brave man to a vulgar sadness.”
    —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)

    “While the system of holding people in hostage is as old as the oldest war, a fresher note is introduced when a tyrannic state is at war with its own subjects and may hold any citizen in hostage with no law to restrain it.”
    —Vladimir Nabokov (1899–1977)