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

내용 삭제됨 내용 추가됨

인라인

2019년 3월 14일 (목) 05:07 판

논리학에서, 어떤 조건 명제의 이(裏, 영어: inverse)는 그 조건 명제의 가정과 결론에 각각 부정을 취하여 얻는 명제이다. 예를 들어, 'p이면 q이다'라는 명제의 이는 'p가 아니면 q가 아니다'이다. 명제의 이는 그 명제의 역과 동치이다.

이 글은 수학에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다.

@@ 1번째 줄: / 1번째 줄: @@
-[[논리학]]에서 '''이'''(裏)는 제시된 [[명제]]의 [[부정 (논리학)|부정]]을 뜻한다. 명제 'A이면 B이다'의 이는 'A가 아니면 B가 아니다'이다.
+[[논리학]]에서, 어떤 [[조건 명제]]의 '''이'''(裏, {{llang|en|inverse}})는 그 조건 명제의 가정과 결론에 각각 [[부정 (논리학)|부정]]을 취하여 얻는 명제이다. 예를 들어, 'p이면 q이다'라는 명제의 이는 'p가 아니면 q가 아니다'이다. 명제의 이는 그 명제의 [[역 (논리학)|역]]과 [[논리적 동치|동치]]이다.
+== 같이 보기 ==
-[[대우 (논리학)|대우]]의 [[역 (논리학)|역]]으로서 성립한다. 즉 명제 'A이면 B이다'의 대우가 'B가 아니면 A가 아니다'이므로, 대우 명제의 역 'A가 아니면 B가 아니다'는 곧 주어진 명제의 이와 [[동치]]인 것이다.
+* [[역 (논리학)]]
+* [[대우 (논리학)]]
-== 함께 보기 ==
-* [[역 (논리학)|역]]
+* [[부정 (논리학)]]
-* [[대우 (논리학)|대우]]
 {{토막글|수학}}