Zusammenfassung
In § 1 wird die Prädikatenlogik als eine formale Sprache aufgebaut. Für diese Sprache definieren wir die zentralen semantischen Begriffe in Kapitel III, § 2. Als Grundlage für den in Kapitel IV, § 2 angegebenen Prädikatenkalkül werden bereits hier in § 4 der Begriff des freien Vorkommens einer Subjektsvariablen und in § 5 der Begriff der Substitution eingeführt. In § 2 und § 4 behandeln wir Entscheid-barkeitsfragen in bezug auf die in diesem Kapitel eingeführten Begriffe.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1972 B. G. Teubner, Stuttgart
About this chapter
Cite this chapter
Hermes, H. (1972). Die Sprache der Prädikatenlogik. In: Einführung in die mathematische Logik. Mathematische Leitfäden. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-99642-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-322-99642-8_2
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-22201-9
Online ISBN: 978-3-322-99642-8
eBook Packages: Springer Book Archive