, .
, .
: Λ V , , , .
() , . , .
, , , .
: Λ - Þ V - .
, .
: ( Λ ) (ā V ē) , .
Λ | ā | ē | ā V ē | ||
() , , .
, , , , , .
. , . , , . . , .
, - , . , . , : ? , . . , , . , ?. , , , , , . , , , , .
|
|
, . . , . ? . : (, , )?.
(, , -) . (, -) : , , , , . . , , , .
, , . , , , ? , . .
. , ? (, ), ? ( ).
( ), , . . , , , , . .
, . , , . : ?[1].
, , , , ( ). ?. , .
, , . , ?. , , (, , -).
. , . , . , , , : ?. , , , .
|
|
, , . , , , , , .
, . , , . , , .
: .
, , ..
, . , , , ? : , , , .
, . , ?.
.
5. (2 .)
, () - ( , ). , , .
, , , .
( ), ( ) ( ). , .
. , , (p q). , p q, p q . , - ( ).
, , .
, . , : V ; ā, , (( V ) Λ ā) → . -, , .
:
) , - ;
) , ( ).
, - : , , (), () - ( ).