1984 | OriginalPaper | Buchkapitel
Normalformen
verfasst von : Professor Dr. Dr. Wolfgang Stegmüller, Dr. Matthias Varga von Kibéd
Erschienen in: Strukturtypen der Logik
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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).