Zusammenfassung
An verschiedenen Stellen dieses Buches waren wir bereits auf die Bedeutung der Aussagenlogik für das Formulieren, das Verstehen und Manipulieren von Aussagen gestoßen. Wir werden uns nun damit beschäftigen, wie man überpr üfen kann, ob eine als Formel dargestellte Aussage tatsächlich wahr ist. Zuerst zeigen wir dazu, dass die Aussagenlogik eine Boole'sche Algebra ist. Also können wir den ganzen Fundus der in einer Boole'schen Algebra gültigen Rechenregeln anwenden. Insbesondere sind die Normalformsätze für die Aussagenlogik von großem Interesse. So entspricht die Darstellung eines Elementes einer Boole'schen Algebra als Produkt von Atomkomplementen genau der Darstellung einer aussagenlogischen Formel in konjunktiver Normalform. Auf Formeln dieses Typs werden wir die Resolutionsmethode – eine Methode zum überprüfen des Wahrheitswertes – kennen lernen.
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
© 2011 Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH
About this chapter
Cite this chapter
Meinel, C., Mundhenk, M. (2011). Aussagenlogik. In: Mathematische Grundlagen der Informatik. Vieweg+Teubner. https://doi.org/10.1007/978-3-8348-8125-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-8348-8125-0_13
Publisher Name: Vieweg+Teubner
Print ISBN: 978-3-8348-1520-0
Online ISBN: 978-3-8348-8125-0
eBook Packages: Computer Science and Engineering (German Language)