Soundness theorem If M is an equality-model for a set r of sentences and THe= A, then Fm A Logic in Computer Science- p10/15Soundness Theorem If M is an equality-model for a set Γ of sentences and Γ `F= A, then |=M A. Logic in Computer Science – p.10/15