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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.
Zur gelösten Aufgabe