.


:




:

































 

 

 

 





 

, . , , , . , .

, , , , .. . , .

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





:


: 2018-10-18; !; : 105 |


:

:

- , , .
==> ...

1519 - | 1338 -


© 2015-2024 lektsii.org - -

: 0.025 .