Zusammenfassung
In Kap. II wurde die Sprache der Prädikatenlogik aufgebaut auf der Basis der Junktoren ⋀ und ⌝ und des Quantors ∧. Andere Junktoren, wie ⋁,→, ↔, (Kap. I, § 6.2) und der Quantor ∨ (Kap. I, § 7.5), lassen sich auf dieser Basis definieren (siehe Kap. II, § 1.5; vgl. auch Kap. I, § 6, Aufgabe 5).
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1972 B. G. Teubner, Stuttgart
About this chapter
Cite this chapter
Hermes, H. (1972). Erweiterungen der Sprache, Normalformen. In: Einführung in die mathematische Logik. Mathematische Leitfäden. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-99642-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-322-99642-8_7
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-22201-9
Online ISBN: 978-3-322-99642-8
eBook Packages: Springer Book Archive