2.
2.1.
(18151864).
1. n f, . , n , 0 1, 0, 1.
n - .
1. n .
.
2. , xi, ,
.
, ,
0 0 | |
0 1 | |
1 0 | |
1 1 |
1 , .
, n , n , , .
, , , :
0 0 | ||||||||
0 1 | ||||||||
1 0 | ||||||||
1 1 |
, , , , , , , , 2, , .
, .
2. , , :
.
3. , , :
.
3. , , ,
, , , .
, , .
,
0 0 | |||
0 1 | |||
1 0 | |||
1 1 |
, ,
0 0 | |
0 1 | |
1 0 | |
1 1 |
4. R , R R.
|
|
5. , S, .
.
1. . , , , .
2. . , , .
.
4. S S ' , : S S S '. S ' .
, , S. ,
.
S, ,
,
2, a .
.
: , .
.
2.2.
6. 0, 0, , .
7. 1, 1, , .
8. ,
.
9. , . S.
5 ( ). , .
:
.
, .
.
10. , , , .
11. L ,
,
"+" 2.
, . , , , , .
.
6 ( ). , T 0, T 1, S, M, L F , .
|
|
T 0 | T 1 | S | L | ||
fi | (+ ) | (+ ) | (+ ) | (+ ) | (+ ) |
"+", , , , "" . , F , , , .
. , , , .
1. , , , .
2. , .
3. , , , .
4. , : .
, . .
12. , , .
7. .
. , :
.
2.3.
-
, , - .
- () . , , . : . (). , , ; . x, 1, , 0 .
, x, x, . , x x 1, 0. .
f, 1, , 0 . f, , , , . , . , . , .
: . . . . , . .
. .
x |
y |
x |
y |
y |
z |
. , , , x , y. : .
x y : .
|
|
, , y z. : .
:
.
, , , , .
3.
() . . . , . , , . , . .
. . . , .
.
.
1. , T , :
1) T; T;
2) , ;
3) , T;
4) , T .
2. T , i Ai , - .
3. T ( ), T, .
4. F T , , n i Ai , F, . F .
" F " F ├ . , ├ " ".
L .
1. L , , (,) . , , .
2. . , , .
3. , L, L:
( 1) ;
( 2) ;
(A3) .
4. ( modus ponens, ). . F , . , F , , , , G, . , F , G .
|
|
1. , .