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

논리적 동치 편집

동치 이름
 
 
항등 법칙
 
 
지배 법칙
 
 
멱등 법칙
  이중 부정 법칙
 
 
교환 법칙
 
 
결합 법칙
 
 
분배 법칙
 
 
드 모르간의 법칙
 
 
흡수 법칙
 
 
부정 법칙

같이 보기 편집

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