7
. , , . , .
.
- , . , ( ). , . . .
[1], ( ) - . , : .
, - ( ). .
, - . .
. , , . .
. , - , . , , , - , .
(- -), , . , , - . , , .
. . , , (, -, .) .
. , ( )[2] , . , . , , , [3].
|
|
, . . , , .
, , : , . , . .
, , , : , . , . , . ( ) . ; (, , ).
, , , . : 1) ; 2) (, ); 3) ( , ); 4) .
.
, . , , , . : (a1 ∧ a2 ∧... an) → T. () () . , , . 1 . 297 , . : (1) ; (2) . - , ( , ...), .
(): . 1 . 297 .
:
(1) , , (), . 1 . 297 ().
|
|
(2) , ().
: | |||
→ ,
|
, . : ( ) ( ).
() (). , , (). , . . , (): , . (), ( (1 ∧ 2∧ 3 ∧ 4)):
(1) , .
(2) .
(3) , , ..
(4) .
, , , . (). - .
: | |||
(1 ∧ 2 ∧ 3 ∧4); (1 ∧ 2 ∧ 3 ∧4)
|
(), , (). - - .
, : , , .
( ) . (1, 2, 3), . () . , .
:
(): .
: :
(1) ;
(2) ();
(3) .
() .
(1, 2, 3) (1→ ; 2 → ; 3 → ).
( , , ) ().
- - . , (). (, ), . , , . , ( ) , ( , ).
|
|
- , .. , , , .
, , .
, . : , , .
. .
( ) . . ( , ...) , , . ( ). , , N (). , ( (1 ∧ 2)):
(1) .
(2) - .
. (, N ). - .
. , .
. . (). , (). , , , .
:
(): .
(): .
:
(1) .
(2) .
.
(1 ∧ 2)
.
,
¯
- - .
. , . , : , , . . , . , . .
|
|
, ( ). , , . , , , , .
, . . , , .