동치 (Equivalence)

정의

수학논리학에서 동치란 두 문장이 논리적으로 같다는 것을 의미한다. 이것은 한 문장이 이면 다른 한 문장도 이고, 한 문장이 거짓이면 다른 문장도 거짓이 된다는 것을 뜻한다.