: (p) (q).
- , , , . , . : , . - , ( ). , .., , .., .
: , , , ( ↔ q). q , , q p. , , .
22. .
, .
: . (.. )
:
- ,
( , ).
, , ( - )
, .
: ; (.. )
:
, - (ÙØ)
: .
.
, .
, , .
: (pÚØp) -
, , .
( , , )
, .
, .
|
|
: q, p
, . .
, .
, , .
23. .
, . , . , , , , .
, . , , , .
:
, ( ) : , , . , , , , .. , , ..
, , .
24. . .
, () , , .
: , , '.
:
S / S
( ) :
S, S, S
() (), .. . : (S) (). , () (S). , () . :
S / S
(I) - (I). () . , , . . : (S-) (~). , (-) (S-). I:
S / S
( ) . : (S-) ()., () (S-).
:
S, S,
S () .
|
|
, . , , .
25. . .
- , , , , .
, , - . , , , I, .
S л, : S л.
: