역 (논리학): 두 판 사이의 차이

[[논리학]]에서, 어떤일반적으로 [[명제]]<!-- [[조건 명제]]라는 표현이 보다 상세하지만 일반적으로 조건없는 명제는 일반적이지 않기에 독자의 혼선을 피하기위해 '명제'라고 표현하는것이 여러 자료들의 취지인것같습니다. -->의 '''역'''(逆, {{llang|en|converse}})은 그 [[조건 명제의명제]]의 가정과 결론을 뒤바꿔 얻는 명제이다. 예를 들어, 'p이면 q이다'라는 명제의 역은 'q이면 p이다'이다. 명제의 역은 그 명제의 [[이 (논리학)|이]]와 [[논리적 동치|동치]]이다.