Ein neues Axiom des Aussagenkalküls in der Symbolik von Sheffer. (Q562843)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Ein neues Axiom des Aussagenkalküls in der Symbolik von Sheffer. |
scientific article; zbMATH DE number 2549018
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ein neues Axiom des Aussagenkalküls in der Symbolik von Sheffer. |
scientific article; zbMATH DE number 2549018 |
Statements
Ein neues Axiom des Aussagenkalküls in der Symbolik von Sheffer. (English)
0 references
1932
0 references
Verf. gibt ein mit dem \textit{Sheffer}schen. Symbol gebildetes Axiom an, das mit dem \textit{Nicod}sehen Axiom äquivalent ist, das aber im Gegensatz zu diesem nur vier verschiedene Variablen enthält, und in dem keine wahre Aussage als Bestandteil vorkommt. Ferner stellt Verf. Axiomensysteme auf für die Menge aller wahren, nur mit der Implikation und ebenso nur mit der Äquivalenz gebildeten Aussagen.
0 references
