.


:




:

































 

 

 

 


.




.

1- : . .

2- : , .

3- 4- , .

3- : . .

4- : , .

 

41. .

.

1 2

1- :

1. .

2. .

, 1- : , , , .

1- . , , , , , . . () , , , , 1- .

 

42. .

1 2

2- :

1. .

2. .

2- , IA, , IE, AI, , , , , , .

2- , , ( , , ) . , . 2- , , , , .

 

43. .

3- :

1. .2. .

, 3- , . : (S) () 3- .

 

 

.

, .

:

( - q) ^ ( q -> ) ->

: .

, , . , . .

 

45. -

- , , .

: 1) 2) .

1. , , , ; .

2. , , , . .

- , , : (modus ponens) (1) (modus tollens) (2). - . : . (3 4) . : .

 

- .

- , , .

, () , , .

1. - , .

, : -- , . , .

2. - , . , : - , , () . () , . , : , , .

, .

- - , .

 





:


: 2016-11-12; !; : 1617 |


:

:

.
==> ...

1732 - | 1524 -


© 2015-2024 lektsii.org - -

: 0.009 .