win 
koi 
mac 
 |   |   |   |   |   | 



. 4.
30.10.2002 18:09 |  

IV.

, . - , ; - , . . .

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

:

() , ;

, ;

, .

, . , . .

-


.

- , - . , . , :

-


- , , . . :

-
-


-

, , , .

, :

  • ,

  • ,

  • .

" " deductio( ). - , . " " inductio(). , .

"" , "" .

- , , , , . , .

, , . , , .

- , : , , " ".

, .

- , . .

) , :

S -> S -

: " - "; " ". .

) :

S - -> S

: " " -> " ".

:

- > , -> , I->0 , - >I.

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

- , .

, , . , , .

S -> S

: " " -> " - ".

S -> S

: " " -> " ".

S -> S

: " - " -> " -

, .

: , , , , . . , .

- , , , , . , :

  • " S ", S - ,
  • , , ; - S .

, , . .

S -> - S

: " - " -> " ".

S -> - S

: " " -> " ".

.

S -> - S

: " " -> " - ".

, , , , . , , , .

, , - , , I , . , , . , . , .

, A : " ". :

- " " - ;

I - " " - ;

- " " - .

. , . , , , , - .

- , , . : ) ; ) ; ) .

( - . "syllogismos" - )- , , , - .

: ", ( ), ( ), ".

:

-


- S - , , . , .

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

, . ( . medius - ).

. . . : "" " ", "", , , " ", , "" , , "" " ".

, :

( ) ( )
( S )- ( )


( S ) ( )

, , , . .

- , ( - ) ( S - ) , :

:

( ) ( )
( S ) - ( )


( S ) ( )

: 1. ; 2. ( , ) .

- ( - ; S - ) , :

:

( ) ( )
( S ) - ( )


( S ) ( )

: 1. ( , 0 ),2. ( , ) .

- , ( - ; - S ) . :

:

( ) - ( )
( ) ( S )


( S ) - ( )

: 1. ( , I ),2. ( I , ) .

- , ( - , - - S ), :

:

( ) - ( )
( ) ( S )


( S ) ( )

: 1. ( , I ), ( , ), 2 . ( , ), ( , ) . . , . , , , , .

, . . . , .

, : .

()

- 1. . " ", , .

:

-
-


-

- 2. . , .

:

( )( )

( S ) -( )


( S ) - ( )

- . , , . " ".

:

( ) ( )

( S ) ( )


( S ) ( )

():

- 1. , .

:

-

-

. , - , . :

 

 

 

 

- 2. . , . , " - " " - " - . (" ") - (""), .

- 3. . , . : " " " " - .

- 4. - , . : " - . . , ".

, . . , . , .

, , : ( A ),( ),( I ) ( ). .

, .

64. 19.

1- : , , II , IO

2- : , , IO ,

3- : I , II , II , , , IO

4- : I , , II , , IO

1- , 2- .. , 1- , - ..

, , .

:

  • , ;
  • ;
  • ;
  • ;
  • ;
  • ( ).

: " . . , ". , - . "" - . "", " , ", - , . "", , , - .

" " , " , ", " ", "", -. "" , .

- ( A ), - ( ) ( E ). , . ( +), ( -). ( S +) ( +). , ( S +) (+). :

( + ) ( - )

( S +) ( + )


( S +) ( + )

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

, . , , .

, , , . - . .

( ) - , - . - .

- , . :

,

,


,

:

, .

, .


, .

- , , , , . . . : .

- , - , - . :

,


- . : . , - .

- - , .

:

( ), ( b )

"" ( a )


"" ( b )

- , .

:

( ), ( b )

"" ( b )


"" ( a )

- - , .

:

( ), ( b )

"" (- b )


"" (- )

- - , .

:

( ), ( b )

"" (- )


"" (- b )

, - . - -

- , , - . - : - -.

- - - , . :

b


-b

:

( a ), ( b )

( )


(- b )

: .

- - - , , , . :

b


-b

:

( ), ( b )

(- )


( b )

: , , () .

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

- - . - .

. , .

:

( ), ( b )

( ), ( e )

( ), ( )


( b ), ( )

, , , .

:

( ), ( b )

( ), ( ) (- b ), (- )



(- ), (- ).

, . , . , , , . . .

C

, , ; , , .. .

. , . , , , , . - . : " - ". . , . . , , , , : " - , ".

, , , , . .

- , , . . , , . , , .

- , . , . , .

, , , , .

?

- , , , , .

. . , ( ); - ( ). :

  • 1) ;

  • 2) ;

  • 3) - .

; , . () .

. , , - . , , () . .

. - , . :

S 1 -

S 2 -

S 3 -

..........

S n -


S 1 , S 2 , S 3 , ... S n

-

, , . . , , . :

  • , ;
  • , ;
  • ;
  • .

.

.

.

.

.

.

.

, , , , , -


,

. , , .

, . , , .

- , . :

S 1 -

S 2 -

S 3 -

..........

S 1 , S 2 , S 3 , ...


, -

, , . , , .

:

""

""

""

""

"", "", "", "" -


,

: .

, . , , , .

- . , , , . , . : " , , , , , - ".

, , , : ) , ) , ) .

, .

1. . , , , . , , , , . , .

, , , .

2. " , , ". , - , . , " ... : , ... , : "!" ... , , : "!" . " , - , - , ".

, , , , , .

, .

3. . , : , . , 100, , , .

- . , , . "": " , . - , , - ..."

, .. ( ), .

, .

, , , , . , , , , .

, :

;

, ;

();

.

, , .

, - .

- , . . : , , . , .

: , , , ( ) .

:

D

FG


,

: , , , , , , , ( ) .

:

D


,

: - , , , , .

:

A 1 1 ;

2 2 ;

3 3 ;


,

: ( b ), ( ), , , .

:

b

b


, b

, , . , , .

, .

. () . , . , . . , .

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

( ) . . . , , - .

, . .. , .

, , .

- , ( ) . , .

- , , , .

- , , , , . .

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

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

:

, b, , d

, b,


, , -, d

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

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

. , , , , . , (), .

1 - . , :
1) ; 2) .

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

:

, b , , d , , f

, b, , d


, e , f

. (), , , , - , .

:

. , , .

. - , .


, .

. . , , . , . .

- - . , , . , , . , ( aXb ) ( 1 d ) . , X X 1, , b d. , . . , , , , - . - ( ) , X 1- ( ) .

, , . .

2 - . , : 1) ; 2) .

, , . :

X , b , , d , e
, b, , d
, e, , d


.

, . , . : " , "

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

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

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

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

, , . , , , . .

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

, , .

. () . , () , .

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

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

, . , . , , , , .

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

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

, , . . ( ) .

, ( ) .

1. .
2. .
3. .
4. .
5. .

: 4.3 [: 82]
 

 | 


' '.

Rambler's Top100 Rambler's Top100