Definition:Semantic Equivalence (Predicate Logic)