Advertisement

Formale Reduktionen

  • Friedrich L. Bauer
  • Martin Wirsing
Chapter
  • 155 Downloads
Part of the Mathematik für Informatiker book series (1211)

Zusammenfassung

Eine praktisch wichtige Aufgabe ist es, Aussageformen unter gewissen Gesichtspunkten zu „vereinfachen“. Insbesondere wichtig sind Reduktionsverfahren, die auf Normalformen führen. In einem solchen „Aussagenkalkül“ (Schröder 18901) werden gleichstarke Aussageformen nicht identifiziert.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 2.
    W.V.O. Quine, Methods of Logic, Holt, New York 1950zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Friedrich L. Bauer
    • 1
  • Martin Wirsing
    • 2
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2Deutschland
  2. 2.PassauDeutschland

Personalised recommendations