, , , . () . () .
, . , , , , ..
. ( nominae - , ) , , . : ( monos + theos ) , . . : , , , , .
. . .. , .. 㳿 .
:
1. : ,
. S : S = S. : (S) (). = () (S). , . , . ( ). , , ( , , , ).
2. () (S). : . .
3. 䒺. : . . , , , .
4. . ( , ) , ( , , 㳿, ; , 䳿 , ).
|
|
6. . .
, , . , () . /, ( : , , .... , , ), , , , , () .
(), , ; , , , , , .
.
, . , , , -. , ( ), . ᒺ .
, , . , , .
( ϳ ϳ) .
, . () , . , . , , . 쳿 : , , ; , - () . : - ( , ) , .
7. (, , , ).
, , ().. , . , , , , - . , . , -: , .
. , (-), , ( + =1).
|
|
: 1-=
8. .
(. : , , ; . : ; . : , , , ; . : , , , ) , , .
() , :
1. , ᒺ , (). : S . ( affirmo ). : .
3. , ᒺ (, ), . : S . ( affirmo ). : ϲ .
4. , ᒺ , . : S . ( nego). : .
9. .
, , : (), , ..., , .
. : 璺, .
ǒ () . ᒺ : S1, S2, S3 P. : , ϲ . S . S 1 S 2. .
() (). , . , . ᒺ, . : () .
() ..., . ( , ) , ( - ). : , . 100 , . , - q, :p q
10. .
, .
, . ; .
(), ( ) (, ). , ; , , ; () .
|
|
, , : () (). , .
( ), ( ) 㳺.
( deductio ) , . , . (S, P, -) . , .
():
. .
( inductio ) , ; , , / .
㳺 , () /, .
11. : .
, , . -- , .- . , . , , - , ', , , , , , , , . : . . , .
12. .
, , . . , , . .1.ϳ , .2. , , , , .3. , . . .
13. .
, .³ : ( . ) ( , ). : ( , , , )( ). : ( , , ) ( ,) ( ' ).
|
|
14. .
, . : , , , , , , . : , , , , . () , , . , .
15. : .
, . , , , . . , , .