동치

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
이 문서는 논리학의 개념에 관한 것입니다. 범주론의 개념에 대해서는 범주의 동치 문서를 참조하십시오. 이항 관계에 대해서는 동치관계 문서를 참조하십시오. 동치제의 연호에 대해서는 동치 (연호) 문서를 참조하십시오.

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

논리적 동치[편집]

동치 이름

항등 법칙

지배 법칙

멱등 법칙
이중 부정 법칙

교환 법칙

결합 법칙

분배 법칙

드 모르강의 법칙

흡수 법칙

부정 법칙

같이 보기[편집]

  • 논리적 귀결(Logical consequence)
  • Logical biconditional
  • Logical equality
  • Equisatisfiability
  • If and only if