수학사랑

명제 p → q [ p 이면 q 이다]에서 가정 p 와 결론 q 를 서로 바꾼 명제 q → p가 명제 p → q의 역이다.

역은 converse를 번역한 것으로 한자로는 逆이라고 쓴다.

converse → 逆 → 역

converse는 '의견, 진술 등이 거꾸로 임'을 의미한다.

명제 q → p 를 명제 p → q 와 비교해 볼 때, 방향이 거꾸로 되어 있기에 converse라고 한 것이다.

converse를 번역할 때 '차례나 방향 따위가 거꾸로 임'을 의미하는 한자 逆을 차용한 것이다.

이 逆은 사실상 '逆인 命題'를 간단히 한 것이다.