Soundness theorem for propositional logic

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

This is soundness for the propositional proof system and valuation semantics.