. .
: , , . , . , .. , , , . , . . . : , .
. - - , , , , , .., , .
. () . .
, . , .. ().
. , , ( ):
(), = b,
(b)
= b , b ;
() , ;
(b) , b.
, () ; ; b ; (b) .
1. ?
2. ?
3. ?
4. ?
5. ?
6. ?
7. ? .
8. - -?
9. ?
10. ?
11. ?
12. ?
|
|
13. , ?
14. ()?
15. ?
. , , () (). , , , ..
, .
:
p, q, r, s, p 1... ( );
a, b, c, d, a 1... ( );
x, y, z, x 1... ( );
P, Q, R, S, P 1... ( );
ù ( , );
Ù ();
Ú ();
Ú (, );
É (, );
º () ( , );
" (, );
$ (, );
: .
.
- -. , , (), , b Q Q (b). , , , ().
, : (), ; .
$ (), ; ; $ , , .
, R, R (x, y). , : " " R (, ), ; ; R .
R (a, b), ; b ; R .
, , . : R (a, b, c), a ; b ; c ; R .
|
|
(), (), R (, ), R (a, b, c) .. . . . , ( , - ) , . , , . , , , . , , ( ) ( ) .
, . , () () . R (, ) R (a, b, c) : R (, ) ; R (a, b, c) . ( ) : R 2(, ), R 3(a, b, c).
, . , : , , .. - .
, R 1(), ; R 1 . , R 1(), , ( ) R (a, b, c).
- :
" $ yR (x, y),
; ; R .
.
, , :
" x (P (x) É $ y (Q (y) Ù R (x, y))),
P Q , ( ), .
- , :
" x (P (x, a)É Q (x)),
; Q ; ; .
( , , .) . ( ) , .
. , , .
: p ; q ; r .
|
|
p º q Ùù r.
1. ?
2. ?
3. ?
4. ?
5. ?
6. ?
7. ?
8. ?