수학사랑

' p→q 즉, p이면 q이다'와 같은 형태의 명제에서 가정 p와 결론 q를 바꾸어 놓은 명제 ' q→p 즉, q이면 p이다'가 → 의 역이다.

逆에는 '거꾸로임, 반대'의 뜻이 있다.

q→p 는 p→q를 거꾸로 한 것이기에 ' p→q 의 역'이라고 하는 것이다.

역을 영어로는 inverse(←invert)라고 한다. invert에는 '거꾸로 하다'의 뜻이 있다.

invert의 어원은 라틴어 in과 vertere가 합쳐진 것으로 in은 '안'을 뜻한다.

vertere의 뜻은 '방향을 바꾸다(to turn)'이다.

안에서 서로의 방향을 바꾸기에 inverse라고 한 것이다.
한편, 역을 영어로 converse(←convert)라고 하기도 한다.

convert에는 '전환하다'의 뜻이 있다. convert의 어원은 라틴어 co와 vertere가 합쳐진 것으로 co는 '함께'를 뜻한다.
즉, p→q 에서 p, q를 함께 바꾸기에 convert라고 한 것이다.