[이산수학] 조건문을 포함한 논리적 동치 (Logical Equivalences Involving Conditional Statements)

[Discrete Mathematics] p.35

 

https://midoriprogramming.tistory.com/13

[이산수학] 중요한 논리적 동치 (Key Logical Equivalences)

 

지난 시간에 중요한 논리적 동치에 대해서 알아봤다.

 

이번에는 개념을 확장해 조건문을 포함한 논리적 동치에 대해서 알아보겠다.

 

 

 

○ 조건문을 포함한 논리적 동치

 

 

위와 같은 9개가 조건문을 포함한 논리적 동치의 기본이 된다.

어려워 보이지만 천천히 증명해보며 이해하면 어렵지 않다.

 

첫번째 수식 같은 경우에는 진리표로 증명하는 편이 빠르다.