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.