.


:




:

































 

 

 

 


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.

. , .

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 . .





:


: 2015-10-01; !; : 1563 |


:

:

.
==> ...

1480 - | 1315 -


© 2015-2024 lektsii.org - -

: 0.016 .