Zusammenfassung
Es ist eine klassische Vorgehensweise, komplizierte Vorgänge in Schritte zu zerlegen und für die einzelnen Schritte allgemeine Regeln anzugeben. Die Logik gibt dafür ein typisches Beispiel: Folgerungen werden durch Beweise in Schritte aufgeteilt, die sich ihrerseits aus der Anwendung der Regeln eines Kalküls ergeben. Es gibt sehr verschiedenartige Kalküle in der Logik, die jedoch alle dem Zweck dienen, Folgerungen durch Beweise effektiv, d.h. handhabbar und algorithmisch nachprüfbar zu machen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
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). Aussagenlogische Hilbert-Kalküle. In: Mathematisch-strukturelle Grundlagen der Informatik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-56792-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-56792-6_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41923-5
Online ISBN: 978-3-642-56792-6
eBook Packages: Springer Book Archive