Prädikatenlogik/Folgerung/Unerfüllbarkeit/Fakt

Es gilt ${}\Gamma \vDash \alpha$ genau dann, wenn ${}\Gamma \cup \{\neg \alpha \}$ nicht erfüllbar ist.

Einen Beweis erstellen