!"!#$ % &!

$ ' ' ' ' ' ( ' ' ' ' ' ' (

진리표를 통한 명제계산 .

Chapter 1 논리 .
( Logic)
'
'
논리학 추론과 증명의 법칙
'

시
-
. ex) p.GE ( PU81세전쟁
( 땶햶첓 고전논리학

TH
P 9 [ ( Plan ( NI → 8 항진명제 : 항상 참인 명제
:
→ 수리논리학
IFTTF

f쐐하
'

현대수학 "
공리첸계다수리논리 아
이의 법칙

정의 명제 :

참서뉐아거겠데이문장 에 7은 소수이다 .
P ㅜㅜ FFF TF
진리값 2는 홀수이다 8 .
F T T-T ㅜㅜ T ㅜㅜ
단순명제 :
St V P -

8 F F FFF T-T T F
( 주에 ( 동사) A K
A a
① ③ ② 내 결론
합성명젯논리연산자결합 P Q R
G 그리고 또는 아니다 만약이면 N이다 .

2
Given P8 단순명제
.
ex) PMP

FFF諾默
① 합첨 논리곰 .
( Logic Product ) :
P and q
'
;
'
P이고 8이다
'

pnq P NP P ^ NP

② 이점 . 논리합 ( Logic Sum) : '

Por q
'
'
P이리나임이다 . P Uq

③ 부점 ( negative) :
'
~ P
'
: '
N이 아니다
' F T F F T
④ 조건문 ( conditional statement ) :
'
P-0
'
:
'
N이면 N이다
'
Ut
' ' '
⑤ 쌍조건문 ;
M9 :
N일 필요충분조건N이다
if and Only if 3
( PU8 ) 8 ⇒ CPV8)
-

ex) p ⇒

☆
pnqttqpnqpuq~pp-sa.tt
쎈리표 (정리) ( M8 ) ⇒ p (

愼闖圭 庶肝 蔗川
.
一一

4
F T T T
.
왜내서이예머이지에미
F F T T
1 1.1 1 - - 一一.e e

At X1MM개 메

T.lptqlnlqi.it#(ptr)B=hX1GMThAnB=hXlPMngMh
정리 1.1 M8N에 대해

田剛灐鞨
-

수리논리학 " 인과관계없어도 됌

.in
나는 서울에 간다 지상

pi : ACB
가정 결론

p-iqBL@ll_i.ii
p q
一一

' '

며9
'
'
PT8 항상 참
' ' '
'
PH q n
P# 8

!"#$%&'!(($)
 진리표

pqpnqpvqp.iq NP 2 .

T T
T F (2) (p →
q) ←> ( ~
py q )
T T
T F T T T
F T F F T.TT

TO
F
ET
F T T F F 下
F T T
T T

F F F F T T T.TT T T F

T-T F

예제1.1 PH

(3) ( PA ( p → q) → p
I CPV8 ) MPI →
q
T T T ㅜㅜ ㅜㅜ
p q ( PV q ) 7 ~ P → 8

T F
TFTFT.TT
T T F T T
下下 F ㅜㅜ

下下
T F T F F T F T

T T
下下 I ㅜㅜ T F
T T T T

F F F T F
F T

(4) ( ( PV q ) 11 ~
P ) →
q

예제 1.4

(l) ( PAN8 )
P.13

→
(
TTTFFTTTTFFT.TT
N
NG ) T.TT T.TT
F

T-T
P 11 p v FFT.IT T
P q ~
q → ~
q

FU Tin
F T F T

ㅜㅜ
T F

F T T F T.FI 3 .
P ⇒ PU8 P n q ⇒ P

ㅜㅜ ㅜㅜ T ㅜㅜ
下 i 下
i ,

F F
두
F T T T T F
F F F T T T T T
F T T T F T-T
T

FTP .19 F T F F F
연습문제

1 .
4 .

(l) ( NP V8 ) A P 4)

pvqyt~pn~qFT.IT
~ (

T F T ㅜㅜ F F
下下 T T F F F T
T
F
T-T
F 下下 F T.TT T F

TTTTTTFF.TT
T.FI

F F F (2) ~ ( NP N8 ) 의 P Vq

TT
T F F F T T
(2) ~
( PAN8 )
下
F T T T
F
py q T.TT
T T F
下下
T

FFFFFFTT.IT
T T
T.TT

T F
(3) N
( ~
p →
q) Et ~
p A ~
q

下 下 F
T T
I 下

TI
F F
F T F
F
F

T-T
T T T
T

T T T
T F F

5. q → r

N q → r P V q →
p v r

T T T T
T T T
T T
T T
下下
下 T T T T
T
T 下

T FT F T T TFT T F T.FI F F

(2) (P
→ q) → ( p
→ r )

T T T T T
ㅜㅜ F F T T

ㅜㅜ F F T F
下下T T T T T

F T F T T T

F T F T T F

ㅋ .

YXER.FYS.tn/tY=0(2)HX.yER,XiY=0#(X=0)V(Y=0
(l)

)
!"!#$ % &! $ ' ' ' ' ' ( ' ' ' ' ' ' (

논리적 동치 ( Logicany equivalent) 수학적 추론 직접증명 연역법 , 귀납법

: 대우법 귀류법
⇒ 주어진 P . Q :
'
P셔Q

시계Q ) 이며 P )
'

p.14

정의 ( detection)
( 간접증명
수학적 귀납법
,

정리 (theorem) : 참인 명제

P : 머8 Q :
V8 증명 ( Proof)
다) ,
( P tan ( Q → P )
Ptqmmvqy

鳳喊圭
T T T 보조정리 ( Kama )

頓跳 .am
I.FI ,
T
T-T T T
T T T
ㅁ 연역법

F F T T T
t.PT QINQTRIIT.pt RI
( P → G1녀 ( NPV8) :
논리적 동치 특수한 경우 일반적사실

에 삼단논법
일반화 참인걸 밝히기 위해 연역법사용
의 귀납법 y
다) ( PT8 ) ( not NP ) 대우 특수한 경우의 실험 관찰 일반화 " 상호보완적작용
,
→
초등AA
pqptq~q~p~q.int 왜 32-1=8 (2세F1

門舡脯
= 47CM ) =
8X
T T T F F T 52-1=24

두 맚떊
F F T T :
T T

전대우법 ( 메이 # ( 생 ) NP ) 논리적 동치 :

이
(p → q) -3
(q → P )

에 P.IM 예제 1.4 11) . ( 2) H

대우X t
( options ( 생tip)

정리 1.2 曲珉憎
i 결론을 부정하고 모순을 만들어낸

의지 1) XF0 이면 뉴 I0 이다 .

기가정 :
方一一 o

→ ( = XX # =
4×0=0 ( 모순)

지 유클리드정리 :
소수의 갯수는 무한하다 .

가정 ) 유한 2.3.5 :
.
...
P PH

Q : (2×3×5 X 시기 tl :
소수
蛙回
. "

.
t

수학적 귀납법
P ( n) :
T1참) n ← IN (자연수 )

① PC1 ) :
T

② if P ( n ) : T ⇒ 미세 ) T :

!"#$%&'!(($)
!"!#$ % &! $ ' ' ' ' ' ( ' ' ' ' ' ' (

한정기호

P.MY:
전칭기호 모든 ( al l) 임의의 ( artery )
,
,

부정 爻玉 한정기호 존재 (ex ist ) ,

'
모든 X는 P에 이다
'
에 ㅂX . P ( X) :

( IX . 1개) : '
어떤 X는 1개) 이다 !
Z (정수 집합 ) n (XI : X는 자연수이다 .

e. 네 u 짝수 "

"
V에 "
홀수
P에 u 소수 a

IX, 의사 짝수를 만족하는 이는 존재한다 .

베 . ( ex) UV ( XI ) : 모든 X는 홀수이거나 짝수이다 .

베 , P에 개에 ) :
모든 X는 소수이면 자연수이다 .

베 ( 미MC에 ) → al
.
= 2) :
모든 X에서 짝수이고 소수인 것은 2밖에 없다 .

부정 N ( 베 뻬 ) ET 그에 이제
,

~ ( EN P에 ) 〈⇒ VK.MN

N (베 , 오씨 ) 竹王 X. Ne (N

N (베. P메가 (N ) # EX 이미시가( N ) .

刑王 X . (1개) NHN )

YX.NU#HekNlVX.VKNe(NHN(IXiNlVKNe(N)H~(IX.NVK)VNlK 11 11
))

e.CN V씨

N P → q El ( PU8 )

!"#$%&'!(($)
!"!#$ % &! $ ' ' ' ' ' ( ' ' ' ' ' ' (

Chapter 2.집합 ( Set ) 집합의 연산

정의제 집합 (set) :
우리의 직관or 사고의 대상으로 서로 명확히 구분되는 원소들전체의 모임 정의2.41 U TAB
or
A집합
XE미원소나열벘
, AEA.AE/A i) 합집합AUB2세 XEAV
91.2.3.49.92.4.6-9 교집합 M AM3대시 NEA
{ 조건제사법: Shin 홀슈짝수니
.
EB4
벤다이어그램
:
여집합마서야이X의얚 씨
X P에
M$13413
N) 차집합 AB대XEA1 XEA

정의 2시
ㅇㅇ
''
AB 집합 if) AM3:0
'

부분집합 (sub set) A와 B는 서로소 ( di

'
)
" '
i) A는 B의 ACB B개 ⇒ int
.

if) 베EA ⇒ XEB

ii) A를 B의 진부분집합 (Pro per Sub set ) :

AGB if ) A AAIB ① AN BUG) =
( ANN ( ANC )

에 A-91.2.개의 모든 부분집합 ? ⇒ XEAACB에

0, hlh.hh.hn n교 XE All ME ( BUC )

9수 hhhhihlinh.li 2개
전봈집합3 AB V합 NEAR #EBV XEC )

11.3개 분배 (MEAN XEB )V ( XEA M£0 ) → P기8W ) ( PH) U ( PM True .

( MEAN ) V (XE ANC )

정리 ) AB는 집합 XE (ANN ( ANC )

i) ACA III AC13.13CC ⇒ ACC

정리오의 ②
'
ANA UB ) =
AAB
머8 i) 0CA i) ( Anti ) U ( ADB )
ACU ⇒

珏圭 i E ⇒ XEA
) :
T (결론 ) (XEA ⇒ XEU ) 0 U ( AMB) 二月
가결 (? ) F마정)

정의2.3) A와 B는 같다 (equal ) .
A =
B 30 A -

B =
B의자
'
상등이다 .
if) ACB MBCA 1) ⇒ AB.AM =
매A = B' MAC ) =
마다
(XEA # XE미어 ( XEB # XEA) 2
) ⇒ XEA B ⇒ MEAN K€13
-

⇒ M€137 XEA

정리 ) A.B.li 집합 ⇒ XEB에 X4마마A

i) A 二月
예제2.5P.28
ii) 月二 B 邢二月 ④ ( ANN ( BA) -
B

iii) ABA B C ⇒ Al (ANN ( BH )

=
⇒

( ANN ( A4713 )

1301AUA4 =
BN =
B

!"#$%&'!(($)
 P.23

예제 2.5 2 . A( B . CCD

( AMB ) U ( B A ) -
= B ( 11 ( AVC ) C ( BUD )

( AMB ) U ( BOA )
→ XEA ⇒ XEB
( BOA) U ( 137AC )
→ XEC ⇒ X ED
B7 ( AUAC )
XE ( AVC ) ⇒ XE ( BUD)

=
B

3. 月二 13이면 마마을 증명하시오 .

R31 연습문제 月泂

( A CB ) 이 ( BC A )
1 .

( XE A ⇒ XEB ) 이 ( XEB ( NEA ) 이므로

(1) A7 C =
0 이면 A0 ( BU C ) An B ( X # A ⇒ ( KGB ) 이 ( X4 BC XG A ) 성립
=
이다 .

449 ( B # A ) n ( A ⇒ B) h
( AMB ) U ( AMC )
B'
'
∴ =
A
=
( AMB ) U0

= AAB
4.

(l) An ( B -
C) =
( ADB ) -

C
(2) AMB =
0이면 ,
A -

B = A이다 .

= AA ( BAE )
A B -

=
An BC
= ( ADB ) nd

=
( A7134U0 =
( AMB ) -
C

=
( An BC ) U ( AMB )

=
A7 ( BOB ) (2 ) ( AUB ) -
C = ( A C) -
U ( B C)
-

=
A
= ( HUB) 이

=
( And ) U ( BAE )
(3) An B =
0이고 AU132C이면 A ,
= C -
B이다 .

(A C) U ( B
=
- -
C)
A - C -

'
=
( CMB )
(3) A ( BAC ) -
=
(A B) U ( A C)
ABC
- -

=
( HUB )

'
A0 ( BAe )
=
( Anti ) U ( BABY =

=
An ( B' U0 )
=
MBC
=
( An B4 U ( And)
= ( An134U0
=
(A -

BN (A -
C )
= ( An B' ) V ( AMB )

=
A0 ( B' UB )

(4) A ( B
- -
C) =
(A -

B가 ( A -
CC )
=
A
'
= A7 ( Be )

'
=
A0 ( B.no)

=
An ( B' UC )

=
( An B' ) U ( AN )

'
=
(A -

B) V ( ARCO ) )

( AB ) U ( A CC )
=
-
(5) AA (B -
C ) =
( AMB ) -
( A CC )
-
 !"!#$ % &! $ ' ' ' ' ' ( ' ' ' ' ' ' (

Chapter 4 관계 (relation) .

R2.11NM )
AXtbytEOAEA.be
에 A는 b 와 N의 관계이다 .
ex)

B ( a , b ) : 순서쌍 R' ^

1/에
.
"

Def A B .
:
집합 Def ) 관계R드AXB

17×13=4 ( a b) 1 at Ante Bh
쇼곱집합 ( Product set ) -12k
다) A대1.3개 , 13-hain이
AXB =
11ha) ( lb ) .
...

a
A

t.ti.ba
if) ( a, b ) = ( c.cl )

정리 MAX ( 137C) =
( AXB) 이 ( AXC )

(2) ㅯ ( BUC) = ( AN3 ) U ( A사)

(3) ( AXB) MWD ) = ( AMC ) x ( BAD)

i.
) (1 ) ( AB ) EAX ( BMD)

# GEAR ( DE Bh b EC )

(
# AEA ^ b EB) Na EA ME이

⇐> ( a , b) E ( AXB ) 이 ( AN)

AEA.bEB.CA .DE AXB

R ( AM) :
명제함수

AxB-c RCXM-T @ R- lA.BRCX.y If

) ( A , b)

Alain ) : T
=
Ax B
=
A와 B는 관계가 있다 .

'
AR b
'
,
'
AND '

If ) Rain) : F =
A와 B는 관계가 없다

.la/Rb'.'aXb'eNA=hh2i3i4h.R(XiY ) X는 4의 약수이다
:
.

R1X.4) :
X는 4의 약수이다 .

RC1.4 ) R12.4) N4.4 ), ,

1 R4 .
2R4 , 4R4

R14.3) R1X.2) R1X.1 ), ,

다참→Gㅕ ( 1.4 ) ( 2.4 ) , ,

( 4.4 ) , ( 1.1 ) ( 1.3 ) (3.3)
, .

( 1.2 ) .
( 2.2) h
=
h ( a b ) IRC에 b ) :
Th :
표현그래프
^

til
4 • o •

or

.o rg
1 2 3 4

If ) D ( KY ) :
이새는 짝수이다 .

!"#$%&'!(($)
e­
I­
T­
J­
D­
 !"!#$ % &! $ ' ' ' ' ' ( ' ' ' ' ' ' (

여러가지 관계
Given R ( A 13.121재) )
-
.
:
관계 ex) 는 洋洗 i
.

( 동치분수 )

Def ) if ; R =
0 ⇒ R : 공관계 Q.is 셰 msn.hr 참치관계

if : R AXB ⇒ R : 전체관계 FTSE 211정수 )

i)
Thin ) n ( A) =
n , n (B ) =
rn 반사 : 믓~믓 = min = nm

n ( R) = 27M i) 대칭 :믓~승 ⇒ E NY

msn.hr#sm=irnDef
RE AXA :
이항관계
9MM1 ER1 뮤 N승 11승 t ⇒씃~뮤
) 역관계 :
R' = ( 재) 추이 :

nr.ms/lSb=ranb=m nrb=msbxmsb=mra
함동관계돼대에 .MX EAI

nrb.mu
l) 반사관계

i.nbinaexlz.LA/iy:'X=4'i'XEY
TEA if ) a Ra # R : 반사관계

篩籤
'

蠶一 '
재의약수이다
.
.

Thm ) R :
반사관계 IA드R
↳항등관계
A : 9 1.2.31

R : 111.1 ) ( 2.2) , ( 3.3 ) ( 1 , 재. ,

=
ING ( 1.2개

지대칭관계

abEA.la?bif)bRa=7R: 대칭관계
"
Thin) R : 대칭관계 12=12

ex) A의 1.2.31

R={ ( 1.1 ) ( 1.2) 12.1 ) (지지 }→ 반사관계 ( 시 . , .

'
( 3.3) 없어서

3) 추이관계
ab CEA. .at?babRcif)aRc
⇒ R :
추이관계

☆ 동치관계
if ) 반사+대침t추이
' ' '
N은 N와 합동이다 ( 0 )
'
ex) E ,
=
,

' ' ' ' ' '

X스니 , 기대 , 사대의약수 (N

) A 41.33.44
→旦|추ㅁ
ex =

" 짜지지3.4 ) .ua )

余工州
동치관계네 " " . (212 ) , ( 3.3) (4.4) . q

ex) EU hoh.am# A는 D와 3의 배수만큼 차이난다 . 자동차관계만족

a=b ( mod 3) → 3으로 나는 나머지

31A b -
→ AD가 3으로 나누어진다 .

I) 반사 :
ANA 31 a-a.co

ii) 대칭 : AN b ⇒ b Na

31A b ⇒ 31ha -

iii) 추이 : a~bnb~c.in c

31A b -
A 315C ⇒ 31 (A b ) t ( b - -
C)

-
AC
池玔

디그계1.4턮럞쒎햎합안에서
다] R = 0.3.6.9 ...

줄들만 관계를 가짐

다] R 2.5.8.11 - - '

I언R =
013.6.9 '
' '

⇒ 서로관계가 있으면
I3IR 0,316.9 . "

동치류는 같다 .

동치뤠데그R 새 11재) ER h
x
Ry

!"#$%&'!(($)
a­
!"!#$ % &! $ ' ' ' ' ' ( ' ' ' ' ' ' (

및추가설명
'

관계 黜一
'

.
* 관계 수반대칭관계
' ' '
에 N은 N와 합동이다 .

,
N은 N오H의) 약수이다 ! 정의 3.3 (3 ) ( XM ) E12시에 ER ⇒ X재
a b

Pitch
AX13대 ( 이미 IAEA and BE Bh -
R :
반대칭관계 ( anti-symmetric.ru )
"

謳占 ex) IN.pa.us ) :
'

X는 4의 약수이다
'

4
,
자연수집합
P (재 ) , q ( 재 ) : 명제함수 (X는 니의 약수) 시내는 X의 약수 )

P ( a b) ,
:
T ⇒ AR , 차세대 MEIN ) A ( by X . b EIN )

q (a , b ) :

G대1에미1 Plain) Th 표현그군

F ⇒ at
: :
一姪 ⇒

⇒
a(

a
by ) 대

by y
=

Def ) RCAxB ⇒ A며

임의의 유한인 집합에서의 모든 관계의 갯수 =

부분집합의 갯수 : -
여 - 며 계대

정리 3.7 R : 반대칭관계 # R7R' CIA

여러가지 관계 Given R ( CAXB) ) 녀 ) 가정

1자반대칭관계
* : : :

'
IA : hca.cn ) IAEA Y항등관계 ( XM ) E RATE ⇒ (XM ) ERA에서) ER기
aka
Pi : =
h Cha) 1 ( a , b ) ER4 :
역관계 ⇒ (XM ) ERA (UN) ER

① 반사관계 : # XEA .CN MER ⇒R :

반사관계 가정귥 사니
시제
정리 ) R : 반사관계 셰IAER ⇒ ( XM ) EIA
'
20대칭관계 : ( 4M ) ER ⇒ ( UN) ER R 대칭관계 ,
:
( 셰가정 : RATE EIA
n Ry 4RX
에서 ) ER ( 4.X ) ER
( 비재) ER , if ( 4.x1ER # R : 대칭관계 ) n

"
" ⇒ ( XM ) ERA (XM ) ER
정리 ) R 대칭관계 :
PER
'
) 녀 ) 가정 : R이 대칭관계 ⇒ C재 ) ERM

( XM ) ER ( UN ) ER ( My ) ER
" ⇒ (XM ) EIA ⇒ X대 R : 반대칭

M R
÷
) R : 대칭 " 역관계 ex) A대1.213.44
"
) ( E ) 가정 : R = R ① 12=4 ( 1.1 ) . ( 1.2) . ( 1.3개
MR이 ( 1.1 ) CIA :-
반대칭
(XM ) ER ⇒ (XM ) ER" ⇒ MN ) ER R' G ( 1.1 )
=
,
12.1 ) , (3.1 ) 4
K
A
"가정 7역관계

③ 추이관계 2012대 ( 1.7.11.2) .

(
2.1개
반대칭X
( XM) ERn ( 4.러ER ⇒ ( XE ) ER R :
추이관계 RAM =
4세) , 11.2) , ( 211 ) h
ex) A대1.2.3.44

R지시.1 ) .
(2.2개 :
반사X 대칭이 추이0 * R 동치관계
: if 반사대칭추이
,

12개 ( 1.2) , ( 2.1 ) h :

반사X 대칭이 추이X
, ex) 12=4 ( 1.1 ) . ( 2.2) , (3.3 ) , ( 4.4 ) .
( 1.2) ( 2.1 ) , ( 3.4)
. .
(4.3 )
h
N
R 0 반사시대칭이추이0 동치관계
012=74,7
-

. (2.2) , (3/3)/(4/4) S :
반사이대칭이추이0 ⇒ R동치관계

io
IX] 二又 94EA1에서 ) ER4
繇拖에의해만許恐甁 -

月'ㅁ安 雩烹 ,

DAS 葦珂 며낺짃찘恣밊싾.it
(2.3) ,( 3.2 )
h

^ㅇ妾
12=7"7,132) , (3,3"4.4) h

!"#$%&'!(($)
!"!#$ % &! $ ' ' ' ' ' ( ' ' ' ' ' ' (

정리 3.10) R이 A에서 동차관계

(l) YXEA.NET

(2) ( XM ) ER 伊女汝

(3) ( XM) 4R 셰 IMT =

0

" 녀) 가정 : ( X y ) ER .

Z ET ⇒ ( X.tl ERA (XM ) ER

, 대칭
⇒ ( XE) ER A (y MER

⇒ ( 에러 ER

∴
Z ET

정의 A112대91XEA4 : R에 의한 A의 상집합 ( quotient set)

에 AIR.is ,
口惑
R2

에 月二 픐 ion (씀 . 승 ) ER :
동차관계
Ans
Il nr
=

때 1-

澁맞
A .

럐
'

4 (Min ) E2 ×

2. .
I ( 1.2 ) =

* 순서관계

점의 3.12 A에서의 관계 R이 반사 반대칭 추이 ,

,

⇒ R: 반순서관계 ( partial order에 relation )

⇒ A: 반순서집합 ( "
set )

if) A ( XM ) ER ' '

i! diagram)
.
선도 ne

' ' '

'
A는 10의 약수이다
' '
' '
ex) 스 , 3 , 드 ,

와) A =
9 1, 2.3.4.57

R= IAU ( ( 1.2) ( 3.1 ) ( 3.2) , ( 4.1 ) , ( 4.2) , ( 5.1 ) ,

( 5.2) , ( 5.3 ) , (5.4 ) h
d
, .

R 2

반뫫계 항등관계 I
'

T 千尸 ...

,
춋
비교불가능
3T 5

정리 3.4 R: 반순서관계

a. b EA 비교가 가능할때 ( AR b or b Ra )

⇒ R: 전순서관계 (Total order에 relation )

A: 전순서집합 ( " Set )

에 1N ( 자연수)

Ri h Lab ) EIN X IN I a 스마
선도
→

!"#$%&'!(($)
 연습문제 E) 항등관계 IN

P50 반사관계
INC R이므로 반사관계이다
1
.

대칭관계

임의의 AMEN 에 대해 야니이면 냐에를 만족한다 .

2 .
따라서 (MY) ER . (y MER 이므로 대칭적이다 .

(l) p (X Y ).
: X 74
추이관계
① 반사관계
임의의 에니 ,
Z EN 에 대해 ( XM ) ER 이고 ( 4.2 ) ER이면
임의의 XEA에 대해서 X개를 만족한다 .

샤니 Y =
Z이고 기대다 X= Z이므로 (X Z )
. ER이다
( X에 ) ER이고 R은 , .
반사적이다
.

② 대칭관계
임의의 NEA YE A X개이면 4개는 만족하지 않으므로 반사 반대침추이
6 반순서 관계
, :
,
,

대칭적이지 않다 .

A =
G1.2.6.84 선도
③ 반대칭관계 8 6
( 1.1 ) ( 1.2 ) ( 1.6 ) ( 1.8 ) IT )
임의의 t.it EA 에 대해 X개 ,
47X를 만족하는 그

( 2.2 ) ( 2.6 ) ( 2.8 ) .

경우는 야니이므로 R은 반대칭 관계이다 .

1
( 6.6 ) ( 8.8 )
④ 추이관계
반사관계
임의의 XM.EE A에 대해 X새.4EZ이면 XEZ이다 .

즉 , 메니 ) ER .
( YA) ER이면 에지ER이므로 R은 추이관계이다 .
41.1 ) , ( 지지 . ( 6.6 ) .
( 8.8 ) ER S
IX E A에 대해 ( X 이ER를 만족하므로 반사관계이다 . .

반대칭관계

3 .
R7M ⇒ ( 1.1 ) , ( 32 ) , ( 6.6 ) . ( 8.8 ) 이므로 반대칭 관계이다 .

R =
'
A 이므로 1제지 =
R =
M . :
대칭
추이관계

4 ,
임의의 에마 EA가 a Rb 이고 b Re 일때 ARC를 성립하므로 추이관계이다 .

5. 동치관계 :
반사대칭추이

(1 ) 7 .
동치관계 : 반사 , 대칭추이

반사관계 반사관계

임의의 X EN 에 대해 1가지는 5로 나누어 떨어진다 .

음 옴 = # a b = ab 信冶 ) ER 따라서 반사관계 만족한다 .

대칭관계 대칭관계

임의의 X . y EN 에 대해 마네가 5로 나누어 떨어진다면 음읎 셰 aol.ch

음 治伊 때 따라서 대칭관계를 만족한다 .

14지도 5로 나누어 떨어진다

추이관계
.

추이관계 許八諮 ⇒옴샀

Z EN 에 대해 니 ) ER 이고 ( Z)
ER이면 AM 매
임의의 지니 , (X .
Yi adn.ch/lcm=dn

1X대1 , 14-리 모두 5로 나누어지고 1 X -

Z1 =
( 1X대1 ) t ( 1나리 ) admzcbmxcmb.cl nb
역시 5로 나누어진다 .

admdnbam.hn
!"!#$ % &! $ ' ' ' ' ' ( ' ' ' ' ' ' (

4장.함수 * f: A →
B ,
G :
B → C

⇒ g of : ATC 합성함수
정의 ) AB :
집합 8CAxB 관계 B ^ At B95C

|
뷰 一昇 뷳 GA에
'
'

))
VXEA.tl E B (XM ) Ef
'

I)
'

St ( Y의 (
존재성 ) g of # fog
. .

( such that )
hfff.tk
'
-

행렬MXN # Nxm
.
. ,

T.int
.

4
- - -

II) If (에니 ) . Efncx.lk ) Ef ⇒ y , 대 . ( Y의 일의성 ) . 냐웨) ( G of ) (X) =

ga )
.
X A
⇒f 함수 (function ) 아사상
fog.RS/2.fcx)=i.gCX)=Xt3f:A-sB
:
A에서 B로의
예

gofl에 → ( ) =
g (fac) ) =
GC사) X구3 =

정의역 공역 2
→
(f og ) ( X ) = f( ga) ) =
facts) = GH3)
#
X nns
셋째테의 상 image f 의 (
그래프 :
11자1시 ) 1XEA1
Y의 원상 ( Pre image ) _
씨치역다Ag이 ( A) Page (f ) - 9세기 XEA ) } 정리) f : A → B g : B → , C ,
h: c → D 함수
i) ho ( g of) =
( Ng ) of II가 o솕 二每 of

f : A → B , G:A → B ATC BSD

A → D A끼)
f.ge YXEA.fat.ge )

* 함수의 성질 예제4.7 ) Al1.2.3.47 B ha.b.ch

정의) AB'집합 f : A기3함수 1) h ( f : A기3 ) =
34

l) YX.X.EA.fr/i=f(X2)#XiX2f: 단사함수 2 ) 7 ( f : At B전사) = 4C2X3 !

2) HAFHMXEAG-Bi.fi 전사함수 3) n ( f :
At B단사) = 0

3) f 전사단사 # f : 전단사 함수 ( 일대일대응함수)

.
i d F
f At
에 A-t B
정리 4.2 :
Big :
B → C 함수

jj
단사함수 A B
ones
X 의네 . )
I) f g .
:
단사함수 ⇒ G Of :
단사함수
.

i 玉乍財 . )
i ) if ( gofl네 . ) = ( goflth)
⇒ g (fail =
G ( f (X2) )

G 단사:
⇒ f ( XI ) =
f (X2)

f f 판사 ⇒ X 제2
B 전사함수
.
-
A

후NF의
The "
지역과 공역이 같은함수 of 단사 :

XEA
엩넯뜞
배EB 그

The 서 f.gov 전사함수이면 gof 전사함수이다 , .

( G of ) ( A ) =
G (f ( A ))

g ( B)
=

周刀秊
e
전단사 함수

iii) f g 가 전단사이면 , Gof 전단사 함수이다 .

iti 증명

정리 4.3 ) 함수 f : At B .
G : 13tC에 대해

f A → A 항등함수 (i ) 90£ 단사 ⇒ f 단사 ( 예제 4.8 )

ftp.a 상수함수
: :

부 fac) = X ☆) Show 외에 ) ( X2) , NINE A

"
이A에 .IN) ⇒ G (GM ) ) =
gap) )
⇒ ( gofl에 , ) =
( G of) (X2 )

f :
AxA -1A :
기함함수
✓
( 재) nsf (재 )
( ID G아 전사 전사
+ Z XZ -7 Z f ( A) CB , G ( B ) CC
.
(A, b ) at b ( G of ) ( A) =
G ( AA) )
=
C
( an rest
=

C =
G (f ( A ) ) CG ( B) ( C
.
:

:
g ( B) C
-

!"#$%&'!(($)
!"!#$ % &! $ ' ' ' ' ' ( ' ' ' ' ' ' (

정리 4.4

1) 항등함수 속는 소A A : → A는 전단사 함수이다 .

2) f : A → B , G: B→ A

if g of =
IA ⇒ f : 단사 g 전사 :

정리 4.5 f: A →
B . G:B→ A

if g of 二右 f og = 소 . ⇒ f G 전단사 함수
.

4
f 단사 G전사
:

정의 4.3 f: A → B 함수
if) g :
B → A St g of 二名 fG =
1B
.

g : f 의 역함수
"
=
f

A in
정리 4.6 f: A → B 전단사 함수

⇒ ftp.t A 전단사 함수

) of 함수
'
:

i) ㅂ YE B : ㅋ XEA

f' ( y ) y = f(X)
'
St .
( y , X) E f 씌 =
X →

'

if 의 전사함수 X의 존재성

ii) If
"
(y ,
E fl n (
Y . Ef
⇒ f' ( y ) =
X, n fin ) =
X2

⇒ 냐 fcx.in 니다에2 )
⇒ f ( XI ) f X2 ) =

⇒ K =
X.

A의 단사함수 X의 일의 성

② f' 단사 :
# f 의 니의 일의성

if f " ( y f
"
. ) =
X n (
4IX
⇒
yifcnnyi.fm
⇒ 에대2

③ f' 전사 : # f의 니의 존재성

!"#$%&'!(($)
연습문제 R60

l.
!"!#$ % &! $ ' ' ' ' ' ( ' ' ' ' ' ' (

뎅리그
5 .
농도와 무한집합 .
X :
가부번 집합 ,
YCX.it Y 무한집합 .
⇒ Y 무한집합

데데킨트가 정의한 무한 집합의 정의

'
가산 집합의 모든 부분집합은 가산집합 .

A의 어떤 진부분집합 BEA 에 대해 A 2B이면 A는 무한집합 - A: 유한 집합 B : 가부번 집합

,
⇒ AUB :
가부번 집합

.HR :
가부번 집합 ⇒ A색 가부번집합

⇒ AU B :
가부번집합
Theorem

(1 ) X :
무한집합 ,
X C Y ⇒ Y :
무한집합

(2) Y : 유한집합 ,
X C Y ⇒ x :
유한 집합

Theorem

f: x →
Y 전단사함수

( 11 X :
무한집합 ⇒ Y :
무한집합
(2) X :
유한집합 ⇒ Y : 유한 집합

Theorem

집합 X가 무한이고 Xo EX 이면 X -

4X이도 무한 집합이다 .

[ 예제 5 11.

(1 ) 자연수의 집합은 무한집합이다 .

증명 ) A는 짝수들의 집합이라 두자 .

함수 f :
N → A . f (X) 제 =

1) f 단사함수

X, . X . E N 에 대해서 , f (XI ) =
f ( X2) 이면 제 i 제2이고

4, =
X2이다 .

2 ) f : 전사함수

모든 y E A 에 대해 f ( X) 대가 되는 X =
412 가 N에 있다 .

따라서 f 일대일 대응 .

N 2 A 이므로 N은 무한 집합이다 .

(2) [0/2] 은 무한 집합이다 .

증명) A =
[0-1] 두 [0/2] 에 대해

f. [ 이 ] → [0/2] 의 함수가 일대일 대응을 보이자 ,

[ 예제 5 전 .

(l) N X N 은 가부번 집합이다 .

증명) 함수 f : N x N → Z 를

f (i , j) =
i 3'

로 정의하자 . 그러면 f 는 전단사 함수이다 .

N x N 2 Z , Z N

따라서 , NX N IN

(2) Q ( 유리수 ) 는 가쒠집합이다 .

증명) Q 이 =
U 1이 V Q

이가 가부번 집합임을 신이자 .

함수 f : Qt → N x
N를 f ( q P ) = ( p . 8 ) 로 정의하자 .

따라서 f 는 전단사함수이다 .

그럼 이는 가부번 집합이다 .

이 205 이므로 Q가 가쒠 ,

따라서 , Q가부번 집합

!"#$%&'!(($)
!"!#$ % &! $ ' ' ' ' ' ( ' ' ' ' ' ' (

P.60
P. 101
4.fi A → B가 전단사이면서 :
B → A는 전단사 4.4 ) 2280.648

함수 f 가 전단사이기 때문에 5' : B → A는 함수이다 .

유클리드 호제법

외세 ) 사 '
⇒ f (X) f( X) 2280 648×3+336
-

( Y2) Y y
=
=
X =
X =
,
=
.

⇒ Y-Y 648=336×1 +312

ft 은 단사함수이다 .
336=312×1+24

또한 함수 f 가 전사함수이므로 f ( A ) =
B이다 .
따라서 f' ( B ) A이므로 이는 전사함수이다
=

.
312=24×13+0

i. f' 은 전단사 함수이다 .

:. 야24

2280Xt 648¥ 24

먼저 , 2280을 A . 648을 b 라고 두자 .

첫번째 식에서 336 = A b석

6.fi At B 함수 90F가 전단사함수 이면에 단사 G가 전사
-

g B C가
: →

f Show ) f(x . ) = for) M N2 EA 두번째 식에서 312 =

b -

336시

⇒ G ( 위에 ) ) =
g ( f( X리 )
=
b -
1 x ( a -
b X3)

⇒(
Gofl에 ) ,
= ( g of) ( X리 =
b -
at 35

⇒ X. 제2 = 4ha

∴
F는 단사함수 세번째 식에서 24 -
336-312시

if ( A ) ( B g ( B) CC =
(A b X3)- -
1시 4ha)
g : .

( G of ) (A) G (AA )) C
a-3b-4bta.GG
= = =

( f (A ) ) CG ( B ) CC =
2A-7 b
i
G (B ) =
C : .
24 = 2X2280
-

74648

9는 전사함수 야2 마개

P. 72

3.

k) A가 무한집합이고 A드B이면 B는 무한집합

A의 어떤 진부분집합 BGA에 대해 A2B이면 A를 무한집합

함수 f :
B TA

n f 판사함수

에 .ME B에 대해서 fail 서서 이면에 제2이다 .

2) f :
전사함수
모든 YE A에 대해 GX계가 되는 X가 B에 있다 .

따라서 f 는 일대일 대응이다 .

132A이므로 B는 무한집합이다 .

(2) B가 유한집합이고 A드B이면 A는 유한집합이다 .

서A가 무한집합
A드B

A가 무한집합이면 B는 무한집합이여야 한다 ( 모순 ) .

따라서 A는 유한집합이다 .

!"#$%&'!(($)
 P. 72

l. 더 .it 과 I-2.21

f: A → B f ( X) =
제

111 f 가
단사함수
X, ,
X2 E N 에 대해서 , f(X . ) =
f ( X2) 이면

24. =
242 즉 XI =
X2 이다 .

(2) f 가 전사함수
모든 니 E £2.21 에 대해 f (X) 대가 되는

쟈니스 t £1.1 ] 에 존재한다 .

24) 유리수의 집합 Q

양의 유리수 . 다음의 유리수

아이이애V
QQt → NX N 를 f ( 81P ) =
( q.pl 타 가정

( 11 f는 단사

(R . G) ,
( R , G2) EN 에 대해 ftp.iq . ) =
ftp.q 지면
Pi R . 91=92 따라서 단사함수 ,

(2) f 는 전사

모든 q.PE N에 대해 f ( Gap ) = ( GP ) 를 만족하는

함가 이에 존재한다 .

이 2 NXN 이 무한 집합 ,

0in Qt이므로 무한집합 .

미 실수의 집합 R

자연수의 집합 NC R ⇒ R 무한집합

(3) 짝수의 집합 A

f A : → N f ( X) =
제

4 .
A → B가 전단사

4) A :
무한 →
B : 무한
8. 약수와 배수
I정리 7.11

4) al b 이고 미C이면 A1C이다 .

⇒ b = Am , E bh , min EZ

⇒ E bin = Amen = 9Cmn )

따라서 al C

(2) bla 이고 b 1C일 필요충분조건은 임의의 MinEZ에 대해 미 ( Mat ne ) 이다

.

(t) 가정 bI a and b IC 가정 blmatnc.m.ME Z

;
( ←)

⇒ a
bpandebq.p.GE Z ⇒ ifm-t.no bla

⇒
matncimbptr.bg
⇒ ifmo.nl 미 c

b ( mptbq )
=
따라서 b (a and blc

따라서 미 (
mptnq )

유클리드 호제법

예제 7.3

4의 배수 C . 이가 4의 배수

8의 배수 끝세수가 8의 배수

10의 배수 이가 0 .
 8 유클리드 기하학
.

유클리드 원론
-

공리적 방법을 사용해서 최초로 광범위하게 수학을 전개

공리
-
이론 체계 가운데에서 가장 기초적인 근거가 되는 명제

다른 명제를 증명하기 위한 전제로 이용되는 가장 기본적인

-

평원군
-
증명이 연역적 (명제가 경험적 X )
-

적은 수의 초기 가정을 통해 많은 수의 정리를 이끌어 냄

공리계가 만족하는 조건

무모순성
-

독립성
-

완전성
-

일반성

유클리드 원론의 결함

원인 : 수학적 진리란 무엇인가? →

사내가 지날수록 수학이 발전

묵시적 가정들
-

무정의 용어를 인정하지 않은

일

직선의 크기는 무한하다

-

순서의 개념을 무시한 일

-

도형의 운동을 가정한 일

9. 도형의 변환
ㅅ

倉浮戀 니Z

점
魏愍:멅
에서

(X 제
.
,
.

7)
)
 '
XE ( AUB ) # X4 AUB

4) r⇒q ( par ) ⇒ ( PA8 ) # X4AUX413

XEA' U
'
TT T #
T T TT T T XEB

T ㅜㅜ T XE ( Anti
F T TFF

TF T F F T F TF FTF TFT.IT
F F

FFF

② N
(p →
q) ~ ( 생 →
NP ) (1 ) 10반사관계 哭亨
T t F T
F
T.TT Han EZ 에 대해 음음 를 만족

TTFFFFTTFT.TT
T T 下下

T.TT T

F T F
F
 (l) f 가 전사 함수이므로
y EB에 대해 , CX , y ) Ef
인 NEA 가 존재 따라서 임의의
.

4EB에 대해
내 . X) Ef' 인 NEA 가 존재한다 .

f 가 단사 함수이므로 ( 니 , X) E의 이고 ( y, X2) Et
'

이면 ( Ni i
y ) Ef .
( X2 ,
y ) Ef 이다 이때 에 제2
.

이다 .

(2) f N f (N) =
'

.
→
3의 배수

348=243 t