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