.


:




:

































 

 

 

 


, . .




: , , , . : (, , ), , . , , , .

, , , () ( ).

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

, , (): ( ), ( ) . , . ( ), . , : ~, \/, /\, →, ↔

, , .

, . , . : (p) (q). , . , . : (p→q) → (~q→~p). :

p q (p q) (~ q ~ p)

 

, , . , . , - .

: (p) (q). (q) , (p)

 

 

p q ((p q) /\ q) p

 

. , , . , .

. , , , , . , ( ), , , . , , : , .

, . . - , . , . , , , . - , , , .

 

 





:


: 2016-12-18; !; : 477 |


:

:

.
==> ...

806 - | 689 -


© 2015-2024 lektsii.org - -

: 0.008 .