, , .
. . , , . , .
. , . , , ,
176
; 1,2,..., n ; d , :
1) ' d1
2) 2 d2
n) " d"
-, d
. 11- , , .
.
(1) . , :
AvBvC
(2) , . , d, d , . , , .
(3) , . , * " d d1 d".
. : , , , . , , .
|
|
177
12-1002
.
, . , , , , .
tollendo ponens - . :
AvBvC,lA,lB
-,
, , .
, , . , , .
. , . , , , .
, , , . , . , .
178
.
, ( , , ), . : , . . .
, , . .
, , , , .
|
|
:
1) xyz
2)
3)
z
, . , : , .
, . , -, ,
179
12*
, , , - . : .
:
1) abed
2)
3)
4)
-, X, d
, , . , -, , , -, . , , , , .
, , . , , - .
, , . , . , .
, . , ()
180
, .
, .
^ 4.
, . , , , , , , .
, . , , , , .. , . .
|
|
, () .
: (1) , ; (2) , ;
(3) .
: S ; ; m ( ); -
181
, ; f(p) ;
, , .
S :
() = /.
, , , , , 95 100 . , , , 95/100, .. 95%.
0 1: 0 <f(p)< 1. , S () (). > , f(p) , .
, f(p) = 0, , , . : S , , , . f(p) = 1 . () (), .. =, , S . , .
:
S f(p) _______ Sc ______
-, f(p)
: S f;
S , S; , f.
, , . . -
182
: (). , , . : .
|
|
, , , .
1. ?
2. ?
3. ?
4. ?
5. ?
6. ?
7. ?
8. ?
IX
, , . , . : , .
, , , . , 1918 . ( ) XIX ., 1807 . ( ), 67 , , . .
, . . , .
(, , ) .
, .
184
, . .
, . , , , . , .
, , , , , , .. . , , , , , , , ..
, , , , . : , , , .
: (1) (2) .
(1) , , .
|
|
b , , Q, S, , :
:
, Q, S, b , Q, S
: b
185
. , XVII . , , , , , , .
.
(2) , , .
, , m :
1) ( Ri) ;
2) m ( R2) ;
3) , (Ri) . Ri Ri, , Rz , . :
:
l)xRiy mR2n
2) Ri P, Q, S, R2 P, Q, S
: -, R2
, , , . , , , , .. .
186
, .
. , . m , m, . , (xRiy) (mR2n). , (Ri Ri), : m, .