Prädikatenlogik/Erfüllbarkeit/Beispiel/2/Aufgabe/Lösung
Erscheinungsbild
Es sei eine zweielementige Menge. Bei der Interpretation mit und ist und für alle muss oder sein. Also gilt
und
und damit
Es sei
eine zweielementige Menge. Bei der Interpretation
mit
und
ist
und für alle
muss
oder
sein. Also gilt
und
und damit