문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 동치 (문단 편집) === 논리적 동치 === 문장 [math(P)]가 문장 [math(Q)]의 논리적 귀결이며, 또한 반대로 [math(Q)]가 [math(P)]의 논리적 귀결인 것을 두고 두 문장 [math(P)]와 [math(Q)] 간에 '''논리적 동치(logical equivalence)'''가 성립한다고 말한다. [[의미론]]/모형이론적으로 말하자면 [math(P)]와 [math(Q)]는 모든 모형/해석에서 [[진리치]]가 같을 경우 오직 그 경우에 논리적으로 동치다. 따라서 논리적 동치는 실질적 동치이지만, 그 역은 성립하지 않는다. 즉 일상적으로 말하자면 두 문장 간의 논리적 동치는 두 문장의 형식에 의한 것이라고 말할 수 있다[* 논리적 동치는 두 문장의 '''[[의미]]'''에 의해서 참이 된다고 말하는 경우도 있는데, 이는 [[언어철학]]적으로는 논란이 있는 주장이다. 의미에 의해서 참이 되는 것을 두고 "분석적 참"이라고 부르는데, 분석적 참과 논리적 참은 명백히 다른 것으로 보이기 때문이다. [[콰인]] 참조.].저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기