동치 (equivalence) 두 문장이 참과 거짓에 있어 필연적으로 동일할 때, 그리고 오직 그럴 때에만…