Prädikatenlogik/Folgerung/Unerfüllbarkeit/Fakt/Beweis/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine Ausdrucksmenge und ein Ausdruck in einer Sprache erster Stufe. Zeige, dass genau dann gilt, wenn nicht erfüllbar ist.