- .
, . , . , : (0, , false) (1, , true). .
, . - . : A(x) = x . A , x .
. , , , . , 5>3 , 2+3 . , .
: .
, .
. , , , , , , .
.
: , . , ,
- ; , . . .
, . , .
, , :
1. () (S ) ; . ( , ), ( , ) ( ). . , , . , : ; ; : S1 P; S2 P; S3 P. , : S (S1, S2, S3) P. , 9 ) . : S (1, 2, 3).
|
|
. (S) (), S. (S) (), S () (, ).
2. (xRy) (, , , R ) (, , , , , - : , , , , , ).
3. () ( , ). ; , , : (S) () , ().
, .. , , : S--P. , , .. . C . . ( ), .. , , .
. () , , , .
, .. : - .
, , : S л, , S, л. , - . , S... : , , , ..., , , ..., .... , . , , , . . . (17881856) XIX , , ( ).
|
|
, , . "" ( , , , .) : S л, , .
, . , , " " : . , , , , .
, .. , . .
- : , , , , . , , , , , .
, , : , , I , .
, . ( , ) ( S л, S л, , , S л), , , , ( - ). , , , . , : . , , S.
, , - л, л, . . , ( S ), , ( S S), : , , ( ). , , .. , , . . .
|
|
, + , ( ):
. :
, :
, . .
.
:
1. 3 : AE (EA), AO (OA) EI (IE).
2. - AO (OA) EI (IE)
, .
( - , , ).
3. - AE (EA). , . , , .
: , , , .
.