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.

Eine Lösung erstellen