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

[Discrete Mathematics] p.35

 

https://midoriprogramming.tistory.com/14

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

 

지난 시간에 조건문을 포함한 논리적 동치에 대해서 알아봤다.

 

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

 

 

 

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

 

 

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

 

첫번째의 경우 상호 조건문이 결국 p→q와 q→p를 동시에 만족하는 연산자라는걸 생각하면 이해하기 편하다.

나머지의 경우도 자주쓰지는 않지만 한번씩 생각해보면 좋을듯하다.