:
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) , , .
. , .
, . . : , .
() , , . .
.
, .
.
, . .