..
, - . ,, , , , . . , , .
, , , , , 1, . , ,
(1) , S 4.
(2) S ,
: ( ) ( ). , , :
(1)
(2) -
(3)
(4) -
(5) .
(2) (1). 4. , S S . (. . (1)) (. . (2)) , , . (, ).
7 , . . (5) (1) - (4).
. .
, , . , , :
- , . 8.
- . 8 :
(1) - 9
-
(3) - .
9 . 9 , . 9 , , , , . , (3) 9, (1), (2), , (3), (1), (2). , , (3) . (3), (1), (2) 8 ( 8 (1) ). 8 9 ( ,) (1), (2). (1) ( (2) ), , - ; (1) (, -, ), , , . .
|
|
- , .
, ; - , , .
, . - - , , () . .
, - , .
- .
- .
(. modus ponens - ), . () :
,
(6)
____________________
.
, - , , .
- , , , , 10:
1., , ,
2. ,
___________________________________________________________ 10
|
|
3.
. , , , (2).
- (. modus tollens - ), :
,
7.
() , , 11:
,
(2)
___________________________________________________
(3)
, , , .
, , , . , . , 12
(1) , 12
_______________________________
(3)
(2), (1). 12- , (3). 12 , (1). ( - ) ( - ) , , , (1) . , , , , 12, .
- , - -, ,
,
____________ 8.
8. , - . 8. . ,
(1) ,
13
<
__________________________
(3)
, , 8. (1), (2) , (3) . , , , - , . , , (1), (2) (3).
(1) ,
(2) 14
__________________________________________
(3)
9. - . , (1), (2) (3).
|
|
, , , - , . , .
, , . , , - , .
( . . , ; . . , ), ( , , ), (B , 28 36 ) .
( - ( ), . , .
, : .
. , , . S1, S2, S3..., Sn ( ).
S1
S2 10/
............
Sn
___________
S .
10/ - . , . , . , , S1 , S2 , S3 , ..., Sn S , , . , .
, . - . , , , , , . , , , , . , , , (, ) ( ) .
|
|
, , . . (1806-1873), - ( - , , ), ,-/ . , , . .
, .. , , .
. , .
S P;
S P;
S P;
...........
S P;
S,S,,...S S.
, S P.
. .
S(), S(n) => S(n+1).
, S(n).
{,1,,...}, S. S(n)=>S(n+1) : n S, n+1 S; S(n) , S.
, , . XVIIXVIII . (1561166), , , . . , , . , .
, (1861-873). . .
. , , , .
, . . , , - -. , .
5. : .
-
, , , -, .
, 2, ( ), ( ) ..
- . : () (), .
, . , . .
|
|
. . .
, . , . .
. , . .