` . ³ . . .. . 1973 . , . - DEC-10, , . , ` .
, . ? , , . , . , . , , . , , : , . , .
: . , . - . - . , , , .
. , . , ( ˲ ) - ̳ . . , , , , , .
|
|
1.2. .
:
1. , .
2. ( ) .
3. , , .
4. - .
5. , . .
6. . .
.
1. , ` .
2. ( ).
3.³ .
4. .
1.3. - .
, . , . 쳺 , , - .
, , . , , .
:
1) 1,2,...;
2) 1,2,...;
3) f1,f2,...;
4) p1,p2,...;
5) ¾>,&,È,~,",$;
6) .
` . `. `: (and, &), (or,È), (not, ~) (¾>). , ..., ....
, - .
, , . (") ($).
`, , . , . ` , .
|
|
: (t1,t2,...,tn), - , t1,t2,...,tn - .
. :
1) - ;
2) - ;
3) n, t1,t2,...,tn - , f(t1,t2,...,tn) .
() `.
. ¾> , ~.
- , . :
~ ~ <¾ ¾> .
.
1.4. .
, . , . , - .
. . , , . .
ϳ n ( n - ) .
. :
(; , ; , ; , ).
. , () ¾> .
³ n (, ). . , (, ) , (, ) .
, .
ϳ : , , . ³, - . .
.
, .
a .
b .
.
f, :
f(c) .
, :
P(a,b) .
P(b,a) .
P(c,a) .
P(a,c) .
P(b,c) .
P(c,b) .
P(b,f(c)) .
P(f(c),b) .
P(a,f(c)) .
P(f(c),a) .
P(c,f(c)) .
P(f(c),c) .
.
, . . , , , , . , , .
|
|
1.5.³ .
, . . . .
, , .
,
& ~ .
. , ` &, È ~.
. - , ` È. . :
1 È 2 È... n È N1 È N2 È... Nn, P1 ... Pn - , N1... Nn - . . ij, , ¾> : ~ È . È ~ .
. , - . , È È ~ È ~D , D.
. , ` &. , . , <¾ ~, ~D.
` , . - , . . , È ~ È ~ È ~D <¾ , , D - : ~, , D.
, ( ) . .
. , , - , , (). , P(a,b) È ~Q(c,d) Q(c,d) È R(b,c) P(a,b) È R(b,c). , , .
:
|
|
() - ~() - . . , .
, , , .
.
(), ϲ(). :
ϲ() ¾> ().
, - , - .
, , . :
ϲ() ¾> () (1)
ϲ() (2)
~() (3)
(1) ~ϲ() È (). : (1) (2). :
~ϲ() È ϲ().
` ` È . , . , (). - :
(): - ϲ().
ϲ().
? - ().
1.6. .
, , . , :
: -1, 2,..., n.
: , 1,2,...,n .
, , 1,2,...,n . n=0, .
, R(x,y).
( , ), . , , , . , , 1,2,...,n . , , - . , .
- .