Nicod's axiom
id:
nicod-s-axiom-247-1731824
title:
Nicod's axiom
text:
In logic, Nicod's axiom is a formula that can be used as the sole axiom of a semantically complete system of propositional calculus. The only connective used in the formulation of Nicod's axiom is the Sheffer's stroke. The axiom has the following form: Nicod showed that the whole propositional logic of Principia Mathematica could be derived from this axiom alone by using one inference rule, called "Nicod's modus ponens": 1. φ 2. ∴ ψ In 1931, the Polish logician Mordechaj Wajsberg discovered an e
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Nicod%27s_axiom
date created:
date modified:
2023-03-22T01:01:55Z
main entity:
{"identifier":"Q7028899","url":"https://www.wikidata.org/entity/Q7028899"}
image:
fields total:
13
integrity:
13