Summary
This study continues in calculating formulas of the first order logic. Whereas the preceding part delt with monadic predicates, the present part treats polyadic predicates. The presumptions were supplied analogously.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Für den ersten Teil vgl. vom selben Verfasser: Ein Rechenverfahren für die elementare Logik. Diese Zeitschrift, Bd. XII, 1981, S. 110–115. In der dortigen Arbeit finden sich die Numerierungen (1) bis (28). Druckfehlerkorrekturen: S. 111: „(13) p=−p8)“; S. 113: „(es ist notwendig, daß p)“ sowie „(es ist geboten, daß p)“. — Die Herausgeber.
Rights and permissions
About this article
Cite this article
Schmidt, K.J. Ein Rechenverfahren für die elementare Logik II. Zeitschrift für Allgemeine Wissenschaftstheorie 15, 22–33 (1984). https://doi.org/10.1007/BF01800933
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF01800933