.
1. , , .
.
. . , , , . .
:
() .
01 .
, ! () , .
:
(S), (P), , . S P .
:
, .
- .
.
.
, .
2. . . 3 :
(S P).
.
(xRy).
.
.
.
() , - , . :
() S P.
() S P.
(I) S P.
(O) S P.
.
(S P) ( , ) ( , ). ( ).
:
) .
S ,
P
) .
S ,
P
) ()
S ,
P
) I
S - ,
P
) I
S - ,
P
) []
S - .
P
) []
|
|
S - ,
P
4. . :
≡
:
-
-
-
. .
. . , . , .
A Β
, . 3 , :
A B C.
5. .
, . , . :
,
()
.
: - .
, , , .
2 - :
) , , , .
) , , .
4 :
.
; , .