동치

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

논리적 동치

같이 보기 
 논리적 귀결(Logical consequence)
 Logical biconditional
 Logical equality
 Equisatisfiability
 If and only if

논리적 귀결
메타논리학
수리논리학