, :
- () - " S ",
- (I) - " S ",
- () - " S ",
- () - " S "
("+"), . ("-"), . 18. ( ).
, .
. : , , , . : (); ; (). : () ().
I. I, . ( ) , (I, ) . , : (), I(O), .
II. I, . ( ) , - , . - , . - , . - , . - , I . - , I . I -, E . I - , E .
III. () . . , (: " " " " - ).
IV. I . I , (: " " " " - )
- , -, I-, -. E , - , I - , . I , - , - , . O , - , - , I . A , - , - , I . E , I - , - , . I , - , - , . O , - , - , I . 19. .
|
|
, , , . : (1) , (2) , (3) (4) . () , -, . : . , q, , Ù q.
.
(1) , , : S1, S2, . , .
(2) , , : S 1, 2. , .
(3) : S1 S2 1 2. , - (. . , ).
, , , , , , , , , .
() , -, . , - . - , - q, Ú, Ú q. : ( ). () . , . , . , , , , . , , , , , .
() , (p) (q), ..., .... : pq. : , .
: , , , , , . ( ) , , ( ) , ..., .... : , .
|
|
, (p) (q). (q) , . 20. , .
, , . :
.
, xRy. , 1) , 2) 3) .
1. ( sim-metria ), , . , . ( b, b ), ( d, d ), ( , , ), . : xRy > yRx.
2. ( -flexio ), . ( =b, = b=b) ( , , ). : xRy > xRx yRy.
3. ( transi-tivus ), z , z. , () , z z. 21. . .
( : ) , . . . " S P", " S P", " S P", " S P" , .. . , , - . . : .