.
− , :
1. , ().
2. , ().
3. ,
().
4. , ().
5. , ( ).
6. ( .)
7. , ( ).
8. , .
9. , .
10. , .
, : , , , , , , .
( ).
.
. , .
.
. , − .
. , .
, . , , :
.
.
10.6
1. ?
2. .
3. .
4. ?
5. ?
6. ?
7. .
8. ?
9. () .
10. , .
11. , ?
12. ?
13. .
14. ? .
11.
11.1
(, , ..), . − .
, , . , . . , , .
|
|
, .
.
. , , , .
. : , . , : , , .
11.2
, .. , . , ( ) .
.
.
() (), .
, .
, , , .
11.3
.
, , , - , .
.
( ), , . .
.
, , , , , . . .
: ( ). , .
, , .
, .
.
.
, , .
. , - , (). , , - .
|
|
.
, . , : 5 − : 5 − , : 5 − , 5 − : 5 − , : 5 − , .
:
) ;
) .
: , .
.
:
, . . , .
, , . . .
, - , .
. − , − . − , , , − , . : .
.
, : .
, : . − : . , .
, . 11.1.
11.1 −
, | ||
, | ( ) | |
, | (Modus Ponens) | |
, | (ModusTollens) | |
, |
11.4 ,
( ).
.
, , .
− , , , .
. , .. .
.
.
.
.
, , , .
, .
11.5
, .. , , .
.
1. (1938):
|
|
) ;
) :
,
,
,
;
) : Modus Ponens ( ).
2. (1953):
) ;
) :
,
,
;
) : Modus Ponens ( ).
3. (1952)
) ;
) :
,
,
,
,
,
,
,
,
,
.
) : Modus Ponens ( ).
:
1. , . , , .
2. :
) ;
) ;
) .
3. :
) (Modus Ponens);
) .
.
11.6
. .
.
− , − . .
: - , , .
. () :
1) − , − , − , , , ;
2) − , − , , , , .