Zusammenfassung
Bei der Untersuchung bestimmter Fragestellungen, wie z. B. des Informationsgehaltes oder der Gültigkeit von Sätzen A der formalen Sprache Q, erweist es sich als zweckmäßig, Formeln in eine dem untersuchten Aspekt besonders angemessene normierte Gestalt zu transformieren. Das Transformat A’ eines Satzes A wird als eine Normalform von A bezeichnet werden. Die wichtigsten und bekanntesten Normalformbildungen stellen wir hier kurz zusammen. Wir beschränken uns dabei auf die Bildung von Normalformen geschlossener Formeln, also von Sätzen. Das Transformat A’ wird dabei jeweils, unabhängig von der Art der betrachteten Normalformbildung, mit A logisch äquivalent sein. Wie die angegebenen Beweise zeigen, sind die Transformationen in allen angegebenen Fällen effektiv: Zu jedem A läßt sich das Transformat A’ mechanisch erzeugen (vgl. auch Kap. 12).
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
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Stegmüller, W., von Kibéd, M.V. (1984). Normalformen. In: Strukturtypen der Logik. Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, vol 3. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-61722-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-61722-5_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-61723-2
Online ISBN: 978-3-642-61722-5
eBook Packages: Springer Book Archive