1. → ), .
2. ( F) = F, , , .
3. :
F (G ) = (F G) (F );
F (G ) = (F G) (F ).
4.2.3. ( (Q → R)) → S .
. 1, 2 3,
( (Q→R))→S=( ( Q R))→S= ( ( Q R)) S = =( ( Q R)) S=( Q) ( R) S= = ( Q S) ( R S).
4.2.4. ( Q) → R .
. , ( Q)→R= ( Q) R = =( ( Q)) R = ( Q) R.
. - , ( ) ‒ . , , :
() (() () ) =
= (() () ) (() () ).
, , :
= , b; = x; = ();
= , d; = y; = ();
z = e, f; = z; = C(z);
[ () (b) ] {[ () (d) ] [ C(e) C(f) ]} = = {[ A(a) A(b) ] [ B(c) B(d) ]} {[ A(a) A(b) ] [ C(e) Ù C(f) ]}.
³ , , , . , , - .
ҳ ,
() , () () .
, , .
. .
1. , - .
2. , .
3. , : 2.4, 2.5, 2.6, 2.7.
|
|
4.4.1. (, ) → → v (, v), x (, ) → x y (, ) u v (, v) → v u (, v) .
. , :
= (, ) = u v (, v);
= v (, v) = x (, );
= x y (, ) = v u (, v).
:
→ , → → .
4.3.2. , .
4.4.2.
x y (,) u v (v, ) v u (v, ) y x (, ) = x y (, ) u v (, v) .
. :
= (, ) = v u (v, ) = u v (, v);
= u v (v, ) = y x (, ) = x y (, ).
, :
( ) ( ) = .
,
= ,
.
4.4.3.
v u (, v) → u v (, v), x y (, ) Þ u (, ) .
. , :
= x y (, ); = v u (, v);
= u v (, v); = u (, ).
, :
→ , , , 0.
, , , :
, 0, , 0.
x y (, ), v u (v, ) 0,
u v (, v), u (, ) 0
.
4.4.4.
z (z, z) → x y (, ), z y A(z, y) → → u v B(v, u), x A(b, x) z x B(x, z) Ù z y A(z, x) .
. :
= z y A(z, y); = x A(b, x);
= u v B (v, u) = z x B(x, z);
= z B (z, z); = x y B(x, y).
, :
→ , → , .
,
, , 0.
, , :
, 0, , 0, , 0.
z y (z, z), A(b, x) 0;
u v B (v, u), z B(z, z) 0;
z x B(x, z), x y B (x, y) 0
.
, () . .
1. , .
|
|
2. , .
3. .
4. , , .
5. 4 , , .
4.5.1.
(, ) → v (, v), x (, ) → x y (, ) Þ u v(, v) → v u (, v) .
. ,
= x y (, ) = u v (, v);
= v (, v) = x (, );
= x y (, ) = v u (, v).
- : → , → → .
,
, , ( ) 0.
, , . , .
4.5.2.
u (, , ) y z (, , z)
Þ q (q, c, q) q u P(b, u, q) q u (b, u, q)
.
. , : = u (, , ); = y z (, , z); = q (q, c, q); = q u P(b, u, q).
, : ; .
, , , 0.
, :
, 0 , 0.
: u (, , ), q (q, c, q) 0;
y z P(, , z), q u P(b, u, q) 0.
.
1. ?
2. ?
3. .
4. ?
5. ?
6. ?
7. ? , ?
8. .
9. ?
10. .
11. .
12. .
13. ?
14. ?
15. ?
16. ?
17. .
18. ?
19. ?
20. .
21. , ?