Zusammenfassung
In der Aussagenlogik kann man durch Betrachtung von Wahrheitstafeln feststellen, ob eine Formel allgemeingültig ist in dem Sinn, daß jede Belegung zu einer wahren Aussage führt. Wir zeigen in diesem Kapitel, daß das entsprechende Problem für die Prädikatenlogik nicht entscheidbar ist. Der Beweis wird durch Reduktion des Postschen Korrespondenzproblems geführt.
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
© 1996 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Smith, E. (1996). Unentscheidbarkeit der Prädikatenlogik. In: Elementare Berechenbarkeitstheorie. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-58283-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-58283-7_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60667-3
Online ISBN: 978-3-642-58283-7
eBook Packages: Springer Book Archive