- .
- .
- .
1.
, . : 1) , 2) , 3) .
.
, . , . , , . .
, . , . , , , .
- . . , . , , , .
- . , , , . - - , , .
- , (. 303 ).
:
1) , ;
2) ;
3) ;
4) ;
5) ;
6) ...
, : ; ; ; .
|
|
: , , (. 213 ); , (. 222 ); , (. 409 ).
2.
, , .
1. .
, , , . . .
, , . , .
(1) , , , .
(2) , , . : ( )? .
, , . , .
, , . : ? , , .
2. .
: (1) , -, (2) , -.
(1) , .
:
, ?;
?.
. , ..-; ...; , ... . - -.
- ?(), ? , , .
- (; ; . .) ( ; ; . .). - .
- : v ù. , , .
|
|
(2) , . :
?;
?;
?.
- : ? ? ? ? , , . -.
- ?Q(p), ? , Q , , .
: - ; - , () .
- , (? ? ? ? . .). : , , . . . - , .
3. .
- - (1) (2) .
(1) , .
- ?(). - Q, ?Q(p). - - .
(2) , , . : (); (); ( ).
, .
- :?( & q), .. q. : , ?
- . :?(Q1 & Q2)(p), . . . ? :?Q(p & q), . . q. : ?. - ;?(Q1 & Q2) ( & q), . . q.
, .
- :?( v q), , . q. : , ?
-, , . :?(Q1 v Q2)(p), . . . : ? :?Q(p v q), . . Q q? : ? :?(Q1 v Q2) ( v q), . . Q1 Q2 q.
:
1)?((&q) v (m&n)), . . q m n.
|
|
, .
2)?(Q1(p v q) & Q2(m v n)), : q, m n?
, . 303 :
2) , ?
. -. ?; ?(). -: ?; ?Q(p) : , . :?() &?Q(p), . . , ?
4. .
, , . , .
(1) , . . , , -, - , .
(2) , , . . . .
, , , .
3.
. . , . . , .
, , . , , , .
: (1) , (2) : (3) , (4) , (5) () ().
1. . , . . , . , , , . , , , .
2. . , .
|
|
, , . , - - ? : - 1904 . - ? : , .
, , , . , - ? : - - . ? : .
- , , , - . , .
3. . .
: .
, . , . ? : ; , . . : ; , . .
, , ; , .
4. . . .
. , - , , ? , . - , ? : .. 1837 .. .
. , , , ? : , , .
, , ? : .. .. .
, .
5. () () . , . : , . , ; , .
, . . - . , .
.
, , , . . ( ) , : ? , , .
|
|
. . ; , ? : . : , ?. : . , -, , .
. , , , .
- : ? ? ? ? ? . ., , , .
? , , : , , , . . : , , , , ; , , , , . .
. , ? . :
1) , ;
2) , ;
3) .
. , ? , , :
1) ;
2) , ;
3) , .
, .
, , - , .