, . :
: (. , . VII, 1).
2, . , :
( ~> ) a (q -> ) ( -> s)... ( -> 2)
, ,■ (. , . VII, 5).
1
, , . , ( ..., ...). , .
:
, , , . . (, . 53). ;
, , ( - ), , ( - q).
, ( - q), ( - /).
, , (), (/).
(-)(->)
1.1. , . , , .
1.2. , , . .
1.3. , , , . , , , .
1.4. . , . .
|
|
1.5. , , . , . , .
1.6. , , , (70
4.
, . .). .
1.7. , , , , , , , , , 1.
1.8. , , . .
1.9. , . , . , .
1.10. - . - . - . , .
, , .
()
1.11. , , - . , , .
1.12. , . , , ,' . - - , . .
4.1.
71
. , .
1.13. , , , , , , , . , , ^, , , , , . , ... , , , - 1.
|
|
1.14. , , , ( , , ). . , , , , , , , .
1.15. , . . . ? , . , . , , .
1 . . // . . . , 1984. . 236.
1 . . . // . . . ., 1984. . 116.72
4.
4.2. -
- , - , - .
- :
1) (modus ponens) - , . :
- , (. , . VII, 1).
2 ■
, , , . . 1, - .
:
( - ), ( - q).
2) (modus tollens) - , . :
2) - .
:
3) 4) - . :
3) ~* .
4.2. -
73
(). ().
-g, p
-:L-i- - .
2.1. , . .
2.2. , . .
2.3. , . .
2.4. , . .
2.5. , . . .
2.6. , . . .
|
|
2.7. , . , .
2.8. , , , , . .
2.9. , , -, , . . . -
.
2.10. , . .
2.11. , , (). .
2.12. , , , . . . .74
4.
2.13. , . .
2.14. , , . , , - .
2.15. , 161 . .
3
, : ) , ) , . , ( ..., ...).
:
.
1. ..., ...: (), { q).
2. : (), (q). (). , { q).
: ■
3. : (), { q). (] q), , (]).
:
3.1. , .
3.2. ' , .
3.3. , .
4.2. -
75
i
3.4. - .
3.5. , ().
3.6. , , .
3.7. , ().
3.8. , (). ■
3.9. , .
3.10. - .
3.11. .
3.12. .
3.13. , ().
3.14. , , .
|
|
3.15. , .
()
4
. 3, . ( = q).
5
, , .
:
(), (pv ).
, 1 { v ). , (lg).
(pv /) = g,l(pv r) : ---------.
- . , .76
4.
5.1.. . , . . .
5.2. . , . 162 . . . 162 .
5.3. , . .
5.4. "" , .
5.5. , . . .
5.6. , , . .
5.7. , . .
5.8. , , . .
5.9. , . . .
5.10. , . .
5.11. , , . , .
5.12. . .
5.13. , , , , , , , -, . 1.
4.3. -
77
1 . . // .. . . 244-245.
5.14. , , , , ...1.
5.15. , . . .
5.16. , . .
-
- , - , - .
, () , , .
- : - (modus ponendo-tollens) -- (modus tollendo-ponens).
- ( ) , . :
V - .
, : - ( ).
|
|
- ( ) , . :
< v q>,
<...> - () 2.
1 . . // .. . . 259-
2 , .78
4.
, : ( - () ) (. , . VII, 2).
6
- , , , : , .
:
() (q). ().
().
: < V >, - , - [ q - .
6.1. . - - . ...
6.2. -. . ...
6.3. , .
6.4. . ,
6.5. . .
6.6. . - .
6.7. , . , - ., , .
6.8. , , , ,
4.3. -
79
. .
6.9. , . - .
6.10. .
6.11. , , . .
6.12. , , . , .
6.13. , , , - . , .
6.14. , , , , , , , , , , .
6.15. , , , , . . .80
4. '■}
7
, : ) - , ) -- ; , , .
:
() [ q).
1. - . (). , , (1 q).
: \' q,p - -
fq .
2. - :
). , (q).
: < pv q>, I p - -
q .
7.1. () .
7.2. .
7.3. , .
7.4. . , , .
7.5. .
7.6. ' , .
7.7. . .
7.8. ., ., .
7.9. . , , .
7.10. , , , .
7.11. -
4.3. -
81
, , .
7.12. , , .
7.13. . -, ().
7.14. - , , - (-).
7.15. , ,
.
()
8
- .
-
8.1. : , , , . , . , - , .
8.2. . , . , , .
8.3. , . . , . .
"- 82
4.
, , ., , . ■ , . , .
8.4. 1 , - ' - , . , , , , . , - , . - : , , , :
, . , , , ' I .
: , . , . , ? . , . : . , , . 1.
8.5. 14 5 , .
. . , , ( , , ).
1 . . // . .: 8 . ., 1966. . 1. . 515-516.
4.3. -
83
, .
, , . , ; - . . - , , , .
8.6. . - - , , , , - -
■ . , . , . . , , 3., ., X. .
, . 3., , . . , .
X., , . . - .
8.7. , , , : ... , , . . , ,
*84
4.
#
? , , - , 1.
i.8. , , :
- , , . , , . ?
- ! - .
- . . 2.
.9. , .
. , . , 1 , . , .
, . , . ? : . . , , . , , , , .
.10. , , , , , £ .. , , , , .
4,3. -
85
1 . . // . .: 8 . ., 1996. . 1. . 155-156.
2 . . 189.
. .. . . . .
, : . , .. , , , 43-, -.
8.11. 15 . , - . , , 15 , . .
, . , . , , .
, , .
, 15 : 84 64 . .
-. , 15 12 , . . .
15 . , . , - 1.
1 .: . ., 1958. . I 4.
4.4. -
, , - , -. , .
() () , .
:
1.
2.
q v s
3.
( -> ) ( -> ), 1 q v I r
4.
(. , . VII, 3.)
9
, , , .
:
. (), 158 (q). . (), 162 (s). H. (), ().
; , . 158 (q) 162 (s).
: (>
qv s
- .
4.4. -
87
9.1. , , - . , .
9.2. , . .
9.3. , , , . . , .
9.4. , () , , .
, , . , .
9.5. , . . , .
9.6. , , , , ; , , . .
9.7. , . .
9.8. . , . - 4.
4.4. -
89
. - .
9.9. , . ] .
9.10. - , - . , .
9.11. , , . . .
9.12. , , , , .
. , .
9.13. , 1, , -, . , -, . - .
9.14. , , , ; - , . , , , .
1 41 .
9.15. , . , , ; , : , ( ) - . , .
10
; , .
10.1. , , . , . , , : ; , ; , , , ... , , .
10.2. ? ? ? - , , . ? , 1.
10.3. . , , - (--).
1 . . . . // . , . . 210. 90
4.
10.4. , , , ().
10.5. , . , .
10.6. , , , , ; , - ().
10.7. , , , .
10.8. . , , , . .
10.9. - , , .
10.10. . , 171 . - 172 . . , ■ 171 172 .
10.11. , , , . , . , . , . , , , , . ,
4.4. -
91
. , . ( , .) , , , .
10.12. , .. , - . , . . , ?.. , , , ... - (. 1988. 24 ).
10.13. , , , . , , , ( . 15/2).
10.14. , . , , 23 , , ( . 8). 92
4.
10.15. - . , , , . : , , , - , . .