. , . :
1. . , , .
2. 2 , , .
, . .
, :
.
X<Y
X+Y=Z
X,Y .
X, Y, Z , , .
:
3 .
2<5
2+3=5
.
.
(1,,n) , M, (1) (0).
(1,,n): Mn{0,1}
- 0- . , .
, ( ).
.
:
1. () 2
Q(x) x 3
P(x)&Q(x) x 2 3, . . 6.
2. S(x,y) x y.
S(x,y)& S(y,z)S(x,z)
, .
1. ().
- , . . xi.
2. ().
- , , .
& .
, .
K, :
1. :
: (), &, ().
: (,).
, .
a,b,c,.
x, y, z,.
P,Q,R,.
f, g, h,.
, , .
2. . , :
1) (1,,n) ().
.
2) , - .
3) , - .
4) , , - .
|
|
, 1-4.
, .
- , .
, , .
3. ().
1) .
1:
2:
3:
2) .
P1: ,
P2: ,
t .
4. .
1. ,
2. - ,
3. - .
, .
I K M , :
a I(a)ÎM;
n- f I(f):MnM.
n- I(P)Ì Mn.
, . . , ( ).
.
3 .
1. P(x,y)
2.
3.
P(x,y) .
1 . a,b , .
2 , x=1, . . , y .
3 , . : y, .
, .
, .
(), .
: .