' "

"

"
"

P .
Q .
?
.1 .P Q P
Q.
Contra P osotive .2 P
.Q


.3 P
P Q
) ] ...
[(.

1.3

: A
B
.A B

) (T )) .(F !!!(.
.

) ( ) ,.(...

"" "".
) ( ) P,Q,R,S
] [(.
T F , .
.
f T .F
) f (A A .f
f (A) = T f .A
.T
A, B . ) f (A) = f (B ,f
A B . A B :
A
T .
A F
.

1.1

1.4.1

DN F

: DN F
:
D1 D2 Dn Di = Di
,Ai1 Ai2 Aik Aj .
CN F

1.4.2

: CN F
:
C1 C2 Cn Ci A1i A2i
, Aki Aj

""
Q PQ

F
T
F
T

F
T
T
T

P
F
F
T
T

""
Q PQ

F
F
F
T

""
P Q PQ

.P Q P Q .1
.P Q P Q .2

1.2

1.4

DN F CN F

.P Q : ,
: )(
.:
1

T
T
F
T

F
T
F
T

F
F
T
T

P
F
F
T
T

F
T
F
T

"XOR
Q
F
T
F
T

PQ
F
T
T
F

"

P
F
F
T
T

"" )"(
P Q
PQ

T
F
F
T

F
T
F
T

F
F
T
T

: P ,P
) T F F .(T

 ' "

"

A\B = {x ; (x A) (x
})/ B

})A B = {x ; (x A) (x B

n
o
A = {x ; (x
)/ A)} = x ; (x A

4.1

)(

= A B ,A B
=AB
.A B

4.2

II

,:
) ,P = (x A) , Q = (x B:
,A B = P Q : :
.A\B = P Q

:
)
,
(...
} A = {, 1, 2, ,
a A a ,A.1 A :
.4
a a ,A/ A :
/A
:
}A = {x; x > 12, x N
. = {} :
A B A B : A .B
).(x A) (x B
A ( B A B ,
B .A
A = B A B : .B A ::
).(x A) (x B
A B ,:
} {1, F}.{i, b
.
}) A = {x ; x A .(A
: a) a | b (b k Z
.a k = b
c) c - d .(d 2 | 6 : ,2 3 = 6
.6 - 2 :

) (

:
A, B , ,a A, b B )(a, b
.
).(a, b) 6= (b, a
RAB
R A B
) (a, b a A.b B
A B .
AB AB
) (a, b a A.b B
:
R A A .A
:
a, b A R .A )(a, b
R :
) (a, a .aRa
(a, b) R ,aRb / R :

5.1

A R :
5.1.1

R a A) (a, a) R ::
.(aRa
5.1.2

)(a, a
R a A/ R :
).( aRa :

})A B = {x ; (x A) (x B

})A B = {x ; (x A) (x B

5.1.3

R a, b A.aRb bRa :
2

 "

5.1.4

' "

5.2.5

: S .A Rs
A (x, y) Rs :)( x y
.S Rs .S

R a, b A
.aRb bRa a = b

Rs : .
5.1.5

R a, b, c A:

aRb bRc aRc

R A B : A .B

5.2

= A 6 R .A R
, , R .
5.2.1

f A B : A B a A
b B .(a, b) f
f (a, b) f ,f (a) = b:
.f : A B
A .f

: m

f Range (f ) : ) Im (f :
})Im (f ) = Range (f ) = {b B, a A, b = f (a

: ,m N ,m 2 Rm Z Z
:

) ,a A, b = f (a : a A ).b = f (a

}).Rm = {(x, y) ; x, y Z, m | (x y

).f (A

: ,m 2 Rm .
: (x, y) Rm .x m y :
.2 4 6 :
5.2.2

6.1

6.1.1

= A 6 .

: R ,A .x A
x R ,[x]R : :

IA : A A " IA (x) = x x A
: .A

}.[x]R = {y A; (x, y) R
,

.
,x , y x .

6.1.2
(
1 xX
= )x A; fX (x
0 otherwise

, 4 :

, A
) X (1 ) X
.(0

}[2]4 = {y Z; 4 | (2 y)} = {. . . , 2, 2, 6, 10, . . .

) [0]4 , [1]4 , [3]4 : 2
(.
.[2]4 = [10]4 = [6]4
5.2.3

0 ) 1 (.
0 1
) ,
(.

6.1.3

: = A 6 S = {S1 , S2 , ...} .
A :
Si 6= . .i
S
. Si = A .
Si Sj = . .i 6= j
5.2.4

: f .f : A B
: :s, t A ) f (s) = f (t
.s = t
6.1.4

= A 6 R A A .
R .A
3

: f .f : A B B b B
a A .f (a) = b .B = Im (f ) :

: f (x) = x + 1:
,f : N Z ,

 ' "

"

) ( ,
Z 3 b = 5 a ,f (a) = b:
] Im (f ) 6= B [= Z .
6.1.5

) (A," .
) P (a .a A

.h : A C ,g : B C ,f : A B :
h " )) h (x) = g (f (x x A
1
f g.h = g f :
f : A B : g : B A
g (f (a)) = a ,a A .f (g (b)) = b ,b B
g ) .f :
g f = IA .(f g = IB
f : A B : " .

7
7.1

.1 ) P (a a .A
.2 ,a A ) P (b b A
,b 6= a, b a ).P (a
) P (a .a A

III

8 )
:(2
) P (n .n N
:
) .1 ( ) P (n0 ) .(n0 N
) .2 ( n0 n N )P (m
m N n0 m < n
).P (n
) P (n ) .n0 n N :
, .(...

R A A .
a A .a = x aRx
b A .b = x xRb

7.3

: A R A A .
: , ,.
) (A, R ) ."(.
.(N, ) :
R A A : ,A
a, b A aRb bRa R .
) : ,
( .) (A, R .
: aRb bRa a b
.
) (A, R
R .

7.2

7.4

:
" .

: )
(...
) (A, .
a A .a = x a x
a A .a = x a x
(A, ) : ) (A, "
B 6= ,B A .
: .
) (.
(A, ) :
B 6= ,B A )
(] . " "
. [.
1 "
" " .

9 )
(:
) P (n .n N
:
.1 ) P (0.
.2 ,1 n ,n N ) P (n 1
).P (n
) P (n .n N

2 , ,
.

 "

' "

IV

.3 A B , A B :
:
|.|A B| = |A| |B

11.2

) 1(3

.1 A1 , A2 , . . . , An ) ,
i 6= j ,(Ai Aj = ::
 n

n
[  X


| |Ai
=   Ai


i=1

i=1

.2 B1 , B2 , . . . , Bn:

10

| |Bi

n
Y

= | |B1 Bn

i=1

) ,
"" (.


.3 {0, 1}n  = 2n :

10.1

) (...

: I
A I B : f : A B.
A
".|A| :

: R A B a A:
|{b B, (a, b) R}| = t|R| = t |A| :
: ,|A| = n:

.|P (A)| = 2

: A = A
0 < n N }.A I {1, 2, . . . , n

12

k n

= A .|A| = 0

k n .

} A I {1, 2, . . . , n .|A| = n
A : .

10.2

A = {1, 2, 3, 4, 5} :
.

k N "
:
} {1, 2, . . . , k + 1}.{1, 2, . . . , k

12.0.1
:

] .[Dirichlet

11

:
.

11.1

12.0.1.1 / ,

, , k = 5
{1, 5, 3, 4, 3} :} {1, 2, 2, 2, 4 ,
k , ,
" .
, k > n
0 ,
n .

) (

.1 A B ),(A B = :
A B : :
|.|A B| = |A| + |B
.2 C D ,C D D\C :
:
|.|D\C| = |D| |C
5

12.0.1.2
) ( , ,
:k = 3
= } ,{1, 2, 5 ,
}6 {2, 1, 5
" ...

 ' "

"

12.1 k n

12.4 k
n

,A k
:

{1, 2, 2, 3} = {2, 1, 3, 2} = {3, 2, 1, 2} = . . .

:


n+k1

= }) {1, 2 .(k = 2 ,
}6 {2, 1
} {3, 3 , .
, ,
:
))n (n 1) (n 2) (n (k 1
: k = n ! ,n
.

12.2 k n

, , , ,:
{1, 3, 4} = {3, 1, 4} = {1, 4, 3} = . . . ,
,
, :
))n (n 1) (n 2) (n (k 1
!k
"
!n
!). k!(nk

!)(nk
!)(nk

) ( :

:
!n
!)k! (n k

 
n
k

" n ."k

k < 0 : k > n n < 0
. nk = 0
,
,n k
.


12
) : ,|A| = 12 A 12 ,
4
4 A
]).([P (A

12.3 k
n

,
,
.
. nk :

n1
?
,
:
) (k n
.
:

, :

1 2 3

:
=
=
=
:
.
' ' ,
...
" , :.

) (n 1 ).(k
" ) n + k 1 (= n 1 + k.

)" n 1( .
n 1
) n+k1 :
," n 1(.
, :


n+k1
n1

:


n+k1
k

13

) (

13.1
n
= 2n

  n
X
n

k=0

 ' "

"

: 0 n= 1 :
. n1 = n

13.2

n
0

, 1 n:

n
k

14.1.1

10 ,
4 .10
, :
"
:
} ,{1, 2, 3, 4, 5, 6, 7, 8, 9, 10 ,
) 4 ({1, 5, 6, 9} :

) ,

10
, , ( ," 4 10
)
" "10 10 ,
10 , 1 10

1
) ((.

0 k n:

  

n
n
=
k
nk

13.3

14.1

k n

0 k n:

  
 

n
n1
n1
=
+
k
k1
k

15

) ,
, (

13.4

) (...
15.1

| |A1 A2 | = |A1 | + |A2 | |A1 A2

0
0

15.2

1
0

1
1

2
2

2
1

n = 2

n = 3

2
0

3
3

3
2

3
0

3
1

| |Ai Aj |+|A1 A2 A3



3
3
[
 X
X


|Ai |
=   Ai


i=1

1i<j<3

: .
.

1
1
1
1
1

13.5

1
2

3
4

1
3

15.3

1
4

A1 , . . . , An ,:



n
n
[
 X
X


|Ai |
|Ai1 Ai2 |
=   Ai


i=1
i=1
1i1 <i2 n

X
+
|Ai1 Ai2 Ai3 |

(x, y 6= 0) x, y R .1 n N
:


n
X n
n
= )(x + y
xk y nk
k

1i1 <i2 <i3 n

k=0

14

i=1

.

...
: .
7

|Ai1 Ai2 Ai3 Ai4 |

1i1 <i2 <i3 <i4 n

| |A1 A2 An

n1

) (1

P
n , ,

....

 ' "

"

III

. . . . . . . . . . . . . . . . . . . . .
1.1

. . . . . . . . . . . .

1.2

. . . . . . . . . . . .

1.3

. . . . . .

1.4

DN F . . . . . CN F

IV
10

. . . . . . . . . . . . . . . . . . . . .

10.1

1.4.1

. . . . . . . . DN F

10.2

. . . . . . . . . .

1.4.2

. . . . . . . . CN F

. . . . . . . . . . . .

. . . . . . . . . . . . . . . .

) ( . . . . . .

4.1

)( . . . . . . . . . .

4.2

. . . . . . . .

. . . . . . . . . . . . . . . . . . . . . .
5.1

5.2

11

12

. . . . . . . . . . . . . . . . . .
11.1

) ( . . . .

11.2

) 1. . . . . . . (3

k . . . . . . . . . . n

. . . . . . . :

12.0.1

12.0.1.2

. . . . . . . . . . . . . .
5.1.1

. . . . . . . . . .

5.1.2

. . . . . . .

5.1.3

. . . . . . . . . . .

5.1.4

. . . . . . . .

5.1.5

. . . . . . . . . .

. . . . . . . . . . . . . .
5.2.1

: m

5.2.2

. . . . . . .

5.2.3

. . . . . .

5.2.4

. . . . . . . . . .

5.2.5

. . . . . . . . .

. . . . . . . . . . . . . . . . . . . .

3
3

. . . . . . . . . .
6.1.1

. . . . . . .

6.1.2

12.2

k
n

12.3

k
n

12.4

k
n

6.1.3

. . .

6.1.4

. . . . . . . . .

6.1.5

. . . . . .

. . . . . . . . . . . . . . . . .

7.1

7.2

. . . . .

7.3

. . . . . . . . . .

7.4

4
8

) ( . . . . . . .

13.2

n . . .


. . . . . nk

13.3

. . . . . . . . . . . . . .

13.4

) (...

13.5

. . . . . . . .

. . . . .
14.1

k n .
14.1.1

15

. .

12.1

13.1

14

12.0.1.1
/ . .

k
n

3
13

5
5

6.1

)
(. . . . . . . . . . . . . . . . . . . . :

. . . . . . . . . . .

II

)
(. . . . . . . . . . . . . . . . . . . . :

1
1

7
7

m . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . . . n = 2

15.2

. . . . . . . . . . . . . . n = 3

15.3

. .

15.1

http: // www. letach. net