Aussagenlogik/Folgerung über Wahrheitsbelegung/Definition

Folgerung

Es sei ${}V$ eine Menge von Variablen und ${}L^{V}$ die zugehörige aussagenlogische Sprache. Es sei ${}\Gamma \subseteq L^{V}$ eine Teilmenge und ${}\alpha \in L^{V}$. Man sagt, dass ${}\alpha$ aus ${}\Gamma$ folgt, geschrieben ${}\Gamma \vDash \alpha$, wenn für jede Interpretation ${}I$ (gegeben durch eine Wahrheitsbelegung ${}\lambda$) mit ${}I\vDash \Gamma$ auch ${}I\vDash \alpha$ gilt.