Soundness theorem for propositional logic
= Soundness theorem for propositional logic
If $\Gamma\vdash t$, every valuation that satisfies all formulae in $\Gamma$ also satisfies $t$.
This is <soundness> for the propositional proof system and valuation semantics.