Zum Inhalt springen

Prädikatenlogik/Erfüllbarkeit/Beispiel/2/Aufgabe/Lösung

Aus Wikiversity


Es sei    eine zweielementige Menge. Bei der Interpretation mit    und    ist    und für alle muss    oder    sein. Also gilt

und

und damit

Also ist die Existenzaussage erfüllbar.