역, 이, 대우

원래 명제가 p->q라고 하면,

역은 Converse라고 하고 q->p가 됩니다.

이는 inverse라고 하고 -p->-q가 됩니다.

대우는 Contrapositive라고 하고 -q->p입니다.