, , .
:
1. . , (, ).
2. ( , - ).
3. .
- , , .
4. .
- .
, . ,
().
, .
() - , . , . : 1) , () , ; 2) ... ... . .
.
, .
, , . , , .
:
1) ( ); ) - , , , , , ;
) ( ) , - , , .
) - () , , , .
2) ;
3) .
2. .
- , .
: - .
|
|
: , ,
: , - .
: ,
: , - , .
: ,
: , .
: -, -. .
: , .
: , : , , .
: .
: .
: .
: , .
: , .
: .
3. .
- , .
2 :
1)
2)
1. , , .
: .
2. , , .
: , , .
4. , .
: , . .
5. . .
- , .
. , , . , .
. . .
, , , . , , , .
. , . , , , , , , . . , .
|
|
, , . , S1, S2,..., Sn, .
6. . .
- , , .
:
1) :
, S, , .
:
1) - , . ( )
: .
2) . : .
3) -, - .
: .
: .
! , , .
:
1) S
:
2) S
:
3) I - S
: .
4) - S
:
2) :
.
, , .
1 . ( &). , , .
: .- 2- .
2 . ( V), , , . 1 q , .
: .
3 . ( V ). , .
:
4 . . , , (→ - -)
: , .
, , . (: , .)
5 . (= - , ). (, q) , .
: ,
6 . . ( )
:
7. , .
, , . , - , - , . , , , . , . .
|
|
. , : , .. .
, . , , . , , ( - ) - , , . , , . ; , , , . . . .
. , , , , . , .
8. .
, . , , . , . , , . .
, . .
, ,
. , , : ( ), (, ), (, ), (, ), (, ), (, ) . .
9. .
|
|
, , , . () ( ) , , () . :
1- : , ""
2- : , ""
3- : , ""
4- : , ""
: "" "".
, "", , , "", () "" . , , , "" "", . . , .
, , : . , , , , , . :
1- : , ""
2- : , ,
: "" "".
, , , - . , , , , , , .
10. .
1.
, , .
.
1) .
2) () , .
3) , .
- .
. , , . , , .
2.
, , ; , .
, .
, . ( ). , , .
|
|
.
(1) , .
(2) , .
(3) , .
- .
3.
, , .
. , , , .. , , , .
, , .
11. .
, . : () ( ); (); ( ); ( ).
:
- .
.
- .
. , , . . , , . - . . , . , . . . , .. , . , - . , , .
, , . , , . , .
- , . .
12. . .
. , . , ( ) ( ) - ( )
: .
1) , .
: . , .
3 : , , .
- , .( ).
, . .
- , , , . ( )
2) .
2 : .
- , -.
- , - .
13. , .
- , .
:
1) V
: ,
2) V 1, ( 2 )
3) V
:
4) 0
:
:
, ( ).
V .
() , .
14.
, , . , , .
, , (); , , (). : Dfd Dfn.
, . - . , , , , , . .
1) , 2) .
, - (), , ..
, .
1. : .
, , . , : , , . . : .
2. . ; , , .
, .
15. .
.
. : , . , . : → , . : ,
. , , . , , ( , ), .
, , .
, .. , . , , . - , .
, - (, ) .
, , : .( -)
, , . : .
: Av A, . : .. .. : , , , , .
16. .
, . , . (deduction) . . . , , . , , , .
, , , , , .
, .
, , , .
, : , , .
, .
, . : ) (); ) ( ); ) ().
17.
. , ( " ").
, (, "", "", "", "" ). . , , (, " ", " " ). , (, "", "", "" ). .
() , : " ", "", "" .). , , , : " ", " ". .
- , : "", "", "", "", " . "" .
- , , - , : "", "", "", "", "" .
- , , : " "-" "," "- " "," "-" "," "-" " .
- , , , : "", "", "", "" .
- , , : "", " ", " ", " " .
, (, " ", " ", " " .). "" "" (" "): "", "", "", "" . - "": "", "" .
, : "", "", "", " " . , .
- , , : "", "", "" .
18. . .
:
1) , . , . , . . : , . , , . : , , .
2) , . . () (), () (), . , , . , . , , - .
3) () (). , . , S (.. S ). S , S . , . . , . . , . - - , , , : , . , , , .
4) (I) (). , . , (3).
, , , .
19. . .
.
, ; . - , , . : " " " , ". ( - , - ), , .
.
.
, . : , .
, , . . , .
- , .
, , .
, , .
, , , .
.
, . - , - .
- , , .
, , . , .
, , .
. , , . , . . , " S "; , " S ". , , .
; , , , . , , . , . , . , , . . , ,
21. . .
. S . S . s , . . , . : S , S P1.
.
. :
1) ; 2) ; 3) ; 4) .
. , , , , , .
. , , .
20) .
, .
, .
, , .
, .
. .
: , . , , , , , , . , . , , . . () .
, . . ,
. , . , . , , - - . . , , , .
, . , . .
.
(), ( ).
, , ( , - - ).
( . homos onyma ) , (, .).
22. , .
1. .
, . . , , , , , : .
.
, , .. , . , , , , , .
.
2. .
. , - , . , , , , .
3 .
. , , . , . , .
4. .
, . , , , , . . , , , , , .. , , , . ,
23. . .
1. . , . , : . , : . , .
, :
) . ) .
2. .
3. . , , . :
) . .
.
4. . : . , : , ( ) , . ? ? .
, , . , . , , , , . . . , , .
, . , , , , . , , . . , .
, . , , .
, , . , , .
, , . . , , : , , . , . . , , . , , . . : Dura lex, sed 1 , . : , , ( ), .
, , . , , : , . -. ( 91 ): , , , , , , , , , .
24. , .
́ (́) , . , , .
:
: . :
1. ;
2. ;
3. .
: , . : ( , , ), .
: . : .
: .
25. .
. , .
, , . .
26. , .
: . . , :
1. ,
2. .
: . 1
- , , , .
2- .
3- , .
4- , , , , . : .
: . : . : , .
27. .
(.-. λογική , , λόγος , , ) , , . , . , , . , , , , .
, ( ) , .
.
28. . , .
. XVII . , XIX . .
:
ABC x. ADE x. AFG x.
, A x.
, A, B, C, D, E, F, G, (A) . , . , , x. , A x ( , , - ). , , . , . A, B, C, A, D, E, A, F, G, . . A, , , .
:
ABCD x.
BCD x.
, A x.
, : A , .
x , . , A x. , , , , . . , . , ( , ), , , . . . , , , , , , , .
:
A BCD x. 1 1 A BCD x. 2 2 A BCD x. 3 3 , A x.