본문기록

시리즈:수포자도 쉽게 알 수 있는 수학/집합과 명제 편집하기

150821 Libra 404.png
로그인하고 있지 않습니다.
편집하면 당신의 IP 주소가 공개적으로 기록됩니다. 계정을 만들고 로그인하면 편집 시 사용자 이름만 보이며, 위키 이용에 여러 가지 편의가 주어집니다.

편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.

최신판 당신의 편집
1번째 줄: 1번째 줄:
{{시리즈:수포자도 쉽게 알 수 있는 수학}}
{{쉽게 알 수 있다 시리즈|수학이 정말 쉬워서 저 수포자 그만둡니다.
|문서의 내용이 너무 쉬워서 머리속에 쏙쏙 들어옵니다.
|수포자도 쉽게 알 수 있는 수학/질문|도와주세요! 리브레 수학 선생님! 코너 바로가기}}
{{:수포자도 쉽게 알 수 있는 수학}}
{{토막글}}


==집합==
==집합==
일단 집합이 쉬운 개념은 아니라는 것부터 인식할 필요가 있다. <s>중학교 1학년 첫단원이라서 그런가, 다들 그다지 어렵게 생각 안해서 그렇지(고등 교육과정으로 넘어갔다)</s> 집합이란 사실 대단히 추상적인 개념으로, 대단히 최근에(예를 들어 미적분보다 더 요즘) 생겨난 개념이다. 만일 이 단원이 어렵지 않게 느껴진다면 이미 수학적 사고와 추상화에 대단히 익숙해져 있기 때문이다. 거기에 익숙하지 않은 사람들은 당연히 이 단원이 어렵다!
일단 집합이 쉬운 개념은 아니라는 것부터 인식할 필요가 있다. <s>다들 그다지 어렵게 생각 안해서 그렇지</s> 집합이란 사실 대단히 추상적인 개념으로, 대단히 최근에(예를 들어 미적분보다 더 요즘) 생겨난 개념이다. 만일 이 단원이 어렵지 않게 느껴진다면 이미 수학적 사고와 추상화에 대단히 익숙해져 있기 때문이다. 거기에 익숙하지 않은 사람들은 당연히 이 단원이 어렵다!


집합은 결국 수학적 엄밀성과 연결되어 있다. 칸토어가 수학적 엄밀성을 추구하다보니 집합이란 개념이 생각난 것이고, 이는 [[1960년]]대의 [[새수학]] 운동과도 연결되어 있으므로, 이 단원을 언제 가르쳐야 할지 현재 애매한 상태이다. 현재는 수학 교과에서 가르친다.
집합은 결국 수학적 엄밀성과 연결되어 있다. 칸토어가 수학적 엄밀성을 추구하다보니 집합이란 개념이 생각난 것이고, 이는 [[1960년]]대의 [[새수학]] 운동과도 연결되어 있으므로, 이 단원을 언제 가르쳐야 할지 현재 애매한 상태이다. 현재는 수학II 교과에서 가르친다.


간단히 말해서, 집합이란 건 모임이다. 우리 가족의 모임을 예로 들면 울아빠, 울엄마, 나, 우리동생 이렇게 표현할 수 있는 것처럼 이를 기호로 '''우리 가족'''={울아빠, 울엄마, 나, 우리동생} 이렇게 표현한 것이다. 그런데, 유의할 점이, 집합 안에도 원소로 집합이 들어갈 수 있다는 점이다. 예를 들면, 추석 때 모이는 '''친족 모임'''={우리 가족, 큰아버지 가족, 작은아버지 가족} 이런 방식으로 가족이라는 집합을 원소로 또 다른 집합을 만들 수 있는 것이다. <s>여기서 헷갈리지?</s>
간단히 말해서, 집합이란 건 모임이다. 우리 가족의 모임을 예로 들면 울아빠, 울엄마, 나, 우리동생 이렇게 표현할 수 있는 것처럼 이를 기호로 '''우리 가족'''={울아빠, 울엄마, 나, 우리동생} 이렇게 표현한 것이다. 그런데, 유의할 점이, 집합 안에도 원소로 집합이 들어갈 수 있다는 점이다. 예를 들면, 추석 때 모이는 '''친족 모임'''={우리 가족, 큰아버지 가족, 작은아버지 가족} 이런 방식으로 가족이라는 집합을 원소로 또 다른 집합을 만들 수 있는 것이다. <s>여기서 헷갈리지?</s>
15번째 줄: 19번째 줄:
===집합의 연산===
===집합의 연산===
====합집합====
====합집합====
[[파일:Venn0111.svg|300픽셀]]
[[File:Venn0111.svg|300픽셀]]


''A''에 속하거나 ''B''에 속하는 모든 원소로 이루어진 집합을 ''A''와 ''B''의 '''합집합(union)'''이라고 하며 <math>A \cup B</math>로 표현한다.
''A''에 속하거나 ''B''에 속하는 모든 원소로 이루어진 집합을 ''A''와 ''B''의 '''합집합(union)'''이라고 하며 <math>A \cup B</math>로 표현한다.
22번째 줄: 26번째 줄:


====교집합====
====교집합====
[[파일:Venn0001.svg|300픽셀]]
[[File:Venn0001.svg|300픽셀]]


''A''와 ''B''에 동시에 속하는 원소로 이루어진 집합을 ''A''와 ''B''의 '''교집합(intersection)'''이라고 하며 <math>A \cap B</math>로 표기한다.
''A''와 ''B''에 동시에 속하는 원소로 이루어진 집합을 ''A''와 ''B''의 '''교집합(intersection)'''이라고 하며 <math>A \cap B</math>로 표기한다.
31번째 줄: 35번째 줄:


====여집합====
====여집합====
[[파일:Venn1010.svg|300픽셀]]
[[File:Venn1010.svg|300픽셀]]


전체집합 ''U''의 원소 중에서 ''A''에 속하지 않는 모든 원소로 이루어진 집합을 (''U''에 대한) A의 '''여집합(complement)'''이라고 하고, <math>A^{c}</math>로 표기한다. 달리 표현하면 <math>A^{c} = U - A</math>이다.
전체집합 ''U''의 원소 중에서 ''A''에 속하지 않는 모든 원소로 이루어진 집합을 (''U''에 대한) A의 '''여집합(complement)'''이라고 하고, <math>A^{c}</math>로 표기한다. 달리 표현하면 <math>A^{c} = U - A</math>이다.
38번째 줄: 42번째 줄:


====차집합====
====차집합====
[[파일:Venn0100.svg|300픽셀]]
[[File:Venn0100.svg|300픽셀]]


집합 ''A''의 원소 중 집합 ''B''의 원소가 아닌 것의 집합을 ''A''에서 ''B''를 뺀 '''차집합(difference)'''이라고 하며, <math>A-B</math>로 표기한다. 나중에는 <math>A \setminus B</math>의 표기도 쓴다.
집합 ''A''의 원소 중 집합 ''B''의 원소가 아닌 것의 집합을 ''A''에서 ''B''를 뺀 '''차집합(difference)'''이라고 하며, <math>A-B</math>로 표기한다. 나중에는 <math>A \setminus B</math>의 표기도 쓴다.
53번째 줄: 57번째 줄:


====드 모르간의 법칙====
====드 모르간의 법칙====
[[파일:De morgan 1.svg|400 픽셀]]
<math>\left( A \cup B \right) ^c = A^c \cap B^c</math>
[[파일:De morgan 2.svg|400 픽셀]]
<math>\left( A \cap B \right) ^c = A^c \cup B^c</math>
집합의 연산식을 단순하게 만들 때 사용한다.
집합의 연산식을 단순하게 만들 때 사용한다.


<math>\left( A \cup B \right) ^c = A^c \cap B^c, \left( A \cap B \right) ^c = A^c \cup B^c</math>
<math>\left( A \cup B \right) ^c = A^c \cap B^c, \left( A \cap B \right) ^c = A^c \cup B^c</math>


만약 괄호 안에 둘 이상의 집합의 합집합 또는 교집합 연산이 포함된 식이 있을 때는 결합 법칙이 성립하므로 괄호 안을 두 개의 괄호로 나누면 된다.(?? 아래 식 잘못된것같음. 한 괄호 안에 합집합과 교집합이 공존할 순 없잖나...)
만약 괄호 안에 둘 이상의 집합의 합집합 또는 교집합 연산이 포함된 식이 있을 때는 결합 법칙이 성립하므로 괄호 안을 두 개의 괄호로 나누면 된다.


<math>\left( A \cup B^c \cap C \cap D^c \right) ^c</math>
<math>\left( A \cup B^c \cap C \cap D^c \right) ^c</math>
79번째 줄: 74번째 줄:
누구라도 참인지 거짓인지 일치된 판단을 할 수 있는 문장을 명제라고 한다. 즉, '''객관적'''으로 참과 거짓을 알 수 있다.
누구라도 참인지 거짓인지 일치된 판단을 할 수 있는 문장을 명제라고 한다. 즉, '''객관적'''으로 참과 거짓을 알 수 있다.
===명제의 구조===
===명제의 구조===
특정한 변수의 값에 따라 참과 거짓이 달라지는 식 또는 문장을 '''조건'''이라고 한다.
더이상 쪼갤 수 없는 가장 작은 단위의 명제를 '''단순명제'''라고 한다.
* 예시
*: x는 정수이다.
*: (어떤 도형이) 삼각형이면 내각의 합이 180도이다.
*: [[추가바람]]
조건은 명제를 이루는 가장 작은 요소이로, 명제는 조건 p, q를 이용해 "p이면 q이다"와 같이 만들어질 수 있다.
 
더이상 쪼갤 수 없는 가장 작은 단위의 명제를 '''단순명제'''라고 한다. [[조건과는 다르다! 조건과는!]]
* 예시
* 예시
*: {{위키러}}는 사람이다.
*: {{위키러}}는 사람이다.
*: 리브라는 실존인물이다.{{ㅊ|그랬으면 좋겠..}}
*: 리브라는 실존인물이다.{{ㅊ|그랬으면 좋겠..}}
위의 예시를 보면 공통적으로 ''"A는 B이다"'' 형식으로 되어 있는 것을 볼 수 있다. A에는 명제가 표현하고자 하는 '''대상'''이 오고, B에는 그 대상의 ''특성''이 오게 된다.
위의 예시를 보면 공통적으로 ''"A는 B이다"'' 형식으로 되어있는 것을 볼 수 있다. A에는 명제가 표현하고자 하는 '''대상'''이 오고, B에는 그 대상의 ''특성''이 오게 된다.


단순 명제들 여러 개로 이루어진 하나의 명제를 '''합성명제'''라고 한다.
단순 명제들 여러개로 이루어진 하나의 명제를 '''합성명제'''라고 한다.
* 예시
* 예시
*: [[추가바람]]
*: [[추가바람]]
마찬가지로 예시로 알 수 있듯이, ''A이면 B이다'' 형식으로 되어 있는 것을 볼 수 있다. A를 '''가정''', B를 '''결론'''이라고 한다. 따라서, 복합명제는 "A라고 가정했을 때 B라는 결론이 나온다" 라는 뜻으로 해석할 수 있다.
마찬가지로 예시로 알 수 있듯이, ''A이면 B이다'' 형식으로 되어있는 것을 볼 수 있다. A를 '''가정''', B를 '''결론'''이라고 한다. 따라서, 복합명제는 "A라고 가정했을 때 B라는 결론이 나온다" 라는 뜻으로 해석할 수 있다.


=== 진리표 ===
=== 진리표 ===
133번째 줄: 121번째 줄:
| T
| T
|}
|}
진리표를 그린 결과가 모두 참일 때, 그 명제를 '''항진명제'''라고 하고, 모두 거짓일 때는 '''모순'''이라고 한다.


=== 논리 연산 ===
=== 논리 연산 ===


단순명제를 논리 연산을 이용해 합성하면 합성명제를 만들어낼 수 있다. 이 문서에서 알아볼 논리 연산의 종류는 다음과 같다.
단순명제를 논리 연산을 이용해 합성하면 합성명제를 만들어낼 수 있다. 논리 연산의 종류는 다음과 같다.
* <math>\lnot</math>(not)
* <math>~</math>(not)
{| class="wikitable"
! p
! <math>\lnot</math>p
|-
| T
| F
|-
| F
| T
|}
* <math>\land</math>(and)
* <math>\land</math>(and)
{| class="wikitable"
! p
! q
! p<math>\land</math>q
|-
| T
| T
| T
|-
| T
| F
| F
|-
| F
| T
| F
|-
| F
| F
| F
|}
* <math>\lor</math>(or)
* <math>\lor</math>(or)
{| class="wikitable"
! p
! q
! p<math>\lor</math>q
|-
| T
| T
| T
|-
| T
| F
| T
|-
| F
| T
| T
|-
| F
| F
| F
|}
* <math>\rightarrow</math>
p<math>\rightarrow</math>q는 <math>\lnot</math>p<math>\lor</math>q와 같다.
p<math>\rightarrow</math>q가 참일 때 p<math>\Rightarrow</math>라고 쓴다.
{| class="wikitable"
! p
! q
! p<math>\rightarrow</math>q
|-
| T
| T
| T
|-
| T
| F
| F
|-
| F
| T
| T
|-
| F
| F
| T
|}
* <math>\leftrightarrow</math>
p<math>\leftrightarrow</math>q는 (p<math>\rightarrow</math>q)<math>\land</math>(q<math>\rightarrow</math>p) 와 같다.
p<math>\leftrightarrow</math>q가 참일 때 p<math>\Leftrightarrow</math>라고 쓴다.
{| class="wikitable"
! p
! q
! p<math>\leftrightarrow</math>q
|-
| T
| T
| T
|-
| T
| F
| F
|-
| F
| T
| F
|-
| F
| F
| T
|}
==== 연산법칙 ====
모든 논리연산은 <math>A\land B, A\lor B, \lnot A</math>(A, B는 임의의 논리식)만으로 표현이 가능하다. 이것에 대한 자세한 설명은 [[논리연산]]참고. 이 연산들에 대해 다음 법칙이 성립한다.
* [[교환법칙]], [[결합법칙]], [[분배법칙]]
* 흡수법칙
*: A<math>\land</math>(A<math>\lor</math>B)=A
*: A<math>\lor</math>(A<math>\land</math>B)=A
* 드모르간의 법칙
*: (<math>\lnot</math>A)<math>\land</math>(<math>\lnot</math>B)=<math>\lnot</math>(A<math>\lor</math>A)
*: (<math>\lnot</math>A)<math>\lor</math>(<math>\lnot</math>B)=<math>\lnot</math>(A<math>\land</math>A)
* 기타
*: A<math>\land</math>A=A
*: A<math>\lor</math>A=A
*: A<math>\land</math>0=0
*: A<math>\lor</math>0=A
*: A<math>\land</math>1=A
*: A<math>\lor</math>1=1
*: A<math>\land</math>(<math>\lnot</math>A)=0
*: A<math>\lor</math>(<math>\lnot</math>A)=1
*: <math>\lnot</math>(<math>\lnot</math>A)=A
각각의 연산법칙들은 밴 다이어그램을 그려보면 쉽게 이해할 수 있다.
==== 역, 이, 대우 ====
명제 <math>p\rightarrow q</math>는 세 가지 방법으로 뒤집을 수 있다.
* 가정과 결론을 바꾸는 방법(<math>q\rightarrow p</math>)을 ''역''이라고 한다.
* 가정과 결론을 모두 부정하는 방법(<math>\lnot p\rightarrow\lnot q</math>)을 ''이''라고 한다.
* 역과 이를 동시에 적용하는 방법(<math>\lnot q\rightarrow\lnot p</math>)을 ''대우''라고 한다.
이들의 특성은 다음과 같다.
* 원명제와 역명제, 이명제와 대우명제는 서로 ''역 관계''에 있다.
* 원명제와 이명제, 역명제와 대우명제는 서로 ''이 관계''에 있다.
* 원명제와 대우명제, 역명제와 이명제는 서로 ''대우 관계''에 있다.


===공리===
===공리===
우리가 어떤 명제의 참과 거짓을 증명해낼 때는 다른 명제를 이용하게 된다. 그런데, 모든 명제가 처음부터 참과 거짓이 증명되어 있지 않다면? {{ㅊ|[[충격과 공포다]]}} 전제가 이상하기 때문에 증명이 맞다고 할 수 없게 된다. 올바른 증명을 하려면 ''가장 기초적인 근거가 될 가정''을 할 필요가 있다. 이것을 '''공리'''라고 한다. 어떤 이론체계에서든 공리를 제대로 설정했을 때만 논리적으로 접근할 수 있다.
공리로 시작해서 연역적으로 유도되는 명제를 '''정리'''라고 한다.
===집합과의 관계===
===집합과의 관계===
변수가 속해있는 [[전체집합]] U의 원소 중 어떤 조건이 참이 되게 하는 모든 원소의 집합을 그 조건의 '''진리집합'''이라고 한다. 조건 p, q의 진리집합이 P, Q일 때, 다음이 성립한다.
(p<math>\Rightarrow</math>q) <math>\Leftrightarrow</math> (P<math>\in</math>Q)
(p<math>\nRightarrow</math>q) <math>\Leftrightarrow</math> (P<math>\notin</math>Q)
{{주석}}
{{주석}}
{{리브레 시리즈}}
{{리브레 시리즈}}
[[분류:수학]]
[[분류:수학]]
[[분류:수포자도 쉽게 알 수 있는 수학]]
[[분류:수포자도 쉽게 알 수 있는 수학]]
리브레 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 3.0 라이선스로 배포됩니다(자세한 내용에 대해서는 리브레 위키:저작권 문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요.
글이 직접 작성되었거나 호환되는 라이선스인지 확인해주세요. 리그베다 위키, 나무위키, 오리위키, 구스위키, 디시위키 및 CCL 미적용 사이트 등에서 글을 가져오실 때는 본인이 문서의 유일한 기여자여야 하고, 만약 본인이 문서의 유일한 기여자라는 증거가 없다면 그 문서는 불시에 삭제될 수 있습니다.
취소 편집 도움말 (새 창에서 열림)

| () [] [[]] {{}} {{{}}} · <!-- --> · [[분류:]] · [[파일:]] · [[미디어:]] · #넘겨주기 [[]] · {{ㅊ|}} · <onlyinclude></onlyinclude> · <includeonly></includeonly> · <noinclude></noinclude> · <br /> · <ref></ref> · {{각주}} · {|class="wikitable" · |- · rowspan=""| · colspan=""| · |}

이 문서에서 사용한 틀: