Zusammenfassung
Wir wollen zunächst noch einige einfache Begriffe einführen, die sich für das Folgende als zweckmäßig erweisen. Es seien H 1, H 2 Ausdrücke über einer gegebenen Basis B und es sei Σ eine beliebige B-Algebra. Die Ausdrücke H 1, H 2 heißen allgemeingültigkeitsgleich in Σ (H 1 Aggl Σ H 2), wenn gilt: ag Σ H 1 genau dann, wenn ag Σ H 2. Entsprechend heißen H 1, H 2 erfüllbarkeitsgleich in Σ(H 1 Efgl Σ H 2), wenn gilt: ef Σ H 1 genau dann, wenn ef Σ H 2.
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
© 1972 BSB B.G.Teubner Verlagsgesellschaft, Leipzig
About this chapter
Cite this chapter
Asser, G. (1972). Prädikatenlogische Normalformen. In: Einführung in die Mathematische Logik. Mathematisch-Naturwissenschaftliche Bibliothek, vol 19. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-91274-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-322-91274-9_9
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-322-00718-6
Online ISBN: 978-3-322-91274-9
eBook Packages: Springer Book Archive