The general solution of multiple implication. (Q1448552): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 20:04, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The general solution of multiple implication. |
scientific article |
Statements
The general solution of multiple implication. (English)
0 references
1926
0 references
Seien \(x\), \(y\), \(z\),\dots Variable oder (nicht taulotogische) Satzfunktionen. Das Zeichen (\(x\), \(y\), \(z\),\dots) --- genannt das ``Existential'' von \(x\), \(y\), \(z\),\dots --- habe die folgende Bedeutung: \(x\), \(y\), \(z\),\dots können in ihren Leerstellen so ausgefüllt werden, daß sie gleichzeitig wahr werden. Verf. zeigt durch vollständige Induktion, wie ein solches Klammerzeichen aufgelöst werden kann in einen Ausdruck, der aus den Elementen \(x\), \(y\), \(z\),\dots mit Disjunktionen, Konjunktionen, Negationen und Implikationen aufgebaut ist.
0 references