, , , , , , , . , , , .. , . , . , .
: , ( ), . , . , - , , , , .
. . , , , , . , , , , , , : , , . . : , ( =), . : , .
.
( ) , , () . , .
:
\neg (P \wedge \neg P) = 1,
\wedge , \neg .
, . , , . , , , .
, - , , , . , : ( , , , ), , , , , , . , , , 10 20 , , , , . - : ( Λ ), (: , ), - .