Zusammenfassung
Mit der Äquivalenz zweier Größen wird allgemein ihre Gleichwertigkeit ausgedrückt. Diese Gleichwertigkeit kann jedoch niemals absolut und vollständig sein, sondern nur bestimmte Aspekte betreffen. Bei der logischen Äquivalenz zweier Aussagen ist die Gleichwertigkeit durch die Wahrheitswerte gegeben, die beide Aussagen bei den möglichen Interpretationen erhalten. Logische Äquivalenz und Folgerung sind eng miteinander verbunden: Zwei Formeln ϕ und ψ sind logisch äquivalent, wenn sowohl sp aus ϕ als auch ψ aus ϕ folgt.
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). Logische Äquivalenz. In: Mathematisch-strukturelle Grundlagen der Informatik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-56792-6_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-56792-6_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41923-5
Online ISBN: 978-3-642-56792-6
eBook Packages: Springer Book Archive