동치 (equivalence) 두 문장이 참과 거짓에 있어 필연적으로 동일할 때, 그리고 오직 그럴 때에만 그 두 문장은 동치이다. 두 문장이 그것들의 진리 함수적 형식 떄문에 동치일 때, 그것들은 진리 함수적으로 동치라고 말해진다. 두 문장이 그것들의 한량적 형식 때문에 동치일 때, 그것들은 한량적으로 동치라고 말해진다. Stephen F. Barker, 최세만 이재희 옮김, 『논리학의 기초』, 경기 파주: 서광사, 2009, p. 396. 다 동치