Advertisement

Unentscheidbarkeit der Prädikatenlogik

  • Einar Smith
Part of the Springer-Lehrbuch book series (SLB)

Zusammenfassung

In der Aussagenlogik kann man durch Betrachtung von Wahrheitstafeln feststellen, ob eine Formel allgemeingültig ist in dem Sinn, daß jede Belegung zu einer wahren Aussage führt. Wir zeigen in diesem Kapitel, daß das entsprechende Problem für die Prädikatenlogik nicht entscheidbar ist. Der Beweis wird durch Reduktion des Postschen Korrespondenzproblems geführt.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Einar Smith
    • 1
  1. 1.Institut für Algorithmen und Wissenschaftliches RechnenGMD — Forschungszentrum Informationstechnik GmbHSankt AugustinDeutschland

Personalised recommendations