1 .
:
() - ()
(S) - ().
(S) - ().
- - .
S - - .
S - .
:
Ø (, );
Ø (, I).
. , , , . , , , - . . , . . , .
: (,); (,I)
2-
: (, ), (, )
( )
:
() - .
- ().
- .
- - .
S - - .
S - .
:
Ø (, );
Ø (, ).
- , . , , - , . , , . , . , .
3-
: (, I),
:
() .
() .
, .
- - .
- S - .
S - - .
:
Ø (, I);
Ø (I, ).
, . . , (. . ) , X. Y. . :
|
|
X. Y. () - .
X. Y. (M) - .
.
P - M- .
S - M - .
S-P- .
, - .
4- .
:
- - .
- S - .
S - - .
.
. . .
, ( ), , .
28. ()
, .
, , , . , , , .
.
.
.
. , , . . . , : , . , . , .
: , , . , .
.
.
.
.
, , , (. . , ). : , , . . . .
, , .
.
.
, . , , . , .
|
|
, , .
, , : , .
:
1.
2. ,
3.
4.
29.-
- , , .
: 1) 2) .
1. , , , ; . . :
2. , , , . .
:
3. .
p->q, ]p/ ]q
4. - .
p->q, q/ ]p
, - , , : .
, .
30.
, . :
(), (q). (q), , , ()
. (), , , , (|
, (q). , , (). (q) () (). .
:
A->B
B->C
->C
: .
, , . ' , . .
31.-
- ,
,
.
, ()
, , .
, , , .
- : (1) - (2) -.
|
|
1. - (modus ponendo tollens)
( ) , ( ) . :
(p) (q).
(p)
, .(q)
- :
( ,
). : : A, B, C , : B; (): , A, C
, : - , . , .
2. - (modus tollendo ponens)
,
. :
(p) (q).
(q)
, .(q)
- :
: : A B C , : A, C ; (): , B.
, : , , () .
2, .- - , .
32. , .
, , , , , .
, , , . . , .
.
. . (), , , . , ( inductio ).
, .
, , , . . , , .
|
|
, S1 S2,... Sn .
, , . .
, . . .
, , ,
. . .
- , , , , . .
: ( ) , , , ),.. .
( ) , , .
, . , . .
, ,, . ,, ,, .
:
a,b,c,d.
B a,b,c
_______________________________
,B D
, . , , , .
,
.
, , , , , , . . . ,
, , , ,
. .
, , , , .
: , , .
:
(1) (2)
33. . .
32 .
.
- , .
, , . , , , .
:
S1
S2
.
|
|
Sn
S1,S2,, Sn K
____________________________
P
, .,.,.,. . .(), ()., ()
, .
, . , , .
34. ()
, , , . , . . . , , : . , . . : , , , . , , , , . , . , , . .
35.
- . , , , .
inductio , (: - ; ). epagoge (, ), .
- , .
, .
, , .
. . . , , , . , , , , . - , . , , , . , , , , , .
36. .
- , . , , . . , . .
, . :
1. , ;
2. , .
, . , , , . - . , , , . , . : , , , , , - .
37. . - , , . , , . , , , , .
, , .
, , .
38. .
, , , , , .
(abc), , ABC .
abc
b abc
abc
, .
:
1. , . , - .
2. - , , , - , . , , .
3. . , .
39. . , , . , .
:
1 1.
2 2
3 3
,, .
.
:
1) . , : ˅˅.
2) , .
, d, d . , , .
3) , . , 1 " d d1 dn.
.
: , .
, .
- - :
AV B V , ˥, ˥.
________________
, .
, ,
. , , . . . , , , . , . , . .
, .
, . ( ) . . . , , .
. , ( ) . , . , .
. {17}. , , .
:
, , .
, .
.
.
, .
:
1) , ;
2) .
, .
, , . . :
1. ^ , .
2. , .
.
3. , .
4. ^ , , .
, :
1. .
2. .
3. .
4. .
, , .
. , , , . : 1) 2) .
^ , -. ( ), .
^ :
, , .
, .
, .
, , .
^ , -.
, , D. R. , , D R.
, ( ) :
1) , ;
2) , ;
3) , .
, :
) ;
) -
)
)
41.
, - . .
.
, , . , , . :
- ;
- .
. - . , . , , - , : 1) . 168 1 , , ; 2) . 222 , , , , , , , ; 3) , - , . .
- , , , - . .
:
( , );
( , ).
- , , .
: .
- ( , ). , () , .
, . (). , , . (): . . , : . (1). , , , . , , . :
. , . ( → 1). , . (1). , , . (, ^ ). , ( ). - .
( 2).
, , ( 3).
, , , .
, , .
42( )
, () .
, . , .
. , . , .
. ( ) .
. , , , .
, , , , . . , , .
, , , . .
. . . . , -, ( ), -, . , . .
. , , , .
. , , . . . , , . , , . . , . ( ). , , (), .
, , . , . . . , , . , . , , .
, ().
. , , . , , , . , , , , , , .
, . . , , , . .
, , .
, ( ) .
. , , . . . , . , , , . , . . , , , , , .
, , . .
43. : .
, .
:
- ( ).
, . , , . : .
: , .
- ( .)
:
1. .
2. . , . , , , , .
2.1
2.2.
2.3
3. , , , npeyaeJ . (. ).
44. , .
.
, :
1. , .. , , . , , . , .
: 1.1 ( )
1.2. .
2. : , , , .
: 2.1.
2.2. .
3. , , .
: 3.1 , .
4. , .
: 4.1. .
4.2.
, , , , . , .
45. .
, , .
1) .
1 (1) , , 1 . -1 , I . |
(2) , . (3) , , , . , , , .
2) , , , .
3) . .
-, , , .
-, .
.
, . .
, , , - .
, .
, - .
. , , , .
, , , . , .
, , ..
. .
, , .
46. . .
- - , , .
, , .
- , , .
, . , .
- , , , .
- . , - , , , , .
- , , .
, .
- , , , .
, , .
, , , , , . , , . , , .
, , , - , , , , , .
47. . .
- , .
.
() . , : ? , : ) ? ) , ( )? (, , , . .). ( , , , , . .).
, , (, , , , ).
, , , , .
- , , , . , : , , . .
( ) - -, , . . , , ().
- , , . .
() . , , , . : , , . .
48. . .
, , , , - .
, , , , , .
, , , ( ) . , - , .
.
.
. , , -. , , .
. , , .. :
(, )-. , .
-. , .
(, , )-. , , (-), ( -),