Nicod's axiom

Nicod's axiom

Nicod's axiom is an axiom in propositional calculus that can be used as a sole wff in a two-axiom formalization of zeroth-order logic.

The axiom states the following always has a true truth value.

((φ ⊼ (χ ⊼ ψ)) ⊼ ((τ ⊼ (τ ⊼ τ)) ⊼ ((θ ⊼ χ) ⊼ ((φ ⊼ θ) ⊼ (φ ⊼ θ))))[1]

To utilize this axiom, Nicod made a rule of inference, called Nicod's Modus Ponens.

1. φ

2. (φ ⊼ (χ ⊼ ψ))

∴ ψ[2]

In 1931, Mordechaj Wajsberg found an adequate, and easier-to-work-with alternative.

((φ ⊼ (ψ ⊼ χ)) ⊼ (((τ ⊼ χ) ⊼ ((φ ⊼ τ) ⊼ (φ ⊼ τ))) ⊼ (φ ⊼ (φ ⊼ ψ))))[3]
  1. ^ http://us.metamath.org/mpegif/nic-ax.html
  2. ^ http://us.metamath.org/mpegif/nic-mp.html
  3. ^ http://www.wolframscience.com/nksonline/page-1151a-text

Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Jean Nicod — Not to be confused with the French diplomat and scholar Jean Nicot. Jean George Pierre Nicod (c. 1893 16 February 1924) was a French philosopher and logician. In his best known work, he showed that the classical propositional calculus could be… …   Wikipedia

  • Polish notation — Polish notation, also known as prefix notation, is a form of notation for logic, arithmetic, and algebra. Its distinguishing feature is that it places operators to the left of their operands. If the arity of the operators is fixed, the result is… …   Wikipedia

  • Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… …   Wikipedia

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… …   Wikipedia

  • Notación polaca — Notación polaca. La notación polaca, también conocida como notación de prefijo o notación prefija, es una forma de notación para la lógica, la aritmética, y el álgebra. Su característica distintiva es que coloca los operadores a la izquierda de… …   Wikipedia Español

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”