Soundness theorem for propositional logic

If $\Gamma ⊢t$, every valuation that satisfies all formulae in $\Gamma$ also satisfies $t$.