Zusammenfassung
Im vorliegenden Paragraphen sollen wichtige Beispiele für Ausdrücke über einer beliebigen Basis B zusammengestellt werden, die in jeder B-Algebra ∑ allgemeingültig sind. Unsere Methode zum Nachweis der Allgemeingültigkeit wird in der Ableitung der betreffenden Ausdrücke aus axa B(O) bzw. axa B ∪ axi B bestehen, d. h. im Nachweis, daß diese Ausdrücke im Sinne der Definition des vorangehenden Paragraphen aus der leeren Menge (syntaktisch) beweisbar sind. Auf Grund des Satzes der Monotonie für Bw B(O) sind natürlich alle im folgenden als aus der leeren Menge beweisbar erkannten Ausdrücke aus jeder Menge X von B-Ausdrücken beweisbar.
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). Grundlegende Gesetze der Prädikatenlogik. 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_7
Download citation
DOI: https://doi.org/10.1007/978-3-322-91274-9_7
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