[이산수학]논리적 동치(Logical Equivalence)/동치법칙이란?

이산수학_명제와논리_논리적 동치(Logical Equivalence)/동치법칙이란?

 

 

■ 논리적 동치란?

합성명제 p와 q의 진릿값이 서로 같은 경우를 말합니다. 기호로는 p ≡ q 로 표시하며, "p와 q는 같다" 또는 "p와 q의 진릿값은 같다"라고 읽습니다. 

 

■ 논리적 동치법칙이란?

 

기본적인 논리적 동치법칙은 아래 표와 같습니다. 이 논리적 동치법칙에 의해 정의된 합성명제들은 진릿값이 서로 같기 때문에, 두 개의 명제가 논리적 동치임을 증명하거나 복잡한 합성명제를 간단히 하는 데 활용할 수 있습니다. 

 

출처: http://junhpgh.blogspot.com/2012/04/logical-equivalence-p-q.html

 

※ 결합법칙과 분배법칙의 차이는?

결합 법칙은 괄호 안에 위치한 기호와 괄호 밖에 위치한 기호가 같아야 적용할 수 있고,

분배 법칙은 괄호 안의 기호와 괄호 밖에 위치한 기호가 달라야 적용할 수 있습니다.

 

 

-----------------------------------

이산수학 총정리

목록 보러가기 

-----------------------------------