1
" , ".
:
. .
. .
. 5 2004
. .
. . . . , . .
, . , , .
.
, , , . , , .
, . , . ( ) , . . III , . . , : p→q : , .
. - , .
.
XX . , . (, , , .) , , . , . , , . : , , , , , , , , .
|
|
. , XIX , ( , .. ).
. , . (, , , .) , . , . , , . , . , , , . , , (, . ).
. , . , . , , , . . , .
, , . . , . , , , (334 322 . ..). , , , . . - . : , , . : , , , , , .
|
|
, : . :
- a, b, c, - . , .. ;
- x, y, z, - . , , ;
- p, q, r, - . .
- P1, Q1, R1, , Pn, Qn, Rn, - n ;
- ; - , ;
- :
;&;ˆ v; v; →; ; -; ; | - (); - (, , ); - (, ); - ( 腻); - (, , ) |
- : (;) .
.
() . .
, .
:
1. -, , :
()
()
()
()
( )
()
()
2. :
" "
(S(x) → P(x)),
" "
(S(x))
" X"
y ( X(y))
" "
( P(x))
3. :
(S(x) → P(x))
.
(S(x) → P(x))
.
(S(x) ˆ P(x))
.
(S(x) ˆ P(x)).
.
2
" "
:
1. .
2. .
.
, . , . , , .
. ? . , .. , , .
. , , . , , . , :
. 5
- = + .
- = + .
- = + .
, , , . . . . ( -, -). ( ). , , . - , . , ( , . , - ).
|
|
, , . , : S P, S (, ) P (, ) , :
: S P. . , . , , , (334 322 . ..). , , , . . - . : , , . : , , , , , .