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

Es sei ${}\Gamma$ eine Ausdrucksmenge und ${}\alpha$ ein Ausdruck in einer Sprache erster Stufe. Zeige, dass ${}\Gamma \vDash \alpha$ genau dann gilt, wenn ${}\Gamma \cup \{\neg \alpha \}$ nicht erfüllbar ist.

Eine Lösung erstellen