Prädikatenlogik/Folgerung/Unerfüllbarkeit/Fakt/Beweis/Aufgabe
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.