.


:




:

































 

 

 

 


3. .




:

1) , ;

2) .

:

. , , .

: . ; , , (. ); ; (. ); (.. ).

. , , , , . . , , , .

 

, , , , , ( ). : , .

 

15

, , () ..

. , , :

ü ;

ü ;

ü , .

, . , . . , .

:

1. () . , , . .. , , , , .

1,5 . , 500 . , , . (). , , , , , , . .

2. ( ), . (, , , , ). : - , , ..; , ; .

16

. , , , . . , .

, , -, , ; -, , .

, -, , , , , -, , , , , , .

, : .

, - , S.

, , л.

. .

. .

. , .

( ), ( ), ( ) . , : .

, . . . , , - . .

, . .

, , . : .

, . : , .

 

17

, .

( ) ( ).

, : .

.

- : S л.

: S л.

.

. , .

, - : S л ( S л).

, - - :

S ( ) л.

, : S ( ) л.

. : , , , .

, , . : .

, . : .

, . : .

, . : .

, , . : , .

: .

: л.

: .

, , , . .

.

, .

18

1) 2) . , 3) .

1. . . , . , , . , , . S . . S .

, . () . , S - . : , .

, . : , , , , , .

, S ( ) л. , : (S) () , (). .

2. . - , . , .

, - . : , . : S S .

, - . , : , , , , , . , ; ; . : S S . , , : .

^ , , , , . , : , , . , , .

. , , , , , , . , : , . : S л S л.

, - . : , . : S л S л.

, , , , , : , , . . : , , , , . , : ..., .., ...1.

. , , . , , , , , ..

. : , ( ), , . , .

, , . , , , .. , , .

, , , . , . , , .

^ 3. . , , , , -2.

, . : , (S), (). S , , .

, . : (S) (). S . , .

, . : (S) (). S . - , , .

, . : (S) (). S . , .

. aff/rmo (), nego (). : , , I , -.

, , I, :

( S ): " (S(x) ())

: , S, .

( S ): " (S(x) ())

: , S, .

I ( S ): $ x(S(x) Ù ())

: , S .

( S ): $ x(S(x) Ùù ())

: , S .

. , .

, , , . .

, .

: 1) ();

2) ();

3) ();

4) . ,

. , . ( ; . ).

: , .

, : V .

:

1) () ;

2) () .

, . . ( V). , ( ), , .

, . , , .

... , : , .

, ..., .... , , .

, .

, .

:

1) ;

2) ;

3) .

, .

, , .

, .

, , .

: 1) ; 2) .

, , .

, .

20

, , , . . , . . , .

(a^b) , . , ( a, b) . , , . , (a) (b) , . , , . ( ) .

(a b) . , . : (a) (b). , b . : , . , , .

, , , , . a b.

, a, , . , , () . , , , a, a. , a, a .

(a b) , . , a, . b . : (a), (b). , , , , , .

21

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

, , .

- , () (- ), .

- , (p q).

- , ( q; pq). - - - .

- , , - , . . . , . - . - , . ., (: pq).

- , , : . , . - , ( p, q; : pq).

- , .., ( q).

- , q : q ( ≡ q, ↔ q).

, , : , , , .

. () () , . . .

() - , , . : - . , . : q.

, , , , , , , , , .

() q - . , ( ), : ; , ; , .

() , , . ; .

, p, q, r... , , .

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

, , , , ... , ... .

- , - , - . : ; - , a q - ; - , a q - . .

- , - , -- . : . - , . -, (: q). .

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

() - , .., . : , . ( ) , ( ) - (). : q.

: , -, . : 100 , . : , , , .

.., . : 1940 . 3 , 2000 . 10 . . , .., , .., , .., . , , , - , .

 

22

- , . , : (). : , p). : - () - , (p) . p - , p -. .

, ( ).

: (p) = .

: (q) = p q.

: (q) = p q..

: ( → q) = p q = q.

, . , , .

23

, ( ) , , ( ).

, .

(): , ŗI. . , . : , , I, I.

(): . , . , , .

: , , ?, ?

(): I . , . , , . : I O, I, I ?, I?

: I, ŗ. , : , , . , :

24

, , , . , .

, , , ( ) , .

. , .

, .

, .

, , , , .

, .

, .

, :

1) ;

2) , . - , .

, , , .

:

1) ;

2) ;

3) . , , .

, , .

, , , - .

, .

, :

1) , ;

2) , , .

25

, .

( ), ( ) . , . . . .

. , , , , . , : . , . . , , .

.

, , .

, .

, , . , , . , .

, . : , , .

, , . : S ; S -.

, , , . . . : S ; S.

, , , , . : S ; - S.

.

26

: , , .

. , . , .

( ) ( ).

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

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

( . deductio - ) - , .

: , .

:

, .

.

.

( . inductio - ) - , ().

:

- .

- .

.

- .

, , , - .

, .

, , . .

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

.

28

, . . . . .

, , . , .

, . .

. , .

, , , , .

: , .

. . , , , .

. , .

:

1) ;

2) ;

3) , ;

4) ;

5) , ;

6) ;

7) , ;

8) , , .

. , .

, . . : , .

() , , . .

.

, .

.

, . .

 





:


: 2017-03-18; !; : 292 |


:

:

- , , .
==> ...

1560 - | 1367 -


© 2015-2024 lektsii.org - -

: 0.188 .