The general solution of multiple implication. (Q1448552): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 04:24, 5 March 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