symbolic-equivalence

서로 다른 두 표현이 수학적 또는 논리적으로 동일한 가치를 가짐을 의미한다. 변환 과정에서 논리적 본질이 유지되었는지 확인하는 기준이다.