(p2-12) P⇒Q と (p2-14) Q⇒P [逆(CONVERSE)] と (P2-14) ￢P⇒￢Q [裏(INVERSE)] と (p2-12) ￢Q⇒￢P [対偶(CONTRAPOSITIVE)] の真偽表(推論)
| P | Q | ￢P | ￢Q | P⇒Q | Q⇒P | ￢P⇒￢Q | ￢Q⇒￢P |
|---|---|---|---|---|---|---|---|
| × | × | ○ | ○ | ○ | ○ | ○ | ○ |
| × | ○ | ○ | × | ○ | × | × | ○ |
| ○ | × | × | ○ | × | ○ | ○ | × |
| ○ | ○ | × | × | ○ | ○ | ○ | ○ |
・[逆(CONVERSE)] は必ずしも真ならず。
・[裏(INVERSE)] は必ずしも真ならず。
・[対偶(CONTRAPOSITIVE)] は必ず真なり。