1. 대한민국의 前 기업집단
2. 待 遇
남을 대접함.2.1. 직급에서
명확한 직책이나 직급이 없는 인물인 경우에 대우란 형태로 위치를 나타내기도 한다. 가령 특별한 일이 있어서 기존에 없던 직제인 팀을 만들었을 때 팀장이 생기면 팀장은 기존의 부장과 같은 대우를 한단 의미에서 부장 대우라고 표현한다.2.2. 관련 문서
3. 大 雨
호우와 동의어. 조선시대 때 까진 호우보다 대우를 더 많이 썼다는 사실을 조선왕조실록을 통해 알 수 있다. 일제강점기 이후 일본에서 들어온 호우를 현재는 더 많이 쓰는 중.국립국어원 순화어로는 큰비.
4. 對 偶 (수학)
|
수학기초론 Foundations of Mathematics |
|||
|
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" |
다루는 대상과 주요 토픽 | ||
| 수리논리학 | 논리 · 논증{ 귀납논증 · 연역논증 · 귀추 · 유추} · 공리 및 공준 · 증명{ 증명보조기 · 자동정리증명 · 귀류법 · 수학적 귀납법 · 반증 · 더블 카운팅 · PWW} · 논리함수 · 논리 연산 · 잘 정의됨 · 조건문( 조각적 정의) · 명제 논리( 명제 · 아이버슨 괄호 · 역 · 이 · 대우) · 양상논리 · 술어 논리( 존재성과 유일성) · 형식문법 · 유형 이론 · 모형 이론 | ||
| 집합론 | 집합( 원소 · 공집합 · 집합족 · 곱집합 · 멱집합) · 관계( 동치관계 · 순서 관계) · 순서쌍( 튜플) · 서수( 하세 다이어그램 · 큰 가산서수) · 수 체계 · ZFC( 선택공리) · 기수( 초한기수) · 절대적 무한 · 모임 | ||
| 범주론 | 범주 · 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 | ||
| 계산가능성 이론 | 계산 · 오토마타 · 튜링 기계 · 바쁜 비버 · 정지 문제 · 재귀함수 | ||
| 정리 | |||
| 드모르간 법칙 · 대각선 논법 · 러셀의 역설 · 거짓말쟁이의 역설 · 뢰벤하임-스콜렘 정리 · 슈뢰더-베른슈타인 정리 · 집합-부분합 정리 · 퍼스의 항진명제 · 굿스타인 정리 · 완전성 정리 · 불완전성 정리( 괴델 부호화) · 힐베르트의 호텔 · 연속체 가설 · 퍼지 논리 | |||
| 기타 | |||
| 예비사항( 약어 및 기호) · 추상화 · 벤 다이어그램 · 수학철학 | |||
| 틀:논리학 · 틀:이산수학 · 틀:이론 컴퓨터 과학 · 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보 | }}}}}}}}} | ||
對 偶, contraposition
하나의 가언 명제에 대하여 전건과 후건을 모두 부정하고 그 순서를 뒤바꾼 명제를 말한다. 전건과 후건을 부정하지 않고 순서만 뒤바꾸면 역(逆)이라고 하고, 전건과 후건을 모두 부정하되 순서는 바꾸지 않으면 이(裏)라고 한다. 또한, 어떤 명제의 역과 그 명제의 이도 서로 대우인 관계가 성립된다.
참인 가언 명제에 대하여 대우는 언제나 참이다,[1] 그리고 역이나 이는 참이 아닐 수도 있다. 만약에 참인 가언 명제의 역이나 이도 반드시 참일 것이라고 생각하면 논리적 오류가 일어난다. 이를 ' 전건 부정과 후건 긍정의 오류'라고 한다. 그러나 참인 가언 명제의 대우는 반드시 참이 된다. 전건 부정법이나 후건 긍정법과는 달리 후건 부정법은 언제나 합당한 게 바로 이 때문.
예를 들어, "전기가 끊어지면 전등이 꺼진다"는 명제가 있다면 이렇게 된다.
앞서 말했 듯 어떤 명제가 참이면 그 대우도 항상 참이 되기 때문에 후건 부정법으로 간접 증명을 하는 방법도 있다. 그 반대로, 원명제가 거짓이면 그 대우도 항상 거짓이 된다.
예를 들어서 다음과 같은 명제가 있다고 했을 때
- 평면삼각형의 내각의 합은 180도이다.
- 불탈 수 있는 종이에 불이 붙으면 탄다.
- 옥수수를 먹으면 죽는다.
- 솜방망이로 바위를 때리면 깨진다.
- 각의 합이 180도가 되지 않으면 평면삼각형이 아니다.
- 불탈 수 있는 종이가 타지 않으면 불이 붙지 않은 것이다.
- 죽지 않았다면 옥수수를 먹지 않은 것이다.
- 바위가 깨지지 않았다면 솜방망이로 때리지 않은 것이다.
대우를 만들 때 주의해야 할 점은, 전건과 후건의 순서를 바꿀 때 인과관계까지 서로 순서를 바꿔서는 안 된다는 것이다.
다음과 같은 명제를 예로 들자.
- 배가 고프지 않으면 밥을 먹지 않는다.
- 엄마한테 혼나면 공부를 한다.
인과를 무시하고 이 명제의 잘못된 대우를 구하면
이는 인과관계를 고려하지 않아서 잘못된 대우가 나온 것으로, 올바른 대우는 다음과 같다.
- 밥을 먹는다면 배가 고팠었다는 것이다.
- 공부를 하지 않는다면 엄마한테 혼나지 않았다는 것이다.
5. 단기적으로 사용된 대월의 국호
- 호 왕조 참조.
6. 진용진의 단편영화 없는영화 시리즈
[1]
그러나, 과학철학의 탐구방법 중 귀납논증에 관한 부분에서는 역설적인 부분이 발생할 수 있다고 한다. 자세한 것은
헴펠의 까마귀 문서로.
[2]
단순히 전등에 돌을 던저 깨뜨리면 전기가 끊어지지 않은 상태로 전등만 꺼질 수 있다. 따라서 거짓.
[3]
전구가 깨진다는 등 불이 꺼질 수 있는 반례가 존재. 따라서 거짓.
[4]
전등은 전기를 반드시 필요로 하기 때문에 전등이 꺼지지 않는다는 것은, 전기도 끊어지지 않는다는 것이다. 태양광 전지를 달든, 배터리를 쓰든 전기가 있는 것은 마찬가지며, 기름이나 가스등은 전등이라고 하지 않는다. 이것은 반례가 존재하지 않는다. 따라서 참.