Zusammenfassung
Ebenso wie die Aussagenlogik besitzt auch die Prädikatenlogik erster Stufe korrekte und vollständige Kalküle für das Beweisen von Folgerungen. Der grundsätzliche Bau prädikatenlogischer Kalküle ist dabei nicht anders als der aussagenlogischer Kalküle. Dies gilt für Hilbert-Kalküle, SequenzenKalküle und das Resolutionsverfahren in gleicher Weise. Die größere Ausdruckskraft der Prädikatenlogik verlangt allerdings auch die Hinzunahme neuer Regeln, insbesondere urn Gleichheit, Quantoren sowie Substitution und Umbenennung zu erfassen. Im Zentrum dieses Kapitels steht ein Hilbert-Kalkül für die Prädikatenlogik, der korrekt und vollständig ist. Er ist, in einem gewissen Sinne, eine Erweiterung des aussagenlogischen Hilbert-Kalküls aus Kap. 16. Auf einen korrekten und vollständigen Sequenzenkalkül für die Prädikatenlogik gehen wir hier nur kurz ein, Für das prädikatenlogische Resolutionsverfahren, das Grundlage der logischen Programmierung ist, verweisen wir auf die einschlägige Literatur.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ehrig, H., Mahr, B., Große-Rhode, M., Cornlius, F., Zeitz, P. (2001). Prädikatenlogische Hilbert-Kalküle. In: Mathematisch-strukturelle Grundlagen der Informatik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-56792-6_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-56792-6_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41923-5
Online ISBN: 978-3-642-56792-6
eBook Packages: Springer Book Archive