논리학에서 역(逆)은 제시된 문장의 반대를 뜻한다. "A이면 B이다"라는 문장의 역은 "B이면 A이다"이다. 제시된 문장에 따라서 참인 문장의 역이 참일 수도 있고 아닐 수도 있다.
