역 (논리학)

논리학에서, 어떤 조건 명제의 역(逆, )은 그 조건 명제의 가정과 결론을 뒤바꿔 얻는 명제이다. 예를 들어, 'p이면 q이다'라는 명제의 역은 'q이면 p이다'이다. 명제의 역은 그 명제의 이와 동치이다.

성질

진리표 
명제 p→q와 그 역 q→p의 진리표는 다음과 같다.

이에 따라 어떤 명제가 참이거나 거짓이더라도 그 역이 참이거나 거짓일 필요는 없다.

같이 보기 
 이 (논리학)
 대우 (논리학)
 부정 (논리학)

논리학