..

1999 .


(1) .............................................................................................................................................4
I. (3) .................................................................................................................6
I. (1) ......................................................................................................6
1. (1) ........................................................................................................................7
2. (3) .................................................................................................................9
3. (3) ...............................................................................................12
4. (1) ..............................................................................................15
2. (2) ................................................................................................................................16
5. (3) ................................................................................................18
6. (2) .........................................................................................................................19
7. (2) .....................................................................................21
8. (1) .............................................................................................................23
9. (1) ..............................................................................................27
10. (1) . ......................................................................................29
3. (3) .............................................................................................................................31
11. (1) ............................................................................................................31
12. (2) .............................................................................................................33
13. (3) ...........................................................................35
14. (3) ............................................................................38
15. (3) ..............................................................................................................40
16. (1) ...........................................................................................................43
4. ........................................................................................................................44
17. (1) .....................................................................................45
18. (3) ...................................................................................47
19. (3) ...............................................................................................................................51
20. (1) ...........................................................56
21. (2) - .............................................................58
22. (2) ....................................................................................59
23. (1) ..............................................................................................................63
24. (2) ................................................................................................................64
25. (1) ...............................................................................................................................67
5. (2) ....................................................................................................................71
26. (2) ....................................................................................................72
27. (2) ............................................................................................................73
28. (2) .........................................75
29. (2) ................................77
30. (2) ............................81
31. (2) ....................................................................................................83
2. (3) .............................................................................................................87
6. (3) .........................................................................................................87
32. (3) .................................................................................87
33. (3) - ......................................................90
34. (3) .................................................................................................92
.....................................................................................................................................................95


,
,
.
,
( ). 1 , 3 - .
: ,
. ,
-
, .
,
. ,
. ,
,
,
. ,
( ),
, .
,
.

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

. (1 2):
.
- .

.
- .

- ? , ,
(1) : " ", (2) - "
". ; , ,
, .
:
.
- .
.

.
.
.

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

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

 I. (3)
.
(384-322 . ..),
- (427-347 . ..).
. .

, , .
,
. ,

, . ,
500 .

.
-; , ,
"" ( ).
. , ,
, ,
. ,
.
(1646-1716 .) .
, -
, .
,
.
, ,
.
,
, . , ,
,
,
.

I. (1)
,
. , , , ,
. ,
,
. ,
;
.
,
, ( ) ,
, . :
- , ,
, , . ,
:
, , , ,
, .
;
,
.
, , .

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

,
. ,
.
. ,
, ,
;
, .
, , - ,
, .
;
, ,
. ,

.
1. (1)

- .
"". " [] ,
..., - , - ;
- , " (. . .
1. ., 1975. . 127). " -, ,
; , ,
" ( . . 2. . 280). ,
, , . ,
, , , ,
( - , ).
: ,
.
: = . ,
.
" , " ,
. .
. , , :
" "?

? "",
, . ..
, : " !"
, "", ,
.
- .
, ,
" ". ,
, .

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

 . , -
, - ".

.
,
.
,
. ,
.
,
. ,
, .
-
; ,

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

, ,
. ,
, ,
, ..
, ,
. ,
= .

, , , ,
, :
, , , , , .
, ,
, . , " ,
", ",
",
. ,
, , ", ", ",
",
.
, ,
,
, . ,
, , , ,
. " - " ,
, , ,
1991 ; ,
, . "
" , " ",
, .
, ,
. , ,
, -
. ,
.
, ,
.
, , ,
?
, :

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

, .
, , . , ,
,
, , , .

, .
2. (3)
,
. ,
,
: - ( -). , ,
,
.

 , ,
,
, .


. , ,
: ",
" (. . . 1. .
125). , , ,
, , ,
. " , , , - ,
" ( .). , ,
, , , , ,
: , ,
. " , ;
, .
, , , : ,
" ( . . 126-127). ,
.
- ,
. ,
, ,
, . ,
, , ,
.
- : ? - .
- .
- ?
- .
- , ? .
. ,

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

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

, ,
.

10

(, 20 , , ),

, , .
, , , , ,
. ,

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

. , ,
,
.
. .
, ,
. ,
XIX , ,
, . , ,
, , ;
, . ,
, .
,
.
, "", ,
. . ,
, : " "?
- ,
. , ,
- , ,
. .
, , . , , -
, ,
,
, ,
. ,
,
, ,
. , ,
.
"" ,
. ,
. ..
: " , ",
. , ,

11

 , , ,
.
,
, . .
, ,
-: ,
. ,
. "",
, .
.
, - ,
;
,
, . , ,
, ,
. ,
.
, .
,
.
,
, :
, ..
. - - .
, , ,
.
. , - , .
, , ,
. . , ,
: ,
-. ,
, , ,
, .
, ,
.
,
.
.
.
3. (3)
: (
) ().
. , ,
, .
: - , , , , -,
. "" "", "" "", "" "", "" "".
, ,
, ;
, ,
, , : , , ,
. .
-
, ,

12

 : "" "", "" " ", "" "", "" "

". , ,
: - .
- , , ;
, . - ,
, - , ( , ,
, , ).
, "
, - , -
, " (. . . 1. . 141).

- .
. " ".
, :
1) " ", 2) " ".
, , ,
: ", ".
, " "
.
, - . ,
" " " " .
.
, . " ", " " - ,
( ).
, ,
. , .
, ,
"" "".
. , " 26 1812
" : " 26 1812
"; , : "
..." : " 26 1812 ".

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

13

 , ,
.
.
, ,
. , ,
,
.
, - ,
, , , ,
, , - .
, +20 +22 . ,
, -
, .
, +20 , , +20
.
.

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

14

 : (,
, 1, 2, 7, 9,3 ..)?
, ,
.
: ? , ,
, . , , .
. ,
, , , .
, ,
, , , -
.
. (1881-1966) .
, ,
- .
.
, , ,
, .
- - ,
- - , , ,
.
, .
,
. .
- ,
.
,
.
4. (1)

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

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

15

, , ;
, .
, .

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

. ; , ,
, ;
.
.
,
. , , .
.
(. 460-370 . ..),
.
, ,
.
, , .
, . -
.

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

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

16

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

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

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

17

 , . ,
, . ,
. , .
, ,
, .
.
, , ,
. ,
, .
. ,
. , ,
, .
. - ,
, , .
-
, .
, ,
, .
,
, .
, , , ,
.
5. (3)
.
. ,
. , .
, "", ,
, . , ,
, - ( , ) ,
, , ..
: ,
. ,
: , , , "
", .
, .
: , .
. , "".
, , ,
. ,
, , " ". , ,
: , , . .
- " ", "
" -
- , .
:
, , .

.

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

18

", " ". ,

.

.
, . , , ,
: 1)"", 2)"", 3)"", 4)"
", 5)" ". , ,
, , ,
(), .
, - .
- , -
.
6. (2)
, , . . ,
;
.
. . "",
, . ,
, , . , " "
, - .
"", "", " " -
. : ,
, . ,
; .
, , . "
", " "", " ", "-".
. : " ", "-", ",
", "
".

.
. - (. 1).
: 1)"", 2)"", 3) " ", 4)"", 5)"",
6)"", 7)"". .
( 3) ( 1) 3
1; ( 6) -
, , 6 3.
, ,

19

 . 1, 3, 6. ,
, . , ,
, ""
"". : 1-3-6 2-7
.
.
.
, , ,
. , , ,
- .
,
,
, . , , : , , ,
. , "" .
, , :
" - ".
.
. , ,
.
.
.
, ,
;
. - , - , - , - .
. , , ;
. . ,
, , , .
, , , ,
. ;
- ,
.
, . ,
- ? ,
, ,
, , . , ,
,
.
, , ,
.
, ,
. .
. , ,
, -
( ).
, -
, - , , , .
, (,
, ). , ,
, . "", "", "", ,
, "", "", "",
"" - .
.
, , : "", "",
"". , , -

20

 ,
, ..? .
, ,
, .
.
.
, .
, .
,
.
,
. : "", "
", "", "" , "
"", " ", " ", "
" - .
. , , ""? ,
- ,
, . -
, 365,
, 365.
,
. ,
.
7. (2)
, -
, , , .
, , ,
.
.
; , .
.

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

21

 (). ,
; ,
. , ,
, , ,
. ,
(. . 2).
(). ,
. "
" "" : , ,
, , . ""
, ;
, , ,
(. . 2).
(). , ,
, ()
(). , (),
.
, - , ,
, - . ""
"". (. . 2).

()
() () .
, ,
.

22

 ().
.
. ,
, ( -
, -). , "" - "", "" - "".
,
: , , , ;
, , .
(. ).
(
). () ,
(. . 2). , ,
, .

. , .
().
, - ,
, , , .
"" "", "" "". , ,
, .
, .
, ;
,
(. . 2).
().
, ,
. , , , - ,
, "",
, , , ,
(. . 2).
. , "" "" ,
, "" ""
" ". , ,
.
. , ,
. ,
. ,
:
( ,
) ( "" "" ).
, , :
.
.
, ,
. .
8. (1)
.
, ,
,
. ,
, .
. , ,
. ,
, .

23

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

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

.
. ,
,
: ,
.
,
, , ,

24

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

. , ,

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

25

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

26

 , ,
. , .
9. (1)
- ,
.
.
,
, .
1. . .
,
.
, .
, - ,
, ,
, ,
, . (
), . .
, , ,
, , ,
, .
.
2. .
. , , ,
, . ,
.
, ,
, , ,
, .
. -
, , .
: " - " " - ".
, , ,
,
, .
, , , :
, ,
.
. : " " " - ".
, .
. ,
, , .
, , .
, : ,
, ..
. .
.
, .
, " - , ",
, ,
" ".
, , .
.

27

3. ( ).
" ".
,
, .
, , , : ,
, , , , .
, ,
, ,
.
, .
, , ,
. - , ,
. , , ,
, . : , ,
.
, . (.
). . ,
, , . ,
, , .
, , ,
, : , . ,
, , .
, , : ,
, . ,
:
, ,
. , , - ,
.
4. .
, , , . " -
" - ; , ,
, , ""
. ,
, -
, .
, , , ,
.
.
. , "",
"" , :
, .
, ,
, ,
. , .
.
, ,
, , , .
, ,
.
: - ; -
.
. ,
. , ;
,
, .

28

 , .
. ,
, .
, .
10. (1) .
, .
, -
, .
, ,
, . ,
,
, , : , ,
. ,
? ,
- ,
- . , , , -
, , ,
. ,
, , .
.
, ,
. , ,
- , ,
( ,
).
- ,
, , -
, .
, , , ,
, ,
, .
: , , .
,
,
.
.
, ,
. : 1) - ,
, 2) - , 3)
- ( ),
. ;
.
1. .
. , , ,
, . ,
, ,
,
- . -
. , ,
, , , . , ,
, , , ,
, .
.

29

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

. , .
() .
3. .
. :
- ,
. , ,
:
, , , , ,
, .
,
: ,
, ;
, .
.
4. .
. , ,
, .
, . ,
, ,
. -
.
:
. ,
: , ,
, . ,
,
. ,
- , ,
.
.. , , "
". ,
,
.
, :
,
. - . ,
, : .
, ,
, .
,
.
.
,
" ".
.

30

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

, .
. , ,
, .

3. (3)
,
, . ,
, ,
. .
11. (1)
,
. , , .
, , ,
, .
.
, , .
- , ,
: " ", " ", "
, , ", "
", " ".
. , ,
; .
.
.
- , : 1) -
2) , , , -
; 3) , .
,
. .

31

 ( , , ),
, , . ,
: " ?"; ", !"; "
, ".
, ,
, , , ,
- , .
, ,
; .
,
. ( )
: " ", " ", "
", "
".
, : " ",
" ", " ". ,
. ,
, .
: aRb, a b - , .
,
, , .
, . ,
, , :
. : aRb bRc, aRc.
"" ( , ,
, ). ,
, .
: aRb = bRa. , , A B, B
A. ,
: " - II".
, aRa. ,
, . ,
- ,
. , ,
, .
,
.
, ,
. , " "
: " , " "
".
, (
) : "
", " 31 ".
, .
: . , ,
: ? ,
. , ,
, , , , ,
. .
.
.
, - ,
- 1887

32

 , .
?
, ,
. , ,
. , ,
. , , .
.
, , , ?
, ,
, .
,
, , ; -
.

. ,
- (. ((x) : x. ((x)F(x) :
x, F.

,
, - .
, .
12. (2)
- .
- , , .
, .
S.
, ,
- . P.
" ", " " "" "", "" ( , ) "" ( , ).
, , . :
" , , , ,
" -
: " , ",
.

- .
. , ,
, , .
- , . ,
: " "
, ( ). ,
, , .
,
. , " "
: " ( , )
" (S - , P - , ).
,
: " ( , ) " S -
, P - , ).
,
. , " "
, :
" ",

33

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

.
( ).
"", .
, " ", .
" ", .
? ,
, . , , .
, ,
, ,
, - ;
.
, .
- , . .

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

34

" (, , ) - .
, -, .
: " ", "
".
, - ,
: " ", "
1812 ".
.
, , , .
, , ,
,
-. .
, , .
"". , : "
".
, , ,
, ?
- , .
, ,
. , , ,
- , ,
. .
, : ,
; , ,
, - , ,
.
, "" " , , , ,
", -, . , ""
" ", -, .
, -
. .
: " " ( ),
: " ". , . ,
"". , "
" " "
-, - - .
13. (3)
,
- , - .
,
.
:
() S ( ) P.
.

, .
.
. - . ,
, .
- " S P". , 1) " - " 2) " "; ,
3) " " 4) "

35

" . A (a) affirmo (). : S a P;

: S P.
, , ,
, , 3. S
P ( ).
, , , , ,
, (3), ,
, , (4),
, . (2)
,
.

, , , ,
. .
, " - " 3,
. ,
( ) .
.
- - : () S P. 1)
" ", 2) " ", 3) "
" - . nego () - E
(e). : S e P. : () S P.

36

 " S P" ,
(. 4).
, ,
, , -
. , 1) " ", 2) "
", 3) " ".
affirmo - I (i),
: S i P; : S P.
(. 5). S P
, ,
. , , ,
, ; ,
.
( - ,
, P S).

37

 , , , ,
,
. ,
, : , ..
S P . ,
, .
, ,
. nego - O
(o). - S o P; : S P. 1) "
", 2) " ", 3) "
", 4) " , ".

, 6. ,
, , , (
), , , . ,
(2) "" "" . (3),
, . ""
, , ,
. , , "" ,
, - ;
. (4) , -
( , ). ,
,
. , "" (
) - ", , , ".
, , ,
, , .
, .
, " - " , ,
. 3 ( ).
, , ,
, , . ,

,
, , , .
14. (3)
-
, .
, , ,
, .
, . , "
", ,
( ),
, (
). , , "
" , :

38

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

. 3-6,
, .
. .
, , (.
3), , , " - ". , , .
, . ,
(S) (P) - S, P . " - " " -
". , ,

. , ,
( ),
. ,
. ,
, , S.
, ,
.
.
,
(. 4). - ,
, , . ,

- .
;
"". , "
- "; ,
, (. 5).
. , S P S
P. , " "
. , ,
. ,
:
P ( ) S. ,
.

39

 ,
: S ,
P. , , ,
S
P (. 6). -
, : -
. , " "
, , "",
"", , , ,
"" "";
: - .
, , , ,
, -
P , S. ,
, -,
,
. ,
, , .
, .
.
15. (3)

.
, ,
, - ,
, .

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

.
- A, E, I, O (. . 7).
. AE
, , .
; ,
, , ,
. , . S a P S
e P : , , .
: (S a P S e P) ,
, , ,
, , .
AO EI
. :
, . ,
: ,
. , ,
, .
IO , , ,
.
. ,

40

 . ,
, ,
, S i P , S o P ,
, , S o P. , , S i P .
S e P (
, ); , S e P S a P
( ); ,
S a P, S o P.
, S o P, ,
S i P .
. , S i P (S o P) , , ,
S e P (S a P),
,
, (
S i P) S o P ,
. , :
, , ,
.
AI EO . -
: (
S a P, S e P) (S i P
S o P). , ,
. ,
; , , - ,
, , , .
. ,
, ( , (
) - , ).
,
. , , ,
; , , ,
. , S a P S e P,
S i P S o P,
S i P S o P
S a P S e P.
.

. , S a P (S e P) ,
S e P (S a P), ,
S a P (S e P) S i P (S o P). ,
, .
- ,
.

41

 , , "" " ,
". -, "
", .
, . 1) ,
; . 2)
( ), ( ,
).
, ,
. , .
, , ,
,
.
, : " , (1)
, , (2) ".
, ,
.
- S i P, - - S e P. ,
EI (
, ). .
, - : "
",

42

 (2). ,
.
.
S a P: " - " (
, ).

.
.
16. (1)
,
. ,
. .
, ,
, ,
: ,
, ,
, , .
,
- .
,
,
.
, , .
, , .
( .
aletheia - , .. , ), ,
:
, - ,
.
, , ,
" " ;
, , .

, .
, ; ,
. - ,
. ,
: ", ", "
".
,
.
, , , ,
;
,
, : , , , .
, , , .
. , ,
, , , .
.
, , - -
. : "", "", "".
.
( . axios - ). ,
: "", "", "".

43

 . : ", ",
", " - . ,
: "", "",
"", "", "", "" .
. : "", "",
"". . -
, , ,
.
( . deontos - , ). ,
() , , - ,
, , , .
: "" (" "), "",
""; - "".
, ,
. ,
.
. . ,
- .
: "", "", "". : " ( -)", "",
" ( -)".
( . episteme - ).
.
-. ,
. ,
, .
: "" (""), "", ""
(""). : "" (""), "",
"".

4.

- . "", , ,
- , , , ,
. , ,
, ,
, . :
64 3 4, 12.
64 12.
, 64 3 4.
. ,
, ( ).
- , , :
, ; ; ,
.
- , ,
, - .
,
.
,
.
.
, .
. , ,

44

 , ,
, ,
, ,
.
. . ,
, , .
.
.

: -, , -, .
,
, , , .
. .
,
.
. , , ,
.
,
, , ,
, ; , ,
;
.
17. (1)
.
, ; .
- , ,
, .
- , .
: "
", " ".
. ,
. ,
, , :
(" ", " ")
. :
( " " " ", "
", " ", " " "
".
, ,
.
. .
"" (" " - "
"); .
"" ("
" - " ").
- A, E, I, O.
.
: S a P => S e -P.
: S e P => S a -P.
: S i P => S o -P.
: S o P => S i -P.
() ; -P.
-
.

45

, , : ,
. .
. ,
- A, E, I.
, -
.
S a P , , ,
, .
S a P => P i S.
" - "
: " - ".
.
, , .
.
S a P => P a S.
, " - " (" - "); "
- " (" - )". -
, , ,
; -
,
. , ,
, ,
.
S e P. ,
, .
S e P => P e S.
" " (" )"; " "
(" ").
S i P. ,
. ,
.
S i P => P i S.
" " (" ").
, ,
, ,
.
S i P => P a S.
, " " (" - "). "
- " (" - "). ,
, ,
. ,
.
,
S P. ,
, :
" " => " - ". ,
,
.

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

46

. , ,
:
" - " => " " => "
".
, ,
; ,
"", "", "", "" ..
, ,
.
, .
.
.
A, E. O.
,
, , ,
.
:
" " - S e P.
" " - S a -P.
" " -P i S.
:
" " - S o P.
" " - S i -P.
" - " -P a S.

, - .

, : "
"
=>
" - ";
" - " => " ".
:
" " S e P.
" " P e S.
" - " P a -S.
A, E, I O,
.
18. (3)
, ,
.
, "".
,
. sillogismos .
, .
.
, ,
.
.
,
. , ,
, , ,
. .
. :
(1) .

PaM

47

(2) .
(3) - .

SeM
SeP

(1) (2) , (3) - .

" " "", - -
() "". , ""
. ,
: - .
( " ") S.
, , - ;
( ). (
" ") P ;
, , ""; .
. : ,
.
, .
S e M S e P.
S " " - . ,
, ( ),
.
.
, ,
, .
, , .
256 , .
. , ,
19. , .
.
, , ,
.

.
, ,
- . . M
. .
. ,
-.
, .
, ; ,
.
, .
.

48

(1)
(2)
(3)
(4)

MaP
SaM
SaP
MeP
SaM
SeP
MaP
SiM
SiP
MeP
SiM
SoP

PeM
SaM
SeP
PaM
SeM
SeP
PeM
SiM
SoP
PaM
SoM
SoP

(5)
(6)
(M) (P).
(S) - (M).
(S) (P).

MaP
MaS
SiP
MiP
MaS
SiP
MaP
MiS
SiP
MeP
MaS
SoP
MoP
MaS
SoP
MeP
MiS
SoP

PaM
MaS
SiP
PaM
MeS
SeP
PiM
MaS
SiP
PeM
MaS
SoP
PeM
MiS
SoP

MaP
SaM
SaP

(M) (P).
(S) - (M).
(S) (P).

MeP
SaM
SeP

,
.
( , ).
, .
.
.
.
(M) (P).
(M) - (S).
(S) (P).

MaP
MiS
SiP

.
. , .
, .
. ,
. - , , .
. - .
,
, - .
(P) - (M).
(M) - (S).
(S) - (P).

PeM
MaS
SoP

49

 .
.
, , . (130-200 .).
, . . ,
. :
, .
. , ,
.
,
. .
, .
:
, ,
.
:
.
- , .
, .

-.
. ,
, .
. ,
, , ,
, .
:
Barbara, Cesare, Darii . ,
. , Barbara ,
. , .
.
.
, ( , ,
).
1. . -
.
2. , , .
3. , .
4. .
5. - , .
6. .
7. , .
.
,
. .
, - ,
. :
(M) (P).
(S) - (M).
(S) (P).

MeP
SaM
SeP

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

50

 (P) (M).
PaM
(S) (M). S a M
.
SaP
2, - -
. , ,
, .
( , ,
).
(M) (P).
(S) - (M).
(S) (P).

MaP
SeM
SeP

, (
3). .
, 4, :
(M) (P).
(S) (M).
(S) (P).

MeP
SeM
SeP

,
.
, ( 6)
:
(P) - (M).
(M) - (S).
(S) - (P).

PiM
MiS
SiP

, , ,
. .
. , "
". ,
. ,
: " , , -
". .
- . , ,
.
.
19. (3)
, .
, .
" ", " ", ,
,
, . ,
. ,
, , : "
, - ". : "
- , ".
: "

51

, - ". , : "
", - .
, ,
, , , ,
.
.
,
, .
, ,
.
. ,
. "", "
" .., .
. ,
( ), ,
( , ), , ,
.
, , (
2 3). , ,

"".
, : " - ,
". ,
, ""
, " " " ".
, : "
" : " - ".
,
( ),
, .
: " ,
". "
" " " "".
, : " ".
, ,
, ( 2).
.
. , " - ,
, " () , ,
, "
". :
(1)
(2)
(3)

.
- .
.

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

52

(3)

(S) - (P).

SeP

, (S) " ", (P) - "".

(" ")
, .
(M), ,
, .
.
(1)
(2)
(3)

(P) (M).
(S) - (P).

PeM
SeP

.
, , " ", - ",
". , ,
, ,
.
SaM MaS
SeM MeS
SiM
MiS
SoM MoS
,
( ).
, , ,
. .
: S a M M a S. S a M ,
S ( - " ") P ( " "),
:
(1) (P) (M).
PeM
(2) (S) (M). S a M
(3) (S) - (P).
SeP
.
, : ", , -
" ( M a S). .
, :
(1) (P) (M).
(2) , (M),
- (S).
(3) (S) - (P).

PeM
MaS
SeP

, ,
. ,
3, S ,
, , .
,
. :

, .

53

 ,
. ,
.
, .
, , " ,
". , . " ", , , ;
- S e P. - " " (S e M),
, .

: P a M. P ,
, M , ,
: " ".
, :
(1) (P) - (M)
(2) (S) (M)
(3) (S) (P)

PaM
SeM
SeP

, ,
, , .
- ,
. , ,
, , ,
,
.
,
: " ,
". , , ,
. ,
, . ,
( " ..."):
" ". , "" - S, "
" - P. .
(1) (M) (P). M i P
(2) .......
(3) (S) (P).
SiP
, S M. ,
( ). - M a S. ,
" ". , -
, . ,
, ,
- .
, . ,
. ,
.
.
: ,
, , , .
: -, ?
: , .
: , , ,
.

54

: . ,
.
: : -,
, , , .
, ,
, ,
. "", "", " " "",
, :
(1)
(2) (M)
(S).
MaS
(3) (S)
(P). S o P
, ,
: M a S S o P.
, .
: M e P, M o P, P e M.
,
.
(1)
MeP MoP PeM
(2)
MaP MaP MaP
(3)
SoP
SoP
SoP
, ,
.
(1) (M)
(P).
MeP
(2) (M)
(S).
MaS
(3) (S)
(P).
SoP
(1) (M)
(P).
MoP
(2) (M)
(S).
MaS
(3) (S)
(P).
SoP
(1) (P)
(M).
PeM
(2) (M)
(S).
MaS
(3) (S)
(P).
SoP
, , , , ,
,
.
(
). .
: , : "
". ,

55

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

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

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

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

56

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

, . ,
, . .. (1711-1765 .)
:
, .
, .
, .
, , .
- , , .
. , , .
- . ,
,
. , , .
, - , , . ,
.
,
.
.
.
.
.
,
. .
.
- .
.
- .
.
- .
.
.
. .

57

 ,
, , .
21. (2) -
, , ,
: , ,
, , ,
. , , , .
"..., ...": " ,
", " , ". ,
, , ,
.

.
.
-.
, , ,
.
,
:
, .
, .
, .
, .
, , .
"..., ..." , - a, b, c,...
, : a, b, b, c...
a => b.
b => c.
a => c.
- ,
. , modus ponens () modus tollens ().
:
, - . a => b
.
a
- .
b
Modus ponens
.
"" , -
, . ,
. ,
, . ,
, : " ,
". : " ".
, , ,
: " ".

:
- , .

a => b

58

 -b.
- -a.
Modus tollens
,
, -a , , , a.
, ,
, . ,
. , " , " ";
" " " : " ".
.
:
-
, .
, , ,
.
, a => b
-a.
-b?
, .
.
?

a => b
b
a?

- , ,
,
, . ,
, ,
. ,
-, ,
. , "
, 29 " ,
.
-
. .
, ,
.
- ,
.
22. (2)
,
, , .. "":
" - , , , ".
.
: , -
-.

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

59

 : "
, -, -".
-
. .
. tollendo ponens ():
.
.
- .

a \/ b.
-a.
b.

"". ,
.
, - , ,
. ,
.
- ponendo tollens (-).
, .
.
- .
.

a \/ b.
a.
-b.

.
( ) .
, , , ,
, , "", ,
- , -
:
1. (
- ).
2. , ,
( - ).
:
, .
"" , .
"" ?
, , . - :
,
.
"". , ,
. , ,
. ,
? , .
, , . ""
. ( - ),
; "
". - , ,
. ,
. ponendo tollens
.
- ,
.

60

 .
: ,
.
,
( )
, .
.
a => c, b => c.
a \/ b.
c.
,
. :
, ,
, ,
. , .
, .

. ( "") .
a => (b /\ c).
-b \/ -c .
-a.
,
- , "" (
). , ,
, ( ) .
, .
, ,
, . , .
, ,
"" "" ( ).
, .
. ,
( ) .
a => b, c => d.
a \/ c.
b \/ d.
. ,
.
" ,
".
, :
, ,
, ,
, . ,

61

, .
, , ,
:
, ,
, ,
, . , , .
, , , ,
, , , ,
, ,
, ,
.
, .
.

a => b, c => d.
-b /\ -d .
a /\ c.
, ,
, ,
, "". , ,
.
1. -
, .
2. , ,
.
3. (
).
,
. , ,
.
. , - ,

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

62

 .
, .
, , -
. , , .
.
23. (1)
- .
,
. , , ,
, , .
, .
- ,
- .

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

.
: .

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

63

 ;
. , .
.
. .
. , , ,
. ,
, , , .

. -
, , .
, .
.

. ,
, , ,
n. , , ,
n, n (n+1). ,
, , , n.
, n (,
, ).
. ,
n (n+1), .
.
.
.
.
,
. , .

, ..
,
.
,
. .
,
. ,
, , , , .. ,
, .
, , .
, , ,
. .

, ,
, ,
.
.
, .
.
, ,
, .
24. (2)

. .
,

64

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

. ,
.
(1561-1626 .). " " (
"")
. ,
. " - . - !"
- , , ,
-; .
. , ,
.
. .
.
.
. (1806-1873 .).
, ,
. . ,
" "
.
. . ,
.
(, " " " ").
- , ,
. ,
- ,
. , ,
, a,
,
A. , A a;
, , , , a. ,
, ( ,
).

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

65

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

.
. :
, A, a, A
, a. , ,
a A,
- : , a, A .
,

. , a,
, A,
, .
, ,
, , .
. .
, , ,
. .
,
. : ,
, , , ,
. ,
,
. ,
. , , ,
, .
.
.
a
, ,
A. , ,
.

66

 , , , ,
a A.
A, - . ,
- ,
.
.
.
,
.
. ,
.
a ;
b, c, d, .
: A B, C, D.
, B, C, D b, c, d, a
A. , B, C, D
a , , .
.. .
, : , , .
.. .
. ,
. , .
,
.
, ,
. ,
.
. ,
, ,
.
. ,

. , ,
.
. , , ,
.
25. (1)
, .
, .

.
. , , ,
, , ,
. , ,
; , ,
, , , ,
. , ,
.
.
, ,
, , ,
, , , , ,
, , .

67


, , , , .

. , , .
,
.
, , .
, . , . (
) , ,
, , ,
, - . ,
,
. , ,
, ,
( ),
.
; ,
, .
,
.
, :
a, b, c, d.
, . ,
. ,
; ,
,
.
, .
. . ,
, ,
. ,
, , ,
. , ,
- , ,
.
.
, , ,
, .
, ,
. , ,
. ,
,
,
: , , - .
, . ,
.
?
, ,
,
, , - ,
. ,
.

68

, , , .
, - ,
, , -
. , ,
,
, , . .
, 40-50
40-50 .
,
. , -
,

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

, ,
, , , . ,

. ,
:
, ,
.
,
.
.
,
,
( ),
, . ,
, . , ,
;
,
.
,
; -
, ,
. ,
, , , .
, ,
:
, .
, , ,
, , , ,
. , , , ,
, . ,
- , , , ,
. , ,
, .
? .
.
, - .

69

 , . ,
( ).
,
, , ,
. .
, , , . .
, ,
. : ?
; , , .
, ,
. , , . -
, . ,
, . , , ,
: -
. .
, ,
, , , , , ,
, ,
, , . , ,
, , . ,
, ,
.
, . , , - ,
, , . , ,
,
, .
:
, . , , ,
, ,
.
, , ,
.
.
. ,
, , .
, ?
. ,
,
, .
, ,
.
, ,
,
.
,
,
.
, .
, .
, , ,
, , - ,
.
, , ,
, ,

70

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

5. (2)

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

71

 - .
. .
, .
, ,
, . ,
. ,
, .
- ,
: .
, ""
, ,
. ,
, ,
, , .. ,
, .
, , -
. , ,
, "", .
. , , ,
, ,
- , - .
,
. ,
, -, .
, ,
. - , , ,
. , , ,
. , .
,
, - , ,
,
.
,
, - - .
.
, .
26. (2)
: - , ,
- , (
), ( ) - ,
.
. , -,
.
,
, , . , ,
, - .. , ,
, , ,
, , ,
. , . ,
:
; - ; .
, ? , . ,
, ,

72

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

- .
, .
27. (2)
.
,
.
,
.
,
- ,
( . apagogos - , ).
.
,
- .
-
. ,
, .
. , ,
. ,
.

73

 , ,
. - ( )
. , ,
.
,
. ,
: , .
,
. ,
, - ,
.
.
, , ,
.
- , , , .
,
,
.
. .
,
: " ,
?!" : " ,
".
, , ,
(
),
: ; , ,
, , , .
" " ,
,
. , , . ,
, , ( ), .
: ,
, ? ,
. , .
, , ,
, .
.
, , .
- , , -
, ,
.
, , ,
. 18 . ,
, ,
.
( ), .
. , , ,
. .
, ,
, . , ,
,

. , :

74

 , ,
.
,
,
. A B C, , B C,
, ; A.
, , - .
, :
.
, -
. ,
, .

.
, , . , , ,
-
. , -
, ,
.
;
, .
, .

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

.

, , ,
. - ,

.
- .
(, ),
.
28. (2)
,
: , .
.
.
.
, ,
- . ,
, .
, , , .
. - - .
, -
. ,
,
. , , ,

75

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

76

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

. ,
.
29. (2)
.
. :
, ,
;
() ;
( ).
,
. , .
, .
, , .

77

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

. :
, .

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

, .
, ,
. , ,
, :
.
, ,
, .
, ,

.
.
, , ,
, ,
.
..
, .

, ,
.

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

78

 , I.

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

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

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

79

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

80

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

.
, - .
- , ,
. , , ,
, , .
, .
. , , , ,
;
, .
,
, .
, ,
.
. . , ,
,
.
30. (2)
, , ,
, ()
(); .
:
; , ,
: , .
.

, .

,
.
.

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

81

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

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


. ,
, .

82

 , ,
, .
. . - - ,
, .
, .
,
.
. ,
.
,
.
, , ,
.
.
, , ..
. " -
, ", - .
. ,
, .
.
, , ,
.
. , , ,
. , ,
, ,
.
:
, , . .
31. (2)
, ,
. ,
, .
. ,
. .
- ,
, .
, (
).
. , ;
, , ,
, . -
, .
, ,
.

, ,
. : ,
, .
.

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

83

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

. . ,
. . , ,
,
, ,
(
11 1941 ). ,
, ,
.
, ,
. ,
, 1974
.
: -
?
.
, .
.
.
. ,
, ,
,
" ",
, ,
. ,
: " ".
" ", .
,
, ,
. , - ,
(" ").
(" ").
.
.
: , ,
,
. ,

84

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

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

85

 . .
.
,
.
- . , , ,
. , ,
, , .
: "
, ?"
. , ,
. , : " -
". , , ,
, .
- , .
, ,
. , , ,
, ,
, , ; -

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

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

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

86

 2. (3)
6. (3)
32. (3)
, , : 1)
, 2) - .
, , , . - :
p, q, r, s,... . ,
: "..., ...", "", "" ..,
.
(. 1).
, - . , 1 0
"" "".
.
", ...". ()
: -p. : ", p", : "He-p". p ,
, " ", -p : ",
". , p ( , ,
). -p (", ") , ,
. , p , , ,
.
, . 1 p
1 -p 0, p 0 - 1.
1
p
q
-p p /\ q
p \/ q
pq
1
1
0
1
1
0
0
1
1
0
1
1
1
0
0
1
1
0
0
0
0
0

. :
-(-A) = A

p => q
pq
1
1
1
0
0
0
1
1
,

(1)

, :
.
. , ,
"". ,
"", "", "", "", "" .. : p /\ q; : p q.
, "": "
". ,
p q: " " (p) " " (q).
.
.
, . ?
,
. , ,
, " " "
" (p=1; q=1), , ,
. ( ) .

87

 . ,
, , , (p=0; q=1). ,
, , ,
, , - .
? , ,
. . ,
(p=1; q=0) - . , ,
.
, ,
, .
().
. - p \/ q; : p q.
1, - .
" , ".
- . "
" ( p), - "
" (q). , .
, - ,
. , p, q
(p=1; q=1). ? ,
, , ,
, . ,
, , ,
.
.
- .
, , p=1; q=1, 1.
, , (
- , - ) , ,
: ,
. , ,
( ) 1. , , ,
, , -
, , .
(). , ,
. :
, "" "".
"". p q; : p q.

. ; -
,
, 0 .
. ,
, ",... ". p => q; : p (, ) q.
, ,
- . ,
,
.
,
.

, . : "
, ".
: " " (p) " "(q).

88

 , . ,
( , ,
) :
( 1) 1. ,
(p=0), , , (q=1), , ,
, ?
? , ,
, , ,
.
. , , ,
(p=1), (q=0), , ,
. ,
(p=0) (q=0),
, , .
, .
, , ,
: , , ,
.
.
.
: ,
. : " ,
", - , ,
.
: " , ". ,
.
. " ".
p q; : p q.
, : , .
, - ,
,
. , .
, . , ,
, - (p=1; q=1). ,
, ,
. ,
, , , (p=1;
q=0), , , , (p=0; q=1).
- ,
(p=0; q=0) - , , ,
.

, . ,
" , "
:
(-p => -q ),
p , q - .
, ,
, : p - , q - , r - .
:
(p (q \/ r)).
, ,
. , (p) ,
(-q) (-r):

89

-(p ((-q) \/ (-r )).

(p), , (-q)
(-r):
(p => -((-q)/\ (-r )).
, ,
- :
-(p /\ q) =>-r .
:
, - :
-((p /\ q) =>-r ).
(-p) (-q), (r)
(s): (-p /\-q) => (r \/ s).
33. (3) -
, , :
"" "", ,
.
() ,
.
, ,
.
.
- , , : " ,
, , ,
". p " " q - "
". :
(p => q) /\ (-p => -q ).
, , , .
, p (p=1),
q - (q=0). ,
, ,
. (,
).
. :
(1 => 0) /\ (-1 => -0 ).
. .
-p, 1
p , 1 ( ), ,
-p. :
. , .

:
(1 => 0) /\ (0 => 1).
. (1 => 0)
, p=1, q=0 ( ) ,
p => q, ( ); (1 => 0)
0. (0 => 1) , p=0, q=1;

90

 1. (0 => 1) 1.
:
0 /\ 1,
0.
, , .
, , (
(p => q) (-p => -q ), ,
(p=1, q=0). : , ,
, ,
.
.
, - , .
2. ,
, , ( ),
.
, ( ).
, (
).
2
p q (p => q) /\ (-p -q)
1 1
1
0 1
0
1 0
0
0 0
1
, ,
.

. " , , , , ".
: (p /\ (-p => q)),
3. , , ,
(p=0, q=1), , , ,
, . ,
: " , , , ,
". ,
.
. , , -
.
, 3.
.
, , , - .
, ,
.
.
: , ,
. p " ", q - "
", :
(p \/ (-p => q)).

. 3.
p
1

q
1

3
p \/ (p q)
1

91

0
1
1
1
0
1
0
0
0
,
. , , , ,
: - 8, - 16 .. ,
, .
, - : ", ,
, ". p " ", q - "
", r - " . , , :
-(-p (q /\ (-r )).
, (p=1), (q=1)
(r=0). .
.
-(-p (q /\ (-r )) ,
-(-1 (1 /\ (-0 )) ,
- (0 (1 /\ 1)),
-(0 1),
-0,
1
, (p=1), (q=0),
(r=0). .
.
-(-1 (0 /\ -0)),
-(0 (0 /\ 1)),
-(0 0),
-1,
0.
34. (3)
,
. , , , "",
, ,
,
. , .
.
.
:
(A /\ B) = -(-A \/ -B ) (2);

(A /\ B) = -(A => -B ) (3).

92

(A \/ B) = -(-A /\ -B ) (4);
:
(A => B) = -(A /\ -B) (6);

(A \/ B) = (-A => B) (5).

(A => B) = (-A \/ B) (7).

, : " - ".
(p - " ", q - " "),
(p /\ q) ,
(2) (3), ,
, - : ", , "
(p /\ q) = -(-p \/ -q ),
: ", , "
(p /\ q) = -(p => -q).
.
,
( ).
, " , " ,
: (-p /\ q), p " ", q - " ".
(2) ,
( ,
), ,
, , , :
(-p /\ q) = -(-(-p) \/ q )
, :
(-p /\ q) = -(p \/ (-q )
, ,
, : " : - ,
". ,
: , .
(3):
(-p /\ q) = -(-p => -q ).
,
: ", , ".
: " - ,
". : (-p \/ q), p " -
", q - " ". (5)
:
(-p \/ q) = (-(-p) => q)),
(-p \/ q) = (p => q).
: " -
, ".
, , ,
: " ,
, , ( )" - ,
. , ,
(4):
(-p \/ q) = -(-(-p) /\ (-q )),
(-p \/ q) = -(p /\ (-q )),
" () - ".
:
" , , " -(p /\ (q \/ r)), p " ", q - " ", r - " ".
, ,
(3), (q \/ r)
.

93

 ,
. , ,
: " : ,
".
, .
, , () " - ,
" (1) : ", - ,
" (2). , -
? :
1) - , (-p /\ q) (1)
2) , - , -(-p => -q) (2)
p " - ", q - " ".
, , ,
, .
(3).
:
(-p /\ q) = -(-p => -q ).
(2),
2) ", - ,
". , , ,
.
:

, :
(1), , .
,
. , , .
.
.
:
1) " , "
2) " , , "
(p => (q /\ r)) (1);
(-p \/ (-(q /\ r)) (2).
(1)
(6), , , (2) ,
(5), , .
(2).
(-p \/ (-(q /\ r)) = ((=p) => (-(q /\ r));
(-p \/ (-(q /\ r)) = (p => (-(q /\ r));
, (p => (-(q /\ r)), (1) :
" , , ".
(2). :
. (1),
(-p \/ (q /\ r)), - ,
, : " , ".

94


- ; -
; - ; .
= .
- -; - -
.
() - ,
, ;
() - .
- , , - ; -
.
- .
- , ; - ,
.
- ( ) ; -
; - (,
) ; -
.
- ; -
; , -
; , .
() - , ;
- ; - ,
.
- : ; -
; -
.
- ; , ; -
, .
- , ;
- - .
- , ; - ,
; - ,
; - , (
).

95

 (S a P), (S e P),
(S i P), (S o P) -
; - ,
.
- ; , , ( ) ;
- , , (
) .
- ,
; () - S a P S e P;
() - S i P S o P;
() - 1) S a P S o P, 2) S e P S i P;
() - 1)S a P S i P 2) S e P S o P.
- ;
() - ( );
() - ;
() - ; ,
, , - .
- , ; -
; - ;
- ( );
- , ; ; -
.
- ,
; - ;
- ,
.
- ; () (S) , ; () (P) - ,
; (M) - ,
; -
; - .
- , .
- ( :
); - , ;
- , .
- , ",... ..."
; - () - ,
, ; (modus ponens) -
; (modus tollens) -
- .
- , (
"", ); - () -

96

, - - ;
- (modus tollendo ponens) -
- ; - (modus ponendo
tollens) - - ;
() - ,
( ,
).
- , (. );
- ,
( ); - ,
(
).
- ;
- ; -
, ;
- ,
; - ,
.
- , , ;
- , .
- .
- , ( ); () , ; (
) - ;
- , ,
.
- ,
; - ,
;
() - ,
; -
, .
- , , ;
- , , , ,
; - , ,
, ; -
, .
- , -
( ); " " ,
; " " - ,
, - ; "
" - ,
, -
;
- , .

97

 , , - ,
; , ,
- ; " " - ,
,
.
- ( ),
; - ,
(
); - ,
", ...", , ; , ""
( - /\); - ,
""
( - \/); - , "..., ..."
( - =>);
- , ,
( - ).

98