.


:




:

































 

 

 

 


. .




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. . .

, , , , - .

, , , , , .

, , , ( ) . , - , .

.

.

. , , -. , , .

. , , .. :

(, )-. , .

-. , .

(, , )-. , , (-), ( -),





:


: 2016-12-03; !; : 609 |


:

:

, .
==> ...

1629 - | 1444 -


© 2015-2024 lektsii.org - -

: 0.288 .