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 um 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. 15. Auf einen korrekten und vollständigen Sequenzenkalkül für die Prädikatenlogik gehen wir hier nur kmz ein. Für das prädikatenlogische Resolutionsverfahren, das Grundlage der logischen Programmierung ist, verweisen wir auf die einschlägige Literatur.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1999 Springer
About this chapter
Cite this chapter
Ehrig, H., Mahr, B., Cornelius, F., Große-Rhode, M., Zeitz, P. (1999). Prädikatenlogische Hilbert-Kalküle. In: Mathematisch-strukturelle Grundlagen der Informatik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-97986-6_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-97986-6_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63865-0
Online ISBN: 978-3-642-97986-6
eBook Packages: Springer Book Archive