논리적 동치 (Logical Equivalence)
쉽게 풀면
논리적 동치는 두 문장이 항상 함께 참이거나 함께 거짓이 되는, 논리적으로 완전히 같은 내용을 담고 있는 관계이다. 예를 들어 'P이면 Q이다'와 'P가 아니거나 Q이다'는 언뜻 다르게 보이지만 논리적으로 완전히 동치인 문장이다.
왜 중요한가
두 명제가 모든 가능한 경우에 동일한 진리치를 갖는 논리적 동치 관계로, 서로 다른 형식으로 표현된 명제들이 실질적으로 같은 내용을 말하는지를 판별하는 논리학의 핵심 개념이다.
논문에서는 이렇게 쓰입니다
드모르간의 법칙과 같은 논리 규칙이, 표현은 서로 다르지만 진리 조건상 완전히 동일한 두 명제들 사이의 논리적 동치 관계를 보여준다는 것을 설명한다.
이 문장은 드모르간의 법칙이 아니라 대우 관계라는 다른 동치 규칙을 이용해, 실제 증명을 더 쉬운 형태로 바꿔 쓴 사례라는 뜻입니다.
조금 더 깊게 보면
논리적 동치는 두 명제가 같은 진리치를 갖는다는 것을 넘어, 모든 가능세계에서 진리치가 일치한다는 강한 조건을 요구하므로 우연히 진리치가 같은 것과는 구분해야 한다. 두 명제의 논리적 동치는 각 명제가 서로를 함축하는 관계(쌍조건적 함축)로도 정의할 수 있으며, 진리표에서 두 명제의 모든 행이 완전히 일치하는지를 확인하는 방식으로 기계적으로 검증된다. 드모르간의 법칙, 대우 관계, 이중부정 제거 등 표준적인 동치 규칙들은 복잡한 논리식을 더 다루기 쉬운 형태로 변형할 때 반복적으로 활용되는 기본 도구다.
주의할 점
논리적 동치는 두 문장이 우연히 같은 진리값을 갖는 것(예: 둘 다 실제로 참인 것)과는 다르며, 모든 가능한 경우에 걸쳐 항상 같은 진리값을 가져야 한다는 훨씬 강한 요구 조건임을 유의해야 한다. 논리적 동치는 두 문장이 우연히 같은 진리값을 갖는 것(예: 둘 다 실제로 참인 것)과는 다르며, 모든 가능한 경우에 걸쳐 항상 같은 진리값을 가져야 한다는 훨씬 강한 요구 조건임을 유의해야 하고, 이 강한 요구 때문에 논리적 동치는 실제 세계의 우연한 사실과 무관하게 순전히 형식적으로 검증될 수 있다.