1. , , :
) 2 ;
) ;
) ;
) .
2. :
) в (, 10);
) ( (), );
) ( (, 1), 1).
3. >
{ 2,3,4 }; , , . :
) ;
) (3,4) (3,4).
4. :
) = = 1;
) = 1 = 1;
) = 1 = 1.
5. , :
) - ;
) , + 1 = 10;
) - + 0 = .
6. :
) (,) Q (,);
) Q (,) (,);
) [( (,) Q ()) (,) ].
7. (,), " , , :
) (,); ) (,);
) (,); ) (,);
) (,); ) (,).
8. D={, } :
(,) |
?
) (,); ) (,);
) (,); ) (;);
) (,); ) (,);
9. , :
) ( , );
) ( ( , ) ( , ));
) ( ( , ) ( , ));
) ( , ) Q ( );
) ( , ) ( , ).
10. :
) P (a, f (a)) P (b, f (b));
) y P (x,y) P (f (x), f (y))
D = { 3,4 } :
f(a) = 4, f(b) = 3; P(3,3,) = , P(3,4,) =
= , P(4,3,) = , P(4,4,) = .
11. x P(x) Q (f(x),a) : D = { 1,2 };
a = 1; f (1) = 2; f (2) = 1;P (1) = ; P (2) = ; Q (1,1) = = ; Q (1,2) = ;
Q (2,1) = ; Q (2,2) = .
12. x P(x ), x P(x ) M = { a,b }.
13. F=P(x1, x2)Ú P(x1, x3) G=P(x ,x ) P(x ,x ), M = { a,b } Q (x,y) Q (x,y),
14. ( () Q ())
z ( (z) Q ()) .
15. :
) (,) ( Q () Q ());
|
|
) (,) (Q (, z) (,));
) (,) ( () Q).
16.
() ().
17.
() ().
18. ,
(,) (,)
.
19. , :
) ├ x ( → ) → ( x → x );
) , x → ├ x ;
) ├ x1 x2 xm → ;
) x ( → ) ( → x );
) x ( → ) ( → );
) x ( D) → ( x x ).
. , , , d [9, 20], ‒ [1, 7, 21], , [20, 28].