,
, , ,
.
, , ,
, .
, , ,
.
23
,
, .
,
xRy.
, 1) , 2)
3) .
1. ,
.
: xRy -> yRx.
2. ,
.
: xRy -> xRx yRy.
3. , ,
z z.
: (xRy yRz) -> xRz.
, .
(xRy>yRx) : xRy
, yRx . :
(xRy-xRx ^ yRy) :
xRy , xRx yRy. :
=B
= = b
(xRy ^ yRz->xRz) :
xRy yRz , xRz
. :
. .
. .
. .
,
, .
.
-24
,
.
, ,
.
(S) (P) ,
|
|
, .
, .
,
.
, .
S ( ) ( ).
,
. , ,
, , ,
.
: , .
:
.
, .
.
, .
, .
,
. .
,
:
() ()
(S) ()
(S) ()
,
.
, .. ,
(
): ,
,