, , . , ( ..., ...). , .
:
, , , . . (, . 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.
. , .
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. -
(). ().
-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 . .