Definition:Relative Semantic Equivalence of Well-Formed Formulas