The general solution of multiple implication. (Q1448552)

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.