: (), (, ), (, , ) .
() , , , .. () () () (I).
(, ) , : () ().
(, , ) , ( I ).
, , , .. () (I), () (). , - .
. , - :
() - . , . , , , () , () , . (I) ().
(, ) . ( ) ( ) . ( ), ( ) , , . , , .
() . , a - a :
Ȼ , ˻ .
, a , a .
, () - . , , . , , () . . , - . : , , - .
|
|
(, ) , . , : , , , . , (I) () . - . , - . , . - . (I ) ( I) : " - " " " .
, () ( ) I ( ). , , .. , . , - , - . - - - . , - , : - .
(I ) ( ). - : , : - . . : . ( ) ( ).
|
|
( ), . () () , () , (I) - . () () , () , (I) - . () () , (I) - , () - . () () - , (I) - , () - . (I) () - , () - , () - . (I) () , () - , () - . () () - , () - , (I) - . () () - , () - , (I) - .
- , . .
a | b | a b | a V b | a b | a → b | a ≡ b |
, , .