Zusammenfassung
Der zentrale logische Begriff ist der Folgerungsbegriff. Wir haben in Kap. I, § 3.9 gesehen, wie der Folgerungsbegriff für mathematische Aussagen auf semantischer Grundlage eingeführt werden kann. Den mathematischen Aussagen entsprechen die Ausdrücke der Prädikatenlogik. Im vorliegenden Kapitel sollen der Folgerungsbegriff und die zu seiner Definition benötigten weiteren semantischen Begriffe für die Sprache der Prädikatenlogik mit der hier möglichen Präzision eingeführt werden.
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). Semantik 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_3
Download citation
DOI: https://doi.org/10.1007/978-3-322-99642-8_3
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