, , , É Ø , , , . , , . , . , , , : 1) , 2) . :
1.1. ( "), :
(x/ y, z1, , zn)
______________________ , y , z1, , zn .
"x A (x, z1, , zn)
1.2. ( $), :
(x/ t)
___________ .
$x (x)
2.1. ( "), :
"x (x)
___________ .
(x/ t)
2.2. ( $), :
$x (x, z1, , zn)
______________________ , y , z1, , zn .
(x/ y, z1, , zgn)
A(x/t) t A(x) x.
V
A(x) $x(P2(x,y)ÉQ2(x,z)). , , y , , z , , P2 , , Q2 , , , , , .
, $x(P2(x,y)ÉQ2(x,z)), , , y z, . , , y , , z , , P2 , , Q2 , , , , , . ( ), . t x ( x), , . (x/ y, z1, , zn) y x (x, z1, , zn). y ; z1, , zn , ( ), ( ). , , (. . ). , . , , .
|
|
V
x + y = y + x, , x y , x y. , , , . , x + 5 = 8 x , . , x , . . . , .
, , , , , . , , . 4- 1- 2- , "xA $xA.
|
|
V
|- Ø$xØP(x,y,a)É"xP(x,y,a) :
_______ _______________________ | 1. Ø$xØP(x,y,a) . (1 ). 2. ØP(x,y,a) . (4 ). 3. $xØP(x,y,a) $, 2. 4. ØØP(x,y,a) Ø, 1, 3. 5. P(x,y,a) Ø, 4. 6. "xP(x,y,a) ", 5, x . .; y . 7. Ø$xØP(x,y,a)É"xP(x,y,a) É, 6. |
, , , , ( ).
I. 1) 2) ?
II. ?
III. ?
VI. ?
V. ?
VI. ?
VII. , ?
VIII. , , , ?
IX. ?
IV