, , , . ( ) , , . , .. , . .
:
;
;
.
- , . , - λ. Ȼ , λ - . :
A1, A2,..., An, .
, A1 n , 1 n , ».
(1)
(2) z
z
= 2.
= 0 , , .. . 55,847 ...
, , , , . , , .
, , . , , , .
. , :
(1) z
(2) z
(3)
, . , , , ; , , . , ( , , ), , , .
|
|
, .
- , () () . , . , (. 1.47).
. 1.47.
, , . . , . , , . , -, , , .
: | ||
: | ||
: | , , , ,... | |
: | 30-220 | |
: | 1 - 200 | |
: | ||
: |
, , , .
.
1. . , , .
2. . , , .. , - , - , - .
3. . , . (), ().
4. . , .. . , .
5. . - , . , .
- , , , , , . . : , , , , , . , , 1- .
|
|
- P(t1, t2,..., tn), - . , , ; t1, t2,.... tn , () .
:
1) ( );
2) ( );
3) f(t1, t2, tn), m t1, t2, tm.
.
1.
(, ).
- ; - -. .
- :
(, )
(X,Y).
.
2. + 1 < (,). , x + 1 < , .
, - , . .
, 2 = , Y = , = , Y = . 2 2, = 1, Y = 3 X =3, Y =1.
(): ^ (, ), v (, ), ~ (, ), → (, ), ↔ (, , , ).
, , - , A .
:
1) ;
2) - , , ^, v , → B, ↔ - ;
3) .
, - . ( All - ) - ( Exists - ). " x , ; $ - , . , , .
1.12 ( - , - )
^ | AvB | ~ | → | ↔ | ||
.
: () - ; () - . () → () : , , , (Vx) (A(x) > ()) : , , .
, . , 1, 2,..., : 1, 2,... → , :
|
|
:-1, 2,...n
(: B1 2 ... ).
, , . , 1, 2,...,- .
, : .
-
:-1, 2,...,,
:-.
. : - » ? - », :- 1, 2,.... ? 1, 2,.... .
. , : - ( > ) - : ~ B v ( ). , , ~ - . ← B1,..., ~ { B1^B2^...^Bn), ~ (X^Y) = (~ X)v(~ Y) (~ B1)v(~ B2) v... v(~ Bn) - .
( ).
.
: . :
- .
- .
- .
D - .
- .
:
, .
, . . .
:
:-;
C:-B,D;
;
D.
. , D :-, D , :- - , .., . , :- :-, D :-, D.
, .
. ,
: ~ : :-.
:
, . :
,
,
.
:
: ~
: .
- .
~(1^... ^n)
Ak:-B1,...,Bm 1 £ k £ n.
~(A1^^Ak-1 ^B1^^Bm^Ak+1^^An).
, - B1,... , Ak . ( ) 1, 2,..., An. , , . , , , , . , .
|
|
.
(,Y,Z) , X Y Z, (X, Y) , Y Z.
1) (, ):- (, , );
2) (, , ).
, , , : ?
-(, ). 1 ~ (, , ), 2 . , .
. , , , .
.
.
:
1) ~ (. );
2) (X, ):- (Z, , X).
X,Y Z, . , 1 , Y Y, 2 - Z , Z X. 1 2. , () 1 2 : = , Y = . (, ) ( Y) (, ).
.