[505] ( ), , .
" ":
(L) (L) .
(L) , ; . ("") , , , (L) :
(1) (L) , (L) .
(L) , ; , .
:
(2) (L) , .
, (1), , (2): (L) (L) .
1. (L) . (1) (L) . , , , .
2. (L) . (1) (L) . , , .
(1). , , (1) (2), .
, ("") :
S P,
P , S
" "[506]. , , , , , (1) .
, , , , . , , , ( ) . , , (1), .
(1) . , , , . , , , .
|
|
, . M* P, S . S M*, P . , *, **, *** .., , . . , () , , , , .
" " , , .
. , S
T (T (F (b))),
"T" , "F" , "b" . (T) , T .
S **(T), T (F (b)) *(T).
T (F (b)) *(T), F (b) (T).
,
S **(T), F (b) (T), .. b (F).
, "" (revision) , S , b F. , S , , F (b) M.
"", ; , , , . : . : ; , ; . , .
|
|
, , , , .. , , , , . , : - ; . , , , . , . , , , , . , , . , , , .