====== 동치 (Equivalence) ======
===== 정의 =====
 [[수학]]과 [[논리학]]에서 [[동치]]란 두 문장이 논리적으로 같다는 것을 의미한다. 이것은 한 문장이 [[참]]이면 다른 한 문장도 [[참]]이고, 한 문장이 [[거짓]]이면 다른 문장도 [[거짓]]이 된다는 것을 뜻한다.