, ,
. . .
: 1) : , . , 2) : .
:
- () , , : , , =
- , : , ,
- () , , : , , , .
:
- () , , .. , : , , .
- () , , , : , ,
- () , , , , : , .
6: . .
() , , .
, .
. :
1) Dfd () , , .. ;
2) Dfn () , , .. . .
Dfd ? Dfn , ? PR - PR Dfd, Dfn.
. , . , .. .
. Dfn ( ), , :
1) ,
: =3 , +7=10 ;
2) . : PR ; PR . .
|
|
3) , .
7: . ( ). 1) , .. Dfd Dfn . :
- : Dfn Dfd
- : Dfd Dfn
- , , , .. . . .
2) : Dfd Dfn
3) , .. , , , . .
8: , .
, () () ( , ).
, , . , .
4 :
1) , .. .
:
- ( ),
- .
2) 1 .
: .
3) , ..
4)
: ; . . , .
: ., , , , , ..
, , , .
PR:
- .
- -
- (, , ..)
- .
9: . .
, - ( ), ( ), ( ).
, - .
. () - - , , :
- -,
- , ( ),
- , R(;)
, / .
( )
: S P ( )
S :
|
|
P , :
S P: , - - /
, /, S , S
, :
1) :
- ( )
- ( )
-
2) :
- ( )
- ( )
4 :
: , S
: , S
I: , S
: , S
10: .
S P
, .
.
: S 1) , 2) S ., .
: S 1) .
I: S 1) ., 2) ., S .
: S S ., .
11: , . .
, b, - ,
,B, -
(1), (0).
Ξ \ Ξ 1: , Ξ : .
():
- , ^ & ( ^ ). .
- , v ( v ). . .
- , → ( → , , ). . , .
- , ↔ ( ↔ , , ). . , .
- , , . , =
^ | ||
a ^ | v | ||
→ | ↔ | ||
v → , - - . . ,
. . , .
12: .
;
: S P : S P
E: S P I: S P
I: S P E: S P
: S P A: S P
. . . . .
13: .
Ξ →
( (1806-1871) - ) :
1. .
2. .
|
|
;
:
- ( » - -»).
: , , .
- ( » - -»)
: , , , .
: , ; , .
- - ( , » - »)
- ( , » -»)
, . .
. .
, ( ).
.
:
1) , .
. : . : .
, .
. . - .
, . , . , .
2) , , .
. : ; ; ().
, . , I. . . .
3) , , , (, ), .
. . .
. , . , .