Zusammenfassung
Die Allgemeingültigkeit einer aussagenlogischen Formel f läßt sich feststellen, indem man überprüft, daß alle Belegungen der Variablen von f den Wahrheitswert \(\mathbf{W}\) ergeben. Weil es \(2^{\text{Zahl der Variablen}}\) viele Belegungen gibt, ist dieses Verfahren für große Formeln nicht praktikabel. Ob es überhaupt ein Verfahren zur Überprüfung der Allgemeingültigkeit aussagenlogischer Formeln gibt, dessen Schrittzahl durch ein Polynom in der Zahl der Variablen beschränkt ist, ist äquivalent zum \(P=NP\)-Problem der Informatik, das bis heute ungelöst ist. Siehe dazu [5].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Ziegler, M. (2017). Die Resolutionsmethode. In: Mathematische Logik. Mathematik Kompakt. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-44180-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-44180-1_7
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-44179-5
Online ISBN: 978-3-319-44180-1
eBook Packages: Life Science and Basic Disciplines (German Language)