CS/이산수학 기초

역, 이, 대우

코딩 화이팅 2023. 7. 5. 21:12

명제 p->q

역

q->p

이

~p->~q

대우

~q->~p / 기본 명제의 참,거짓과 같다.