Aufgabe 1. Zeigen Sie, dass die Menge der g¨ ultigen pr¨ adikatenlogischen Formeln unentscheidbar ist. Reduzieren Sie dazu das Postsche Korrespon- denzproblem auf das G¨ ultigkeitsproblem:
Volltext
ÄHNLICHE DOKUMENTE
F¨ ur jede pr¨ adikatenlogischen Formel F erster Stufe gibt es eine erf¨ ullbarkeits¨ aquivalente Pr¨ anexnormalform zu F.. Hat eine beliebige pr¨ adikatenlogische Formel erster
Die vollständig ausgefüllte Prüfkarte ist an den jeweils zuständigen LSB oder an eine seiner Untergliede - rungen zu
Sei S die Signatur einer p¨ adikatenlogischen Sprache.. Kontradiktion oder unerf¨ ullbar) bez. A heißt erf¨ ullbar bez. Eine Interpretation I von S heißt Modell f¨ ur A, falls
Das G¨ ultigkeitsproblem der Pr¨adikatenlogik ist unentscheidbar, d.h. es gibt keinen Algorithmus, der f¨ ur einen beliebigen pr¨adikatenlogischen Ausdruck A feststellt, ob A
Das G¨ ultigkeitsproblem der Pr¨adikatenlogik ist unentscheidbar, d.h. es gibt keinen Algorithmus, der f¨ ur einen beliebigen pr¨adikatenlogischen Ausdruck A feststellt, ob A
Sei S die Signatur einer p¨ adikatenlogischen Sprache.. Kontradiktion oder unerf¨ ullbar) bez. A heißt erf¨ ullbar bez. Eine Interpretation I von S heißt Modell f¨ ur A, falls
Das G¨ ultigkeitsproblem der Pr¨ adikatenlogik ist unentscheidbar, d.h. es gibt keinen Algorithmus, der f¨ ur einen beliebigen pr¨ adikatenlogischen Ausdruck A feststellt, ob A
Sei S die Signatur einer p¨ adikatenlogischen Sprache.. Kontradiktion oder unerf¨ ullbar) bez. A heißt erf¨ ullbar bez. Eine Interpretation I von S heißt Modell f¨ ur A, falls