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

54 바이트 제거됨 ,  10개월 전
잔글
편집 요약 없음
잔글
[[논리학]]에서, 어떤 [[조건 명제]]의 '''이'''(裏, {{llang|en|inverse}})는 제시된 [[명제]]의조건 명제의 가정과 결론에 각각 [[부정 (논리학)|부정]]을 뜻한다취하여 얻는 명제이다. 명제예를 들어, 'A이면p이면 B이다q이다'라는 명제의 이는 'A가p가 아니면 B가q가 아니다'이다. 명제의 이는 그 명제의 [[역 (논리학)|역]]과 [[논리적 동치|동치]]이다.
 
== 함께같이 보기 ==
[[대우 (논리학)|대우]]의 [[역 (논리학)|역]]으로서 성립한다. 즉 명제 'A이면 B이다'의 대우가 'B가 아니면 A가 아니다'이므로, 대우 명제의 역 'A가 아니면 B가 아니다'는 곧 주어진 명제의 이와 [[동치]]인 것이다.
* [[대우 (논리학)|대우]]
 
* [[대우 (논리학)]]
== 함께 보기 ==
* [[부정 (논리학)|역]]
* [[대우 (논리학)|대우]]
 
{{토막글|수학}}