Es gilt Γ ⊨ α {\displaystyle {}\Gamma \vDash \alpha } genau dann, wenn Γ ∪ { ¬ α } {\displaystyle {}\Gamma \cup \{\neg \alpha \}} nicht erfüllbar ist.
genau dann, wenn 
nicht
erfüllbar
ist.
