, , . , , . , , , . - , . , .
, . , , p, q, r, s ( ), ( ), ( ...), ( , .. (, ). : (1) , (2) , (3) (4) .
() , (), . : . , q, &, & q. , , , , , , , .
() , -, Ú (). , (), (q). : Ú q. : ( ). , , , , , . , , . , .
() , (p) (q), ..., .... : pq. : (p), (q) ..., ..., ..., ..., ... .
( ) , , ( ) , ..., .... : (p) (q). p q. , , q. , , .., p q, q : ( , , , ). : q. º, . . º q.
|
|
, , . , :
, , , . , , . , , . . , () , () . , , . . , .
, , , .
, :
1. , . . .
2. . -, . .
3. . -, .
, , - . , , . : ( ), ( , ), ( ). :
: ~( /\ ~), : , -. : , .
\/ ~, : -. : , , .
º , : , . , , .
, , .
|
|
, , .