The general solution of multiple implication. (Q1448552): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2307/2014575 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3026173382 / rank | |||
Normal rank |
Latest revision as of 20:07, 19 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