( ) , - , , : 1) : , , ; 2) , : . . () : 1. , ( ) ( ) (, , , , , .).
2 , (, , , , , , .).
. . . : , , , .
, , (ctga, +, .). (, ). : , , ... ().
( ) , , , , .
. ^ B, B, &B (, (), (B)).
. : a v B ( ) a v B ( ); , , , , . a v b. ..., . : -*B =>b (, , ). ,
, , . =B, <-+B, +^B. ^ , , . ~ (, (); , ()). V (, , ). () (, .
15. , , .
|
|
- , , , ( ) (, , ), .
- , .
. , ; . . . , , . ; . . . , . .
. , . . (tertium mparationis) , , , , .
, ., () .
(. abstracting) ( ) , . . (, ), , , . . ., - (. - ). . , , . , , . , , . . . . (. .)
(. generalisatio)
, , , , , , . ., ; ; , , - , (.: ). . , .
., , , . , , ? ?, . ( ) ., . , ( ), .
. , , ( ). . . . . . , , ., .
|
|