(. Lex exclusi tertii sive medii inter duo contradictoria) , .
: , . . ( : tertium non datur). Tertium non datur . : , , [2].
, , ., , : . , , (., 7 ), (7 ) , .
:
, . (2.16)
, , , , , . , B, » , ; . , . . , .
:
∨Ā, (2.17)
, Ā , , V , - .
, ~ , :
A V(~A), (2.18)
: (, ).
, , - ( ), (, , , , . .). , : 11 . , . , , - , , , , , , . , , , .
|
|
, : , . (2.17) , . .
. , , [ .. . .1957.].
.
, , :
1. - , , . , , .
, . , , , . , - , , , , .
, , - , , .
- . , . - , , . , , .: , . : [2].
2. - , . , ., :
|
|
.
, , . , .
, - , . .
, : , , , . , , , .
, , . ( ), , , .
, . , , , . , . , . , , . , . , , . , , , , , , . . : . , .
, , , . , , - , . , , . , , , , , - : . , , ( ) , .
, , , . , , ? . , .
, . .
|
|
, , .. [6]. , , , . ?
-, , . , , , , : , . .
-, .. , :
1) ;
2) - ;
3) - .
, , [12].