, . , , , . , .
, , , , .. . , .
, , , , . . ( , ) . . modus tollens. q ( ) ( ), -q (.. ) . :
[(P → q) & -q] → -P.
. - , - [59]. , - . , , , , . , ( → q) , , , q -q .
|
|
, , , : (). - . ( ), - . ( q) ( -q) ( , ), q -q , . , , , ( 1 2), , . 1 2 , 3, .
, , . , modus tollens, , , , . , .. . , , .
, , , , , . ., . , ( 7;1 7.2).
(A, B, X) → Y
(C, , X) → Y
_ _ _ _ _ _ _ _
Y, X.
(A, B, C, X) → Y
(A, B, C) → Y
_ _ _ _ _ _ _ _ _ _
, X, Y, (Y), Y X.
X Þ Y
7.1. .
X Þ Y
7.2. .
|
|
. , .
, , , Y. . . : ( ) , , .
, 8. , .
, : . , . , , , .. , , . , , .
( ). (, ) . , , .. , [73].
, .. , ( 9 10). , , (). . , .. , .
, , . , - ( ), , . .
, , , , .. . , , (, ) .
|
|
, , , , ..
, . .
-. , . - ( , ).
,
, , .
1. , . ( , ).
2. , : , , . ( , ..) , , ( ). , .
3. . , ( ) . , . (, , ..) , . , (, ), , .
4. () , , , () . , .
5. , , , . , .
|
|
7.1
. (1953) : 1) , 2) , 3) . . , . , - , .
: ) ; ) . , . , .. .
6. , , - , , , . , , . , , .
1. ?
2. ?
3. modus tollens?
4. ?
5. ( ) ?
6. ?
7. ?
8. , , ?
8