. , , , , . , , - . . , : . , .
, , : . , ( ).
- , , , , :
S . |
- S. |
. . , , : S л, S -л, - S. . , . ; ; ; . .
- , . .: - , 2 - 2 . - , , , .
, , , , , , . , ., 35, 205, .
, , ( ). (), ., , . (), . , . , .
|
|
(, ) - , . ., (A v B) (B v A), (A v (A & )) A , . . , , , . A , -> B -> .
- , . ., , ; , , . . .
- ( . disjunctio ) , . . . 1 v A2 v,..., v An, n ( , ), a v . . .: . , (.: ), . . () A1 v A2 ( , ). : (A1) (2). , , . (.: ) . . , .
. . , ., : S 1 P2 1 p2 S. , . . .
- , , . .-. . : 1) -; 2) -. (1) : S 1 p2 ( ); S 1 ( ); S p2 (). , ., : . . . () (.: ).
|
|
(2) : S 1 p2, S 1; , S 2. :
.
.
.
().
( . ratio - ) - , , , - , .
. . . , . , - , ., , , . . . , , ., , , .
, , . , , , . .
. , , .: ... , ... . . .-. : , .
, . . , , . ., .: . . : . . - , . ., , . . , : 5 л. . ( ). .
(), . , , , . . , , .
- , , , , . .
( . sillogismos) - , , - ( S л, S л, 5 л, 5 л), (), - (.: ). . :
. - . | (1) |
. |
. , - . , , . , , ., . . : , . , , ( (1) ) S. , , ( (1) ) . , , , ( (1) ) . . (1) :
|
|
.
S .
S .
., , , . , , ( (1) ). , , . , , .
: () ( ) S () (), (S) (), : . . . .: , , ; , ; , , . . . , , . ., , . . : 1) (1- ); 2) (2- ); 3) (3- ); 4) (4- ).
- (), , , , , . , :
, b, ,... | - , , ; | ||
A, , ,... | , ; | ||
, , z,... | , , ; | ||
X, Y, Z,... | , , ; : , q, r,...; | ||
~; ù | - , ; : , ; | ||
; Ù; & | - , ; : ; | ||
Ú | - , ; : ; | ||
- , , ; : , ; | |||
; É | , ; : , ; | ||
º; | - ; : ; | ||
- , , ; : ( , A, : ); | |||
T; t F; f | ( . true ); - ( . false - ); | ||
" | ; , ; | ||
$ | ; : , ; | ||
L, N, | ; : , ; | ||
, à | ; : , . | ||
, , , , (.: ).
|
|
- .
(384 322 . .), -. . . . , .
(. syntaxis , ) , , , . , , , , .
- , . . ., : , , , , , . : &, v, ->, º, ~. . . & ( »), A v - ( »), -> ( A, »), = (, »), ~ (, A, -A).
, . ., .
. : . , , , . . , . , . . . , , , , . . , . ., , . . , . , . . . ., .; . , . , . (.: , , ).
. , , . . . ., : , , , . . , , , . , . . , , , . : , , .
|
|
, , . . . ., , , . , , - . , . ., & -> , , .
( . soros - ) - , , . .: 1) ., ; 2) ., .
, , . . , . , , , , , .
. - , , . . : , ; ; , .
- , . . , . . , , , . . , . , . . . .
, . . . , , (.: , , ).
. (.: ), (.: ) (.: ). . , .
- , . , ( ) , , .
: , . .: . , . . , , , .
- , , . . :
1. . . . - , , .
. , , - .
2. . . , .
( . theoria , , )
, .
( . terminus , , .-.) 1) - , ( ). . , ., , . . ; 2) . , , . . , . . - , (.: , ), , .
- , , , . . . , , , , . . . . . ., - , . . , . .
, , , .. .
, () . . : , . .: , , , .
. . , .
- ( ), , - (., ).