.
() , - , . . , .
, , (, Dfd); , (, Dfn).
, .
, ().
, , ( , , ).
, , ( ) , ( ).
, , .
, - , .
, ( ), ( ) , ( ).
() , , , , . . . :
1. (Dfd = Dfn).
2. . : .
3. . , .
, - , , , .
, .
, , , , .
10. .
11. .
12. .
13. ( ).
14. .
15. .
16. .
17. ( ).
|
|
.
, , , , ..., ..., .. : , (, , ), , .
() , ( Ù), . : Ù q.
() , , ( ) ( ), ..., ... (..., ...), ( ) ( ). : p Ú q, : Ú q.
() , ..., ..., . , , , . : → q.
, ..., ... ( , ...). . : ↔ q.
, , . , : , .... , : ┐( Ú Ù q).
, , .