:
1.) . , , - .
2.) . (M) . , ., ., . . . ..
3.) , , ., -. . . . .
:
1.) . . ., .. , - , .. . .
2.) -. ., .. vM . V ., V vM, V , v M, . . ., V M.
3.) . . .
4.) - ., . .. !!!
. . . M ( ) .. S P. . . . ., .
- ., . . . . 1- M- S P , 2- P , 3- S , P S . .
. . . . . . , . . . . (A, E, I, O) . ., . 24=16 , . 64 . . . . . . EE, IO, OI- . 1 3 . . 19 , ..
1:AAA, EAE, AII, EIO.
2:EAE, AEE, EIO, AOO.
3:AAI, IAI, AII, EAO, OAO, EIO.
4:AAI, AEE, IAI, EAO, EIO.
. . ,. .
2- :
1. .
2. .
2- ( ). , , .. .
, ( ). ( ) , - , . , .
2- , IA, , I, AI, , , IO, , , .
2- , , ( , , ) . , . 2- , , , , .
|
|
( () , () (S) , ()|(S) ())
33. 3 . . ., .
- , , . .
- .., . . . . (. . . . .), (. .) (. . .). . . , ./ -.| (., , ) . . . . . ., , . . . .: . . , . .
1. . ()- . . , . . . ., . (.)- .
2. . : ( . .), ( . .), . ( . .)
. ., . . . . . .. . . . , . (.) .. . . . . . . (. . .) . (. )
. . . . . . ( ), . . . . . . . ..
. . . - . . . . . . : , . . . . ,. . . . (.(M) . .(P), (S)-(M).| (S) . .(P)) S,P,M- ., S - , .. . ., P - . , .. . . (S P- . ), M - . , , ., . . . :
:
1.) . , , - .
2.) . (M) . , ., ., . . . ..
3.) , , ., -. . . . .
:
1.) . . ., .. , - , .. . .
|
|
2.) -. ., .. vM . V ., V vM, V , v M, . . ., V M.
3.) . . .
4.) - ., . .. !!!
. . . M ( ) .. S P. . . . ., .
- ., . . . . 1- M- S P , 2- P , 3- S , P S . .
. . . . . . , . . . . (A, E, I, O) . ., . 24=16 , . 64 . . . . . . EE, IO, OI- . 1 3 . . 19 , ..
1:AAA, EAE, AII, EIO.
2:EAE, AEE, EIO, AOO.
3:AAI, IAI, AII, EAO, OAO, EIO.
4:AAI, AEE, IAI, EAO, EIO.
. . ,. .
3- :
1. .
2. .
1- , 2- 1- . , ( ) . , , . , .
, 3- , . ( () , (), () (S)| (S) ()
3- .
4- s .
34. . .
- , , . .
- .., . . . . (. . . . .), (. .) (. . .). . . , ./ -.| (., , ) . . . . . ., , . . . .: . . , . .
1. . ()- . . , . . . ., . (.)- .
2. . : ( . .), ( . .), . ( . .)
. ., . . . . . .. . . . , . (.) .. . . . . . . (. . .) . (. )
. . - ., . . . . ..
|
|
(ϸ- , - | ϸ- , -xRy)
. . . ., .:
1.) - . . ., . . . . . , , .. a=b, b=a, xRy→yRx.
2.) - . . , . . . . . ( x . . y, . . . . ) a=b, a=a, b=b, xRy→xRx→yRy.
3.) - . . . , . x y y z . x z. , , -, , ,,,, - ... (xRy^yRz) →xRz
. . . . . , : . xRy ., . yRx ( .), xRy , . xRx yRy. ( .), . xRy . . yRz ., . xRz ..
. . ..
35. .
- , , . .
- .., . . . . (. . . . .), (. .) (. . .). . . , ./ -.| (., , ) . . . . . ., , . . . .: . . , . .
1. . ()- . . , . . . ., . (.)- .
2. . : ( . .), ( . .), . ( . .)
. ., . . . . . .. . . . , . (.) .. . . . . . . (. . .) . (. )
. ..
. . .,. . . . .. ( . (p), (q), (q)- (r)| . . (p), . (r)) .- . ., 1 (q) . 2 , . - (r), . . . : (p→q)^(q→r)| p→r
: . ., . . . . ., . . . . ., . . . ..
36. - , .-. .
- , , . .
|
|
- .., . . . . (. . . . .), (. .) (. . .). . . , ./ -.| (., , ) . . . . . ., , . . . .: . . , . .
1. . ()- . . , . . . ., . (.)- .
2. . : ( . .), ( . .), . ( . .)
. ., . . . . . .. . . . , . (.) .. . . . . . . (. . .) . (. )
.-. . . . ., . . . . (A, E, I, O).
-. . ., . - .(, ), - ().
. .
1.) . , . . ., , . . . .. . . . . . ( (p), (q); . (q)| (p)) - . ., . (p) (q). .-. ., . . . (p). . (p), . (q). : p→q,p|q
2.) . , . . ., . , . . . . . . ( , . ; | , ) : p →q,-q|-q.
.-. .: . . , . ., . . . : p →q,-p| -q; p→q,q|p. . . .
!!!
.. . .-. . , , .
.-. . : , , , ..
. , . , , , , . , , , . , , , . (!!!)
37. -. , .-. .
- , , . .
- .., . . . . (. . . . .), (. .) (. . .). . . , ./ -.| (., , ) . . . . . ., , . . . .: . . , . .
1. . ()- . . , . . . ., . (.)- .
2. . : ( . .), ( . .), . ( . .)
|
|
. ., . . . . . .. . . . , . (.) .. . . . . . . (. . .) . (. )
.-.. . . . ., . . . . (A, E, I, O).
.-. . . ., . - . , . .- . ..
., . . ( .) . , . , , . :
1.) .. - . (. .) . , ( . .) . (. ; | . ) : pvvq,p|-q, vv- . , . : .-. ., . .
2.) .-. - . ., . . (. ; | ) : <p^q>,-p|q, <>- . .. . . : . (), .. () .
. . .. .
.-. . .-. , .-. . . , , . , , , , , . , , , . , , , . (!!!)
38. . . ()
- , , . .
() - .., . . . . (. . . . .), (. .) (. . .). . . , ./ -.| (., , ) . . . . . ., , . . . .: . . , . .
1. . ()- . . , . . . ., . (.)- .
2. . : ( . .), ( . .), . ( . .)
. ., . . . . . .. . . . , . (.) .. . . . . . . (. . .) . (. )
. . . ., . . . . (A, E, I, O).
, . ( .) . . . ()
. . ()- (.) . .. . . .. 1 (MP,SM) ( . . .; -| . . .) ( P), (c S) , . ( !!!)
. , , . , . 2 (MP,MS). . . . .
.-. . . : . , . , .: . , . .
.-. . : , ., : , .
.-. .. , , , : .
. () , . . , . , . . . .
39. . .
- , , . .
() - .., . . . . (. . . . .), (. .) (. . .). . . ., , .. . . .: . . , . .
1. . ()- . . , . . . ., . (.)- .
2. . : ( . .), ( . .), . ( . .)
. ., . . . . . .. . . . , . (.) .. . . . . . . (. . .) . (. )
. . . ., . . . . (A, E, I, O).
. . ., . . . . . ., . . P S1, S2 . S, . () K. : 1) S1 P, S2 P, Sn P; 2) S1, S2, Sn - () K; : K P. . . . . . , , . , . . . . . .- (.). , . (. , ), (. ), . .. . . . .-. . . . . . , . ., . ., . . . .