Soundness
= Soundness
{wiki}
= Sound
{synonym}
A proof system is <sound> with respect to its semantics when every derivable conclusion is true in every interpretation satisfying its premises. Both <soundness theorem for propositional logic> and <soundness theorem for first-order logic> establish this property for particular languages and semantics.