동치

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기

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

논리적 동치

동치 이름

항등 법칙

지배 법칙

멱등 법칙
이중 부정 법칙

교환 법칙

결합 법칙

분배 법칙

드 모르강의 법칙

흡수 법칙

부정 법칙

같이 보기

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