> > . .1
<<
>>
<< >>

,

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

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

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

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

. . , (modus ponens). , : - , . , - , - , - . - . ., , . . ., . . . . - , - . , . :

1. ( 7).

2. ( 6).

3. ( 8).

4. ( 1 3).

5. , ( 2 4).

, , . , . . ; ., : . . . , . , , , .

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

:

. 1. ( (

; - , - . ( , . ), -- 1, . . 1 . . . -. , , , -, .

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

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

12- , . ., - , . 12- 13- , , . . , . 12- . : 13- , (. . - ). 12- 13- , . .

. ., . . . (. ). ., , , 1, 2 12-, :

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

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

.: . . . ., 1973; ׸ . . . ., . 1. ., 1960; X. . . . . ., 1969; [. . 518547]; . . . . ., 1971 [. . 296309].

. . .

<< >>