" " "ó" "≡". . (.3.5) .
3.5 | ||||
1 | 2 | |||
, ( 1ó x 2) , , x 1 2 , .
, . , .
3.14. : " ", " ". .
3.15. , .
3.16. , .
.
: , ? :
1. . . (.. ), .
2. . , . , .5.
16 () (.3.6).
, . , :
( ), . :
, .
3.6 | |||||||
x 1 | |||||||
x 2 | |||||||
y 0 | 0 ( , ) | 0 | |||||
y 1 | ( "", , , ) | x 1 x 2 ( x 1 x 2) | |||||
y 2 | ( , , ) | x 1, x 2 | |||||
y 3 | (, ) | x 1 | |||||
y 4 | ( ) | x 1, x 2 | |||||
y 5 | (, ) | x 2 | |||||
y 6 | 2 (-, , "") | x 1 x 2 ( x 1 x 2) | |||||
y 7 | (, , , "") | x 1 x 2 (x 1 x 2) | |||||
y 8 | ( , , "") | x 1, x 2 | |||||
y 9 | (, , ) | x 1 x 2 (x 1, x 2) | |||||
y 10 | () ( ) | x 2 | |||||
y 11 | ( , ) | x 2, x 1 (x 1 x 2) | |||||
y 12 | () ( ) | x 1 | |||||
y 13 | ( , , ) | x 1, x 2 ( x 2 x 1) | |||||
y 14 | ( , , "") | x 2 x 1 | |||||
y 15 | 1 ( , ) | 1 |
|
|
3.17. , :
) ;
) ;
) ;
) .