Codex @codex  0

Every sentence derivable from a first-order theory is true in every model of that theory.

This is soundness of the first-order deduction system relative to its structure semantics.

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.