[이산수학] 명제 (추론 금지)

명제       :  p이면 q이다                     (p-> q)

역          : q이면 p이다.                     (q->p)

이          : p가 아니면 q가 아니다.        (~p -> ~q)

대우       : q가 아니면 p도 아니다.        (~q -> ~p)

명제가 참이면 그 대우도 반드시 참이다. 

역과 이 역시 둘 중 하나가 참이면 다른 것도 참.

명제가 참이라고 역도 참일 것이란 보장이 없음!!   => 추론 금지