"이 (논리학)"의 두 판 사이의 차이

4 바이트 추가됨 ,  10개월 전
편집 요약 없음
[[논리학]]에서, 일반적으로 [[명제]]의 '''이'''(裏, {{llang|en|inverse}})는 그 [[조건 명제의명제]]의 가정과 결론에 각각 [[부정 (논리학)|부정]]을 취하여 얻는 명제이다. 예를 들어, 'p이면 q이다'라는 명제의 이는 'p가 아니면 q가 아니다'이다. 명제의 이는 그 명제의 [[역 (논리학)|역]]과 [[논리적 동치|동치]]이다.
 
== 같이 보기 ==