1.1. , :
) :
.
- .
:
.
) :
.
.
:
.
1.2. , . . , .
1.3.
() È ù Q(a,b)
Q(x,y) È ù R(x,y)
S(b)
R(a,b)
, (), .
2.Ͳ ֲ .
.
. . , .
, :
.
(_).
, .
(,) if (_).
' . , . , :
' ; ' . , , :
, :
, .
.
' ' . , . :
. - .
:
() ().
, .
.
, , . .
, (, ). , (), ( ). , .