Copyright & A K-C

Copyright & A K-C

..

,

-

2012

Copyright & A K-C

16(075.8)
87.473-1
92
:
, ..
( . .. )
,
, ..
,
, ..

.. ,
, , ,

92

, .
. :
/ .. . 3- ., . . .: , 2012. 327 . ( Cogito ergo sum).
ISBN 978-5-238-01832-4
CIP
.
. (-, 2010 .).
,

, . . .
- , , .

87.473-1

ISBN 978-5-238-01832-4
.. , 2003, 2010
-, 2003, 2010

( 94- 21 2005 .).
- ,
-, .
-, 2010

Copyright & A K-C

.
.
, , .

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

, , .
, , , ,
, , . ,

Copyright & A K-C

, , , , ,
.
,
.
, , ,

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

Copyright & A K-C

: .

.
.
,
.
.

.
; ,
.
, .
..

Copyright & A K-C

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

, , .
. .
.
, ;
.
, .

Copyright & A K-C

1.

I., (), () . IV .
.. XIX XX ., (, ) .
, .
II. ()
XIX XX . , , . ,
,
. , , ,
.
1. . ,
. .
(, ) , . ,
,
, .
, , . ,
, .
, , . , , . (, ) , ,
(-) .
2. :
, , ;
: , , , , , ;
,
: , , , , , , , ..;
, ,
, , , ..;
, , .. , ,
, , , , , , , ..

Copyright & A K-C

1.1.
1
1. (IV . ..) (), .
2. (VXV .) , , .
3. (XVI XIX .)
( ). ( ).
4.
.. (16461716);
XIX . (), (), ();
Principia mathematica (19101913).
5. : , , ,
, .; ; () .
. , , XX ., .
, , .
. XX .
, . , , , ,
, , .
, ,
.
1

. 1.

Copyright & A K-C

1.

1.2.

(IV . ..
XIX .)

(XIXXX .)

( XIXXX .)

, .
,
, ,
,
.

(, ) ,
. ,

,
.

,

, (
, , , , , ..).

(348322 ..)
.
(. 480525)
.
(10791142)
.
(15611626)
..
(18061873) .

.
(18151864)
.
(18061871)
.
(18391914)
.
(18481925)
.
(18721970)
.
(18611947) .

.
(18811966)
..
(18831964)
.
(18781956)
.
(18971954)
.
(19031957) .

Copyright & A K-C

10

I. : .

1.3.
logos, , , , .
.
? ,
, , . .
- .
, , .
,
. , ,
.

1. ,

2. ,

, ,
.

,
.

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

Copyright & A K-C

1.

11

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

Copyright & A K-C

12

I. : .

1.5.

, , , , -

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

, - -

, , .
, .

( , ).

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

. ,
.
. ,
.

Copyright & A K-C

1.

13

1.6.
, ..
. , ,
.
:

, .. ;
( ) ,
(, ..).
, , , , .
, .. ,
.
:
(S) (),
(S) ()
, , . , () S .
,
: S . S ()
, (1) , (), ().
:
(p) (q),
(p) (q)
, , . ,
- p, q.
,
: p q.
,
.
,
.
1
( . praedicatum ) , ,
. , (,
), . , , (, ).

Copyright & A K-C

14

I. : .

1.7.

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

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

2.

. ,
.

.
,
( , ).

, , .
1. .
. :

.

( ) , .
2. ,
. ,
.
:

.

Copyright & A K-C

1.

15

1.8. .

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

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

Copyright & A K-C

16

I. : .

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

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

.
.
: ... ,
, ; , -
; () ,
..., - ,
- ; - ,
(. . 4 . .1. ., 1976. . 127).

Copyright & A K-C

1.

17

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

, , .

:
, .
, .

. , () .
, , : ,
. : - (. . 4 . ., 1976; : . 1. . 125 . 2. . 276.).
,
( -)
, .
:
;
;
(, -).
:
( & ),
; & , ; , .
: .

Copyright & A K-C

18

I. : .

.
:
, - ,
(. . 4 . . 1. ., 1976. . 141).
:
, , .
( , -).
:
, .
:
,
;

, ;

, .

.
.

. .. , , : ... , ,
,
..... ( .. . 4 . . 1. ., 1982. . 418.).
, , , ,
.
:
;
;
( ) .
:
.
( , , ).
:
( ),

, ; , , .

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

Copyright & A K-C

1.

19

1.10.
, ..

. , .
, .

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

. 1, 2, 3, ..., n ,
, 1, 2, 3, ..., n
,
(.. , 1, 2, 3, ..., n).
1, 2, ..., n ,
.
(&), :
1 & 2 & 3 & ... & n

: 1, 2, ..., n , 1, 2, ..., n
, .. 1, 2, 3, ..., n
.

.

Copyright & A K-C

20

I. : .

1.11.

,
, .
,
.
, ,
, .
, .. . , ,
S P P S :
, ,
. ,
, - , .

: ( ),
. , .
.

, , ( ),
, .
. (),
(q)
( q), ( p).
, . .
(p, q ; , ;
) :
(p q) ( q p), ( , q), ( -q, -).
, , .. ,
.
.

(), (q).
(q), (r).
(), (r).

, q q, r , r. , , .
.
(p, q, r ; , , & , ) :
((p q) & (q r)) (p r),
( , q) ( q, r), ( , r).

Copyright & A K-C

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

Copyright & A K-C

22

I. : .

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

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

Copyright & A K-C

2.

23

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

, .

()
,
..

.


, :
;

;
, . .;

;
..
.

, , , .
, , .
.
,
,
.

, , .

.
.

Copyright & A K-C

24

I. : .

2.3. , ,
, ,
.

(), ,
().

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

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

,
, (),
. .
.

, , :
. ,

.
,
, .
, ,

.

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

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

Copyright & A K-C

2.

25

2.4.

( . terminus , , -)
,
( ).

,
, ,
.

,
,
.

1)
2)
3)
4)

:
;
;
;
.

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

1. ,
.
2. :

, . -

, .
.
;
, .
, ( ). n- ( n > 1)
n ( ). .
3. :

, , .. -

. , , .
.
, .

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

Copyright & A K-C

26

I. : .

2.5.
, .
, ,
.

1.
, :
.
, . , ; .

2.
, ( ) ( ).
, ; .
( (), (, y)).

3.
, .
, . : sin, log, +, , , ..
, ,
( ()), .. , . (, y), .

4.
, , .. .
, . , .

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

Copyright & A K-C

2.

27

2.6.

&
,

()

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

Copyright & A K-C

28

I. : .

2.7. :
; , .
: , , .
, .
, . ( ) , , .. ..
(. 2.1).

. 2.1.

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

Copyright & A K-C

2.

29

2.8. :
, : , . , ..
, , ..
XX .
,
, . , . ,
.. , - . ,
, ,
.
, - . , , , , - .
.

( ) ,
, .

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

( , ,
).
, .. , () .
. : , , ,
, , , . , ,
... ( )
; ... ... ( y) ;
... ... ( y z)
.. .

Copyright & A K-C

30

I. : .

1. n, n-.
. , : .
y.
, : .

, . .
..

. , , : . () , ,
() .
()
. S() , ()
.
:
(S() ()); : ,
S, .
(
) n- . , ,
: .
:
(S() (Q()&R(,))),
S() ;
A

Q()
,
R(,) .
1

:
1) -, ;
2) -, ,
, ;
3) -, .
(). - , ; - ; - .
,
. (
) . Y - . ,
, Y,
f y Y.
; , ; 0
y0 Y = 0
f ( 0). y = f () Y
( ). y = f()
. , ,

. , .. (),
. , , sin , ..
. ,
, , . sin , , ,
<1, ..., +1>.

Copyright & A K-C

()
3.1.
, XIX XX .

,
. ,
.
, .

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

- .
.

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

Copyright & A K-C

32

I. : .

, x. , x . , , , ,
. x
, ( ).
,
, .
F(x) ( F
) , () x . , F(x) : x , , ,
.
, -
.
,
, , , .
.
(, ) , . , , .
( )
,
(-) .
:
1) ;
2) ,
.
( , , ) , , (-) .

:
1) ,
;
2) , .

Copyright & A K-C

3. ()

33

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

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

, .

.
. ()
(q) (r), (s) (t).
: ;
q
r
s
t

: ;
: ;
: ;
: .

:
( & q & r) (s v t).

Copyright & A K-C

I. : .

34

3.3.

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

, :
1.
( )

2.
( )

3.

p, q, r, s, t,
p1, q1, r1, s1, t1,
p2, q2, r2, s2, t2 ..
& ( );
( );
( ..., ...);
(, ...)
(,)

, , , .. .
,
:
p, q, r ... ( );
, ( & ), ( ), ( ), .
.
1
( ),
, .
2
, ,
, .

Copyright & A K-C

3. ()

35

3.4.

:
. , .

, .. .
.
1. .
2. , ,
, . , ,
, , .
.

3. ,
.

( & )

4. ,
.

5. , ,
. ( ), , .

( )

Copyright & A K-C

I. : .

36

3.5.
.
(
) , :
, ?1 .
.
,
, ()
, , . , , ,
, , .
.
, ,

, .
( )
: .


A

, ,
A

&

.

(. . 3.63.8), () () (. . 3.103.12) . :
, (. . 3.133.16).

Copyright & A K-C

3. ()

37

3.6.

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

. . 2:
1) ,
, ;
2) ,
, ;
3) (),
, , .
.
,
.
, .
.
1. .
, , , , ,
,
, ..
2. .
()
() . ,
, &, , .
3. .
.
4. .

.
5. .
, , . ,

, , .
1

, . .
2
,
, . (: ; ( & ) ( & ); ( )
( ) ..).

Copyright & A K-C

38

I. : .

3.7.


, .
:
() (q),
(r).
: ( & q) r.
.
n
: = 2 , n
, , 2
(, ): 4 ; 8 ;
16 , 32 ..
. , .
( )
. 4 )
,
, . .
. , . .
, , ,
r (p & q) r
p
q
. -

( ,

) ,





. ,




, .

.
:

Copyright & A K-C

3. ()

39

3.8.
() : , .
.
:
1) ,
, ; , ,
, ;
2) ,
, .
, , , .
: p q,
q r, p r.
pq qr

pr

: p q, q r, p r:
( (1, 3, 4, 5),
);
( , );
p r p q q r ( ,
p q q r , p r );
p q q r p r ( ,
q r p r , p q );
q r p q p r ( ,
p q p r , q r ).

Copyright & A K-C

I. : .

40

3.9.

()
, .
.
1. . , ,
. ,
, .
2. .
, ,
, , ,
.. .
3. . , , , , .
4. ().
, , , .
5. ().
, ,
.
.

Copyright & A K-C

3. ()

41

3.10.

,
.
, , , , &.
() F F , . ,
, . ( ) , , , . ,
-: ( q p s).
() F F , . ,
, . ( & ) -,
, , . , -: (q & q & p & s).
()
()
.
, .. , .
, . , , ,
. , , ( ).
.
.

Copyright & A K-C

42

I. : .

3.11.

1. .
2. ( & ) ( & ) .
3. ( ) ( ) .
4. (( & ) & ) ( & ( & )) .
5. (( ) ) ( ( )) .
6. ( ( & )) (( ) & ( ))
.
7. ( & ( )) (( & ) ( & ))
.
8. ( & ) .
9. ( ) .
10. ( & ) ( ) .
11. ( ) ( & ) .
12. ( ) ( & ).
13. ( ) ( ).
14. ( & ) ( ).
15. ( & ) ( ).
16. ( ) ( & ).
17. ( ) (( ) & ( )).
18. ( ) (( ) & ( )).
19. ( ) (( ) & ( )).
20. ( ) (( ) & ( )).
21. ( ) ( ).
22. (( ) & ( ) .
23. ( & ( )) .
24. ( ( & )) .
25. (( ) & ( )) (( ) & ( ) & ( )).
26. (( & )( & )) (( & ) ( & ) ( & )).
. ,
, , . ,
- .

Copyright & A K-C

3. ()

43

3.12.
()
() .
1. , ( )
(&) (), .. .
2. , ( ), ( )
( & ), .. .
3. , .. , (
). .
4. .
5. ( )
(
).
. ( & ( )) .
1. . ( ) ( ) :
( & ( )) .
2. . ( & ) ( ) (
) :
( ( )) .
3. . ( ) ( & )
( ) :
( ( & )) .
4. . :
(( ) & ( )) .
5. . :
( ) & ( ).
, -
.
.
: , , , ,
-. ,
- ( ).
: , ,
, ,
- (, (( & & ) ( & & )
( & & ) -). ,
- ( ).

Copyright & A K-C

44

I. : .

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

.
:
1. (q p)
2. ((p (q r)) ((p q) (p r))
3. (p & q) p
4. (p & q) q
5. p ((q (p & q))
6. p (p

q)

7. q (p

q)

8. (p q) ((r q) ((p

r) q)

9. (p q) ((p q) p)
10. p p:
:
1. p q; p
;
q
modus ponens

a
.
b

2.

(2)
b .
. , .
, ,
, .
, .

Copyright & A K-C

3. ()

45

3.14.

.

, ( ), ( ), (&, , , )
().
1. :

2. :

& : A, B .
A&B
B .
A
:
,
A B
AB
B
:
,
C B

& :

:
:

.
:

B, B

C
.

A & B , A & B.
A
B
A B, A .
B
A B, A .
B
A .
A

,
( ), , (
). , (&)
& .
, (p q), B (r p), ,
(&), (p q) & (r p).
. ,
, , , .
() 1, 2, ..., n () ,
, ,
, . ,
, ( ).
, , , .

.

Copyright & A K-C

46

I. : .

3.15. 1
:
1, 2, ..., n 1, 2, ..., m,
,

(1 & 2 & & n ) (1

2 m).

( ):
1. :

, , ,
, , ,

, , ,
, ,

, , ,
, ,

,
, ,

: c

, , ,
, , ,

: n

,
, ,

2. :

,
, .
, , , ( & )

, ,
: & ( & ),

: &

, ,
.
, ( )

,
, .
: ( ), , ,

,
,

,
,

, ,
, .
( ), , ,

, ,
.
, ( )

Gl .

Copyright & A K-C

3. ()

47

3.16.
1, 2, 3, ..., n 1, 2, 3, ..., m. 1, 2, 3, ..., n
, 1, 2, 3, ..., m .
,
. , ,
, .

S
, , :
, ;
( S) ,
, ;
.
, , . , .
, .
, , : ( r)
( q) (q r) .
((p q) & (q r)) (p r),
pp
p r, p
(q r), p r, p

qq

rr

q r, q

r, p r

q, p r, q

r, q, p r
q, (q r), p r

(p q), (q r), p r
(p q), (q r) (p r)
((p q) & (q r)) (p r)
((p q) & (q r)) (p r)

, . , (p q) (q r)
(p r). , , .
, , : ((p q) p)
.
((p q) p)
pp
q q
(p q) p
((p q) p)
, q p . , ((p q) p)
( ) (q p).
1
: .. . ., 1952. . 424; . ., 2001. . 263, 264.

Copyright & A K-C

48

I. : .

3.17.
, .

- :
1. :
.
2. :
( & ).
3. :
.
4. :
( & ) , ( & ) .
5. :
( ), ( ).
6. :
( & ) ( & ),
( ) ( ).
7. :
(( & ) & ) ( & ( & )),
(( ) ) ( ( )).
8. , :
( & ( )) (( & ) ( & )),
( ( & )) (( ) & ( )).
9. :
( & ( )) ,
( ( & )) .
10. :
( & ) ,
( ) .
11. :
& .
12. :
.
13. :
( ).
14. :
( ( )) (( ) ( )).
15. :
( ) (( ) ( )),
( ) (( ) ( )).
16. :
( ( )) ( ( )).
17. :
(( ) ) .

Copyright & A K-C

3. ()

49

18. :
( ( )) (( & ) ).
19. :
(( & ) ) ( ( )).
20. :
( ) (( & ) ( & )),
( ) (( ) ( )).
21. :
( ( & )),
( ) (( ) ( ( & ))).
22. :
, .
23. :
( ).
24. :
( ) (( ) ),
( ) .
25. :
( ) ( ).
26. :
( ) ( ).
27. :
(( & ) ) (( & ) ),
( ( )) ( ( )).
28. ( )1:
.
29. ( )1:
.
30. :
( & ) ( ),
( ) ( & ).
31. :
( ) ( & ).
32. :
( ) ( ),
( ) ( & ),
( & ) ( ),
( & ) ( ),
( ) ,
( ) ( & ),
( ) (( ) ).

,
, .

Copyright & A K-C

50

I. : .

3.18.
( , ,
) (, ) ,
, -
.
:
-
: , , z, ..., 1, 1, z1, ..., : P, Q, R, ... P 1, Q 1, R 1, ...,
;
( ) (
).
() ; () .
, ; , ,
.
:
(, , ,
,
);

, .
A

. : , . ( ),
(1), (),
(Q1), (), (R 2),
( ) ( ) (S 1).
( .) , , :
A

( 1() (Q 1() & z(S 1(z) R 2(y,z)))).

. : ,
: , , , , S1, R1, P 1, Q 1.
:
A A

z (S(x) & (P(y) (Q(z) R (x, y, z )))).

Copyright & A K-C

3. ()

51

3.19.

.
,
, . , , .
.

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

( )
, .
, , , .

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

Copyright & A K-C

52

I. : .

3.20. .

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

. () Q() , .
, &, , .
() & Q() R1() () & Q(),
, () Q()
. , , .
.
, . .
(1, 2, ..., n), ,
1, 2, ..., n ,
- 1, 2, ..., n,
(1, 2, ..., n) ( ),
(1, 2, ..., n).

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

Copyright & A K-C

3. ()

53

3.21.

, .
:
1. , b, c, d, a1, a2, ..., an, ...
(
, ).
( ) , .. .

2. x, y, z, x1, x2, ..., xn, ...

(
)1.
,
. .

3. P 1, Q 1, R 1, S 1, P11,P22, ..., Pn1, ...,

P 2, Q 2, R 2, S 2, P12, P22, ..., Pn2, ... (

), , ,
.
(), ... , n- (, b) .
.

4. f 1, f 2, f 3, ..., f 11, f 21,..., f

1
n

- ,

, ,
.

.

1

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

Copyright & A K-C

I. : .

54
A

5. ,

,
.

; : ,
, , ..

; : , , , ,
..

6. &,

, ,

7. ( , )

(): , , , .
: .

, . 17,
, .. .
() .

1. .
2. f n n- - , t1, t2, ..., tn
, f n (t1, t2, ..., tn) .
, . 1 2, .

1. n n- , t1, t2, ..., tn ,

(t1, t2, ..., tn) .
2. , ( & ), ( ), ( ), .
3. , , () ()
.
, . 13, .
n

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

Copyright & A K-C

3. ()

55

3.22.


.
1. .
2. , ( p, q, r,
s, t). :
,
,
.
3. ( ) ,
.
4. ,
.
. :
,
.
:
p;
q;
r;
, ;
&;
.
: p (q & r).
.
. :
1) ;
2) ;
3) , ..
.
.
. : -
. P R,

S. :
x (P(x) y (S(y) & R (x, y))), ..
x , ,
y, x y.
A

Copyright & A K-C

56

I. : .

3.23.
(),
, , , ,
.

a, b, c, ...

,
, 1

, , , ...
x, y, z, ...

2
3

X, Y, Z, ...
p, q, r, ...
; ; &

()

()

,
;
; ~
; ;

(p q, p q, p & q, p q)
(p q; p q)
, (p q; p, q)
... , ... (p q; p q )
p, q p q
(p q; p q;
p q; p ~ q; p q
p, q
, , (p; p; ~ p;
-p p)

; ~ ;

T;t
F;f
L; N;

( . true )
( . false )
-

M;
1

,
(() )
,
(() ,
, )

,
,

, .
,
.
3
, . , , (, <3
, , ;
( ), , , ).
2

Copyright & A K-C

II

,

.

,
.
,
.
,
;
,
...
.

Copyright & A K-C

.
. . ,
. .
, , , -, , -, ,
.
. , 6
. .
, !
,
, , .
,
. , , ,
.
( , , ..), .
.
1.
. , .
2. , . , , .
3. . ,
.. .
4. ( )
(, ). .
5. .

.

Copyright & A K-C

1.

59

, , . , ,
( ),
( ).


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

Copyright & A K-C

II.

60

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

, .
4. .
,
, () .
5. , .
, ,

.
.
:

()

(
)

Copyright & A K-C

4.

61

.
. .
,
, ( .. . ., 1998).
,
( .. . ., 2000).
,
( .., .. . ., 2000).

( / .
.. .. . ., 1977).
,
( .. . ., 1954).
,

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

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

Copyright & A K-C

4.1.
1) ,
; 2) ,
( ).

:
()
1, 2, ..., n(1, 2, ..., n), n > 1.
, , , .
. .
, , ().
(), , : U, ,
(). U, , , () .
U , ()
. , () U ,
(). ,
.

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

(())

- , .. , () U ().

Copyright & A K-C

4.

63

4.2.

()
. , .
, 1.
, (),
( ) (), ()
. (()).
, ()
(U), (), ..
, ( ), () .
, ()
: W () U, ().
, () , ,
.
, (), , (U ) () , : u W(), u W().

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

:
()

()
()

W()
()

1
, .
. ,
. , , , , .

Copyright & A K-C

II.

64

4.3.

,
.
.

, , .
() : W() , , .
Wx1, ..., nP(1, ..., n) n-,
R.
.

,
. ()
,
().

,
,
.

,
.

,
, .

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

Copyright & A K-C

4.

65

4.4.
:
1) ;
2) ;
3) , .
,
.

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

.
1. :

2. :

3. :

Copyright & A K-C

II.

66

4.5. ,

, ,
, .

() , (), ..
, -
.

() , (), ..
, .

: , , , ,
..

: , , , ,
..

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

.

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

: ,
..

:
1. xR(x, a); x R(x, a) :
..
2. xyR(x, y); xy R(x, y) : - ..
3. x yR(x, y); x y R(x, y) : , ..

: , , ..

Copyright & A K-C

4.

67

4.6. ,
,
.

() ,

(U).

.

() ,

(U).
.

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

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

() , ,
:
W() = ,

().

() ,
(U).
: ,
..

() ,

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

,
.

Copyright & A K-C

II.

68

4.7. ,

,
.

() , , ..
().
()
:
W() = U,

() , .

() :
W() < U,

U .

U .

: , .
()
,
.

: ,
. ()
,
.

() ,

().

() ,
().

: , . .. ..

: ,
..

Copyright & A K-C

4.

69

4.8. ,

,
.

,
, , , (U).

,
, (U).

: , , ..

: , , ..

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

,
.
, (), .. ,

.

: , , .
. , , ..

: ,
..

,
.

,
.

. 203-
( , , 203-
).

. 203- ( 203-
).

Copyright & A K-C

,

. ,
. ,

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

,
,
.

5.1.

1() 2(), ,
. .

1() 2() ,
, ..
.

1() 2() , ,
.. .

.
.

. (
)
( ).

Copyright & A K-C

5.

71

5.2.

, , ,
.

()

1() 2()

,

1() 2()
,
, 1() 2(),

.

2(); 2()

1()

1().

()

( )

1() 2()
,
, 1() 2(), ,
.

1() 2()

,
, 1() 2(),
,
.

1() 2()
, , 1() 2(),
. .
. , ,
, .

Copyright & A K-C

II.

72

5.3.
.
.

1 () 2 () ,
.

1() 2() , .

, .

1() 2(),
.

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

1() 2(),
, .

1() 2(),

,

.

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

: .

: .

Copyright & A K-C

5.

73

5.4.

1() 2(),
.
( 1) , , , ,
.

1. (, )
, () 1()
() 2(), ,
, ..
.

. () ().

2. ()

(),
() 1()
() 2(), .
1() , 2()
.
. () ().

3.

, ( ) () 1() ()
2(), .
. () (). ,
, () ().

. ,
,
(. . 3).
, .

Copyright & A K-C

II.

74

5.5.

1() 2(), .
1. .

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

2. ().

(), () 1() ()
2() ()
3() , U = U
.

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

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

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

Copyright & A K-C

6.1.
. (), , : U, ,
(). U,
, , () . , U , () .
, -
.
:
( ) U
(), U.
(U)
();

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

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

Copyright & A K-C

II.

76

6.2.

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

( , ).
. .
,
, .
1() ()
2() (), .
2() ()
1() (), .

, 1() ()
2() (),
.

. () ().
.

, .
. , , ,
..

,
1() () 2() (),
.

. () ().

.
.

.

Copyright & A K-C

6.

77

6.3.
() S ( S = {1(), 2(), ..., n() })
,
.

(
).

- .

- .

( ), .
.
. ( )
, , .

(
) ( ).

,
.
. ,
, .

.
.
1. (. taxis ( ) + nomos ())
, .

.
2. , (
).
( .. . ., 1998. . 169).

Copyright & A K-C

II.

78

6.4.
,
(), ()
, .
, .
. , , .
1. (totum dividentum), .. ,
.
2. (membra divisionis), .. , .
3. (principium divisionis), .. ,
, .
. ( )
( ) , , ( ).
(), () ()
, () & 1(),
() & 2(), () & 3().

()
, .

() ,

( . dieha tome
) .

. ( ) ( )
, ( ).

. .

, .

Copyright & A K-C

6.

79

6.5.
1. .

:
W1() W2() ... Wn() = W().
( ) .
.
. - .
.
) ( ).
. ().
) (
). . ( ).
.
, .
.
) , ( ). .
(),
() ;
) , , - , ,
( ).
, .
2. .

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

Copyright & A K-C

80

II.

3. .

, , .

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

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

Copyright & A K-C

6.

81

6.6.
.
. , , . :
1) ;
2) ;
3) , .

, ..
:

0-

0
1
11

1n

1-

n1

2-

3-

k-

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

Copyright & A K-C

82

II.

6.7. ()
, : , , ..
, .
:
. . , -,
, -,
, -, , .
.
( ).
. , . ()
,
, , : { ()}.
, .
: , .
, .
: ,
.
, , 0, (
) U.
,
, 1.
1() 2(), .
(W1() W2()) :
();
();
( \);
().
1

, , ,
. ,
. (18151864),
.

Copyright & A K-C

6.

83

6.8.

, 1() 2() (), ,
1() 2(), ..
(1() 2()): W1() W2() W(1() 2()). .
()
,
( + ).
( ):
1.
1234567890
1234567890
1234567890
1234567890
1234567890
1234567890

1234567890
1234567890
1234567890
1234567890
1234567890

2.
12345678901
12345678901
12345678901
12345678901

12345678901
12345678901

12345678901
12345678901
12345678901
12345678901
12345678901

==

4.

12345678901
1234567890
12345678901
1234567890
12345678901
1234567890
12345678901
1234567890
12345678901
1234567890
12345678901
1234567890

12345678901
123456789011234567890
1234567890
123456789011234567890
12345678901
123456789011234567890
1234567890

3.
1234567890
1234567890
1234567890
1234567890
1234567890
1234567890
1234567890
1234567890
1234567890
1234567890
1234567890
1234567890

1234567890
1234567890
1234567890
1234567890
1234567890
1234567890
1234567890
1234567890
1234567890
1234567890

5.

12345678901
12345678901
12345678901
12345678901
12345678901

12345678901
12345678901
12345678901
12345678901
12345678901

. W () W ().
.
,
1234567
1234567
, ..
1234567
1234567 U
W()(1() 2()).
1234567
1234567
1234567
1234567

1234567
1234567
1234567
1234567
1234567
1234567

Copyright & A K-C

II.

84

6.9.

, 1() 2() (), , 1(),
2(), ..
1() & 2()) : W1() W2() W(1() & 2()).
() ,
() ( ;
).
( ):
1.

12345678901
12345678901
12345678901
12345678901
12345678901
12345678901

12345678901
12345678901
12345678901
12345678901

2.

3.

12345
12345
12345
12345

12345

123
123
123
123
123
123
123

==

4.

5.

. W () W ().
.
,
, ..
12
U
W(1() & 2()).
12
12

12

12
12

Copyright & A K-C

6.

85

6.10.
1.

2.

=
=

=
=

3.

4.

( ) = ( )
( ) = ( )

( ) = ( ) ( )
( ) = ( ) ( )

5.
( ) =
( ) =
1234567890123

123456789012
1234567890123
123456789012
1234567890123
1234567890123
12345
12345
123456789012
1234567890123
1234567890123
12345
12345
123456789012
1234567890123
1234567890123
12345
12345
123456789012
1234567890123
1234567890123
123456789012
12345
1234567890123
1234567890123
12345
123456789012
1234567890123
1234567890123
12345

12345

12345
12345
123456789012
1234567890123
1234567890123
12345
12345
123456789012
1234567890123
1234567890123
12345
12345
123456789012
1234567890123
1234567890123
12345
12345
123456789012
1234567890123
1234567890123
123456789012
1234567890123
1234567890123
1. ( . idempotens )
,
. :
.
. , .
, ,
, .. ,
.
2. ( . commutatio , )
, , , ,
.
, .,
, ..
. ,
; ,
.
3. ( . associatio ) , - ,
, . , , , , .
4. ( . distribution , )
, .

Copyright & A K-C

II.

86

6.11.
2() 1() (), ,
1() 2(), ..
(1() & 2()): W1() W2() W(1() & 2()).
()
, ( \ ;
).
( ):
1.
1234567890
1234567890
1234567890
1234567890
1234567890

1234567890
1234567890

1234567890
1234567890
1234567890
1234567890

2.

1234567890
1234567890
1234567890
1234567890
1234567890

1234567890
1234567890
1234567890
1234567890
1234567890

3.

4.

12345678901
12345678901
12345678901
12345678901
12345678901
12345678901

12345678901
12345678901
12345678901
12345678901

5.

:
1. < .
2. < = .
3. = ( ) + ( ).
4. ( ) = .
5. < ( ).
< .
.

. W () W ().
. W () W 1234567
() ,
1234567
U
1234567
, 1234567

, .. W(1() & 2()).

1234567

1234567

Copyright & A K-C

6.

87

6.12.
1()
(U) ,
,
1(): W1() W 1(), U W1().
- ( ),
( U), , ..
= U = . = U ,

.
:

1234567890123456789012345678901212
1234567890123456789012345678901212
1234567890123456789012345678901212
1234567890123456789012345678901212
1234567890123456789012345678901212
1234567890123456789012345678901212

U
1234567890123456789012345678901212
1234567890123456789012345678901212
1234567890123456789012345678901212
1234567890123456789012345678901212
1234567890123456789012345678901212
1234567890123456789012345678901212
. W (). W
() 1234567890123456789012345678901212
W (). , .

1234567890123456789012345678901212
1234567890123456789012345678901212
1234567890123456789012345678901212
1234567890123456789012345678901212
1234567890123456789012345678901212

1234567890123456789012345678901212

1234567890123456789012345678901212
1234567890123456789012345678901212
1234567890123456789012345678901212
1234567890123456789012345678901212
1234567890123456789012345678901212

: , ,
. .
(1847) , (1854). , . .
. ,
, .

Copyright & A K-C

II.

88

6.13. .
( ) .
() , U. .
, .
, . (18341923).
, ,
. , , 1.
(
) , , .
. :
: , ;
: .

, .
:
1) :
((P(x) Q(x) & S(x));
2) :
(S(x) & P(x));
3) :
(Wx P(x) Wx Q(x)) Wx S(x)
Wx S(x) Wx P(x);
4) ;
5) ;
6) ;
7) .
Wx P(x)

Wx P(x)

Wx Q(x)

Wx P(x)

Wx P(x)

Wx Q(x)

Wx Q(x)

Wx Q(x)
Wx S(x) Wx S(x) Wx S(x) Wx S(x)

Wx (S(x) Wx S(x) Wx S(x) Wx S(x)

, :
1) ;
2) ();
3) .
1

, , , ,
.

Copyright & A K-C

7.1. ,

, ( . definitio), , .
. , , .
:
1) (definiendum) , ;
2) (definiens) ,
.

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

Copyright & A K-C

II.

90

7.2. (
)
, ,
.

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

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

. , .

. , .

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

Copyright & A K-C

7.

91

7.3.
.

, ,
, , . ( . definiendum, : Dfd), ( . definiens, : Dfn).
:
Dfd = df Dfn,
Dfd ;
df = ;
Dfn .

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

, :
Dfd df Dfn.
, .. .
. :
;
;
;
.

Copyright & A K-C

92

II.

7.4.
- . , ().
, ,
U, , ().
, ,
, . , (),
.
-
.
1. - . , (),
().
. .
, .
2. .
, .
. ,
. ,
.
3. . ()
(),
U. , , .
. ,
, << 0 >> ,
<< 0 >>
<< 90 >>.
- .
4. ( ).
,
.
. , , .
5. .
( ). , ( ) - .
,
() .
. , ,
.
, .

Copyright & A K-C

7.

93

7.5.
1. .
, ().
.
-, , ,
( ) , .
-, , , . ,
, ().
. .
,
(. ).
2. . - . ,
, .
:
) () ;
) , ( ).
,
.
. :
1. 0 ( );
2. n , n ( );
3. . .
3. . - , , .
. :
1. 1 = ;
2. (n+1) = n .
4. . - , () , .
. , ,
.

Copyright & A K-C

94

II.

7.6.
1. .
(Dfd) (Dfn). : Dfd = Dfn.
. .
.
.
(Dfn) (Dfd). : Dfn > Dfd.
. . (Dfn) , , .
.
(Dn) (Dfd). : Dfn < Dfd.
. .
2. .
:
) (Dfn)
;
) , (Dfn) , .
.
( ).
(Dfn) . , Dfd
Dfn, Dfd.
. , , ,
.
. , (. idem
per idem) .
, (,
Dfn Dfd, ).
. , .
3. .
:
) , (Dfn)
;
) (Dfn) .
.
. , , .
. () .
.

Copyright & A K-C

III

, , ;
, , .

, .

,

.
.
,

; ,
, ; ,
.
..

Copyright & A K-C

. ()

. , . . , ,
, .
,
.
. ,
, .
- ?
,
. , . ,
, .
, , . .
, -
,
.
:
1) (. subjectum) S;
2) (. praedicatura) ;
3) , , , .
:
S ( ) .
.
. , . , .
. .
. (S) ()).
. ,
(S)
, (P) . , , .
,
, . , ,
, , (S) (P)
: ) (S) (P);
) , (S), (P).

Copyright & A K-C

1.

97

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

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

Copyright & A K-C

8.1.
() , -

. , .
()

,

(S P).

,
.

. (S)

()

(), (q)

: S

: q

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

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

Copyright & A K-C

8.

99

8.2.

(S)

()

S ()
S P

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

Copyright & A K-C

100

III.

8.3. ,

()
. ,

. .
.

, .

, .

.

:
1) ;
2) ;
3) () ;
4) - (, , I, );
5) .
( 4 5 . . 8.6 8.8.)
1. .
:
(S), (), , ( ) . : S .
(), (+),
().
, .
2. , .
(
, ); ,
. , , . .
, : S ,
( ) , (S), () , ().
3. .
, , ( );
. ,
. .
, : S
, ( ) (S) ()
().

Copyright & A K-C

8.

101

8.4.

()

()

()

S
xRy
.
(S)

().

x, y
R

.
()
(y).

S P
.
(S)
() ,
().

S (S1, S2, S3)
. (S1), (S2) (S3)
().
S (1, 2, 3)
. (S)
(1), (2) (3).
. ,
: ;
; . ,

. ,
.
.
.
(()) & ()) (). , ,
2 3 6.

Copyright & A K-C

102

III.

8.5. .

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

.
1.
.
: S P S -P
: ) (S) (P).
) (S) (P).
2. .
: S P
: (S) () ,
(P).
, :
1. , -
.
: S P S P
: ) (S) (P).
) (S) (P).
2. , -
.
: S P S P
: ) (S) (P).
) (S) (P).
3. , -
.
: S P S P
: ) (S) (P).
) (S) (P).
.
.
, , . , .

Copyright & A K-C

8.

103

8.6. .


:
) (S) (P);
) (S) (P).
,
(S) .
: .
. ,
;
, .
: ) ( ) .
) ( ) .
( )
.

: )
;
)
.
A, E, I, O (A, I
affirmo ; E, O nego
). : SaP, SiP, SeP, SoP.
1. (A).
. : S P.
,
.
. (S) (P).
2. (E).
. : S P.
,
.
. (S) (P).
3. (I). . : S P.
,
.
. (S) (P).
4. (O). . : S P.
,
.
. (S) (P).

Copyright & A K-C

104

III.

8.7.



, . , , , , .

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

Copyright & A K-C

8.

105

8.8.

(S, P).
S , . , . ,
.
(S )
.
. S , S .
S :
1

S, P

. ) ( ) (S+) ().
,
, .. .
,
, .
() S, .
) ( ) (S +) ( +).
S ,
. S , .
.

. S ,
, S . S :
1
2

. ) ( ) (S +)
( +).
) ( ) (S +) ( +).

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

Copyright & A K-C

III.

106

I . S
, ( ) S .
S :
1

2
S, P

3
S

5
S
P

P S

S
P

.
, .. (S ) .
1 ( 4). ( ) (S ) ( ). ,
, ..
.
,
(
).
2 ( 3). ( ) (S ) ( +). ,
, ..
.
,
. , ,
S, .
. S
, S .
S :
1

2
S

3
P S

4
S
P

5
S

,
, , .
3 ( 3). ( ) (S) ( +).
,
, , ,
, .
, :
1) ;
2)
.

Copyright & A K-C

8.

107

8.9.

+ ;
.

( ) (I ).
( ) ( I).
.

(
)

(
)

S
(S )

(S() ())

S
(S e P)
S
(S i P)

(S() & ())

S
(S o P)

(S() & ())

(S() ())

* ,
, I, . : affirmo (),
, nego () . : SaP, SeP, SiP, SoP.

Copyright & A K-C

III.

108

8.10.


. S .

S

(), *
(S() ())

(S() ())

(S() & ())

(S() & ()

* - ().

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

: , S, .

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

: , S, .

Copyright & A K-C

8.

109

: S
:
(S() & ()),
: , S .

: S
:
(S() & ()),
: , S .

,
. ,
. , , :
(() ()) ( () ()) (() & ()).
A

x(S() ())

(S() & ())

x(S() ())

(S() & ())

x(S() ())

x(S() ())

(S() & ())

(S() & ())

. . : x P 1(x). : x, ,
x P 1. x,
, ( ).
x .
, , .
x P (x). x(S (x) & P 1(x), .. x, , x S1 x P 1, S1
. : , .

Copyright & A K-C

III.

110

8.11. ,
-
,
- , .

, ,

.

, , -
.

1. :
S, S,

1. : S,
S 1, , S 1
.

. 203- ,
, .

2. :
S, S,
. ,
,
.

3. :
S, S,
. ,
, .

4. :
S, S,
. ,
, .
5. - :
, ,
. , , .

. 203- , , .

2. :
S, S 1, S 1 .
. 203-
, , .

, .
-

1. :
S .
. 203- .

6. - :
, ,

2. :
S .

. , , .

.
203- .

Copyright & A K-C

8.

111

8.12.
,

(, ..), , - () .
, ( ) . , , .
. ,
( ). ( ).
: R R(, ),
, R .
.
, .
,
.
. ,
(, ), ( , )
.
, -, -, -, -, , -, -, -.
. , . , .
1. ( . simmetria ),
,
( ( , ) , ( , ) .
: R R.
2. ( . reflexio ),

( = , = = ).
: R (R & R).
3. ( . transitivus ),
z, ,
z ( z, z).
: (R & Rz) Rz.
A

Copyright & A K-C

III.

112

8.13.


.

1. .
2. () .
3. (, ..) ( ,
).
, .
4. , , . , ( ) ( ),
, () .
.
, , ..
5. .

.
6. , .
A

1. - .
R, S.
: (() (S() & R(, ))).
: ,
, , , .
2. .
:
(() & (S() R(, ))).
: , , , , ,
.
A

3. .
:
(() & (S() R(,))).
A

Copyright & A K-C

9.1.


. . , , .

1. () , . & (
), .
.
2. () ,
.
, ,
. ( ),
.
, -, -. ..., ...
( ..., ...), .
3. () , ... , .... ( ... , ...), .
, , .
4. (, ) , ..., .... ( ..., ...),
( ).
.
5. ,
. ( , , ...),
. .
, .
. . -,
, . ,
, : , , ,
.. -, . , : . , :
, . -,
. , ..., ...
, . , : ,
:
. - .

Copyright & A K-C

114

III.

9.2.
-1
( )
.
: , , ..., , , , ,
..
& .
: ( & ).
.
. (), ().
(), ().

..., ..., :
.
,
. ( & )
, . ( , ;
, ; ) .
& 1 (. . 120).

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

.
& .
,
( ), .
1

( . conjunctio , ) .

Copyright & A K-C

9.

115

9.3.
1
(
) , .. .

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

, . ( )
,
, ,
.
2 (. . 120).

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

( . disjunctio , ) .

Copyright & A K-C

III.

116

9.4.
,
.
..., ....
1.

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

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

Copyright & A K-C

9.

117

()
, .
, ,
.
: ( ), (), ().
( . antecedens consequens
) , ( ..., ...)
, ( ). (),
(), (),
, ().
, .
( ) () (). , , . :
. ( ; , ;
) ( ) .
. 1. , .
2. , .
3. , .
4. , .
, , .
( ..., ...) ,
.
.
( , ) , (),
( ) .
. :
, .
, .
, .
, ..
4 (. . 120).

Copyright & A K-C

118

III.

9.5.
1 , .
..., ...
: ..., ...,
, ..., ..., , ..., ... ..
..., ... .
: ( ).
, ,
.
, .
. ,
.
(,
),
: ( , ) ( , ).
. ,
.
. ...,
..., ( ),
.
, , ,
, .
. ,
.

, .
( ) , . ( )
.
5 (. . 120).

1
( . aequus valens (valentis) , , )
, .

Copyright & A K-C

9.

119

9.6.
, .
( ).
, ,
, , .
, , , (, ),
.
. , ( ).
, ( ).
( )
, , . ,
. , .. , , .. .
. ( ).
, ( ). .
.
, . ,
. ,
, , . ,
, , ,
, , .
, . , ,
, , , , . , .
.
, ; , .
6 (. . 120).
. ( . 114119) (
, ) , &, , , , , . ( ),
. ,
, - . -
.

Copyright & A K-C

III.

120

9.7.


.
.
, , , .

1.

2.

( & )

3.

4.

( )

5.

6.

Copyright & A K-C

9.

121

9.8.
, p, q, r, ...
( ) .
:
1) ( );
2) () (
);
3) () ( );
4) ( , );
5) ( , ;
).

:
( : p & q);
( : p q, p q);
( : p q);
( : p q).
.
. :
,
.

:
;
q;
r.
, (),
().
,
, :
(q & r).
.

Copyright & A K-C

III.

122

9.9.

, .
:
;
, ,
.
1. .
:
p q ( p & q).
. ,
.
:
p q ( p & q).
. ,
, , .
:
p q ( p & q) & ( q & p).
. ,
, , , , .
2. .
:
p & q ( p q).
. ,
.
:
p q p q.
. ,
, .
:
p q ( ( p q) ( q p).

Copyright & A K-C

9.

123

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

Copyright & A K-C

III.

124

9.11.
,
, - . , 1. (() = 1)
-, , .
, . , 0. (() = 0)
-.
,
, .
0 1 (0 < () < 1).
, ,
,
.
() () ,
, ,
, ,
. (/).
. :
(), (q)
( r).
p (p & r)

, . ,
5/8 (/ = 5/8).

. : ,
(), (q) ( r).
(q) ( r).
p

(p (q & r)

, . , / = 2/6.

Copyright & A K-C

10

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

:
, ;
, .
.
:
1. . S P S .
2. I. S S .
3. S S .
. ) (S) () S .
. , , ..
: S . ,

;
) (S) () S .
. ,
, ..
: S . , .
,
,
.
:
;
;
I;
I .

Copyright & A K-C

III.

126

10.2.

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

R(, );

R(, ).
A
A

R(, )
R(, )
R(, )
R(, )
A
A

- -
:
A
A

R(,
R(,
R(,
R(,

)
)
)
)

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

A
A

- :
R(, );
R(, );
R(, );
R (, );
R(, );
R(, );
R(, );
R(, ).
A

A A
A
A

A A
A

A
A A

R(,)
R(,)
R(,)
R(,)
R(,)
R(,)
R(,)
R(,)
A

A
A
A A

. , .
- . ,
- : .

Copyright & A K-C

10.

127

10.3.

:
( & )
( )
( )
( )
( )

;

& ;
& ;
( & ) ( & );
.

,
, (.. , ) ( , ) ,
:
1. p & q p q.
. , ()
(q).
() (q).
2. p q p & q.
. , () (q).
() (q).
, ,
.
1. p q p & q.
. , ,
(p), (q).
() (q).
2. p q ( p & q) (p & q).
: , (p)
, (q).

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

Copyright & A K-C

11

11.1.



:
;
;
.
,
, , .

,
, ,
, .

, ,
, , .

( ), ,

,
.

(),
,
.

(),
, .

Copyright & A K-C

11.

129

11.2.

,
.

( )

I, ,
.

, , I,
.

()

, , .

()
, I, , .

, ,
,
,
.

( )
I ,
, .

I, .
1. :
I; .
2. :
I ; .

. , , .
, , .
, : 1) ; 2) ; 3)
, , .

Copyright & A K-C

III.

130

11.3.

U ( ,
)
, .
S , S
1:

2
S

S, P

. (S) () (1).
(S)
() (2).
, .
S ,
S :
1

2
S

. (S)
() (1).
(S) () (2).
, .
1

, .

Copyright & A K-C

11.

131

S ,
S 1:
1
2
S

S, P

4
P

5
S

. (S)
() (1).
(S) () (2).
(S) () (3).
(S) () (4).
, 10, , 5 (5).
, .
S ,
S :
1

2
S

4
P

5
S

. (S) () (1).
(S) () (2).
(S) () (3).
(S) () (4).
, 10, ,
5 (5).
, .
1

S, .

Copyright & A K-C

III.

132

11.4.
(S ) 1:

1

S,P

S P

S
P
S

SaP

SeP

SiP

SoP

S
P

:
I, E O ;
();
I ( );
, I ().
(S ).
. ,
. , .
1
, , (. . 133).

Copyright & A K-C

11.

133

11.5. 1

A, E, I, O.
S

()

()

()
S

S
S

,
- , , I, .
A

, , I
, . :
(, , I).
,
, . .
I, , I ( , ).
1
, (XI .) .

.
,
A,E,I,O ( ).

Copyright & A K-C

III.

134

11.6.
,
, , .. (), (), (I) ().

(I)
S

, -
, , I, .
A

() , , , I, S (.. ) , , , , .
, (, ), I
, I, , (
.. ). I ;
, , ( I) ,
(. ).
,
, .

Copyright & A K-C

11.

135

11.7.

()

()

,
, .

(p q) (p & q); m & n (m & n)

,
;
.

p & q m n; r & s m & n

, .

,
, .. ,

, .

,
.

,
,

.

,
,

,
.

,
, (
, )
.

,



, .

Copyright & A K-C

III.

136

11.8.

, , , , .
. . (),
(q) .
( q), , ,
( p).
:
(p q) ( q p).
.
(1 2)
p
q
p q
qp
,
, ,

. ,

.
2

:
;

:
1. :
( & ) .
2. :
( ) & .
.

3. :
( & ).

4. :
.

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

Copyright & A K-C

11.

137

11.9.

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

p q

pq

(1 2)
,
,

, . , ( ).

;
.

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

Copyright & A K-C

III.

138

11.10.
,
,
, .
. (), (q),
(q), , , (r) (), , , (r).
:
(p q) & (q r) (p r).

.
p

(p q) & (q r)

pr

(1 2) , ,

, . , .

1- : ;
3- 4- : , ;
2- , .
, () (), ,
.

Copyright & A K-C

11.

139

11.11.

,
,
.
. . ()
(q) . ()
( q).
:
(p & q) ( & q).
.
p

p &q

p&q

(1 2)
,
,
. , .

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

Copyright & A K-C

III.

140

11.12.

,
, .
. (), (q) ()
( q).
:
(p q) (p & q).
:

p q

p&q

(1 2)
, ,
. , .

1- 4- , .
,
, .
, .

Copyright & A K-C

12

12.1.
( . modus , )
,
, , .
, .. ,

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

, ( ).

, ( ).

.
(S ) (S ),

( ).

.
(p & q); (p q); (p q);
(p q); (p q).

. : , , ,
, ,
..

.
100 , ,
100 , .

Copyright & A K-C

III.

142

12.2. 1

,
, , , . .

() ,
, .

, () () .

, .
. S ( ) .
: , , .

, , .

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

,
.
1

( . ) .

Copyright & A K-C

12.

143

12.3.
(, , , , ..)
.

.

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

.

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

.
: , ,
().

: () V () F.

(V V )
(F F )
(V F ; V F).

.
: ,
,
().


(V) (F), ..
:
V & F,
, : , .

. ( . episteme )
.

Copyright & A K-C

III.

144

12.4. 1
,
, , . .
( , F , ) , , .

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

: , , , .
: F (d), d .
. ,
.

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

:
1. (d) & ( d) d -d;
2. F (d) & F ( d) d -d;
3. (d) & F (d)
d d.

.
1

( . deonte ) .

Copyright & A K-C

12.

145

12.5.

()

()

(N)

()
(G)

(R)

()

()

(S)

(U)

(W)

(I)

( )

( )

()
()

(V)

(F)

()

()

()

()

()

Copyright & A K-C

III.

146

10

(G)

()

(I)

(S)

()

()

,
.
, . ,

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

Copyright & A K-C

12.

147

12.6. .

Na

Sa

: .

: .

& :
, .

N , .
N , .

, .

. N ; ; S
; D ; .

12.7.
a

a D

: .
:
.

a D & :
, .

, .
,
.
, .

. ; ; .

Copyright & A K-C

148

III.

12.8.
(Ga & a)
(Ga & Ia)
(a & Ia)
Ia D Ga &

.
.
.
,
.
Ga D

.
a D G
.
(Ga & G a)
, , .
(a & a)

.
(a) (a)

.
(b) (b)
, .
(b) & (b) () , ,
.
. : G ; ; I
. : ; ; S .

12.9.
(a & Fa)

, .
(a & Ia)
,
() .
(Fa & Ia)
,
() .
Ia D a & F , .
a D F
,
.
Fa O
, .
a Fa
.
(a & a)

.
. ; ; F ; I ()
.

Copyright & A K-C

13

-
13.1.
,
.

()

()

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

Copyright & A K-C

III.

150

13.2.
, .

()

()

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

Copyright & A K-C

IV

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

.
.

Copyright & A K-C

,
.
.
,
.
: .
;

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

. , , , ..

.
() .
, ..
. : , .
( . deductio ) ,
, ..
. , ,
.
( . inductio )
, , .
, ,
.
( . analogia )
() , , , .

Copyright & A K-C

14

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

()

,

.

,

.

,


.

14.2.

()

()

, ..


.

Copyright & A K-C

IV.

154

14.3.

14.4.
,
.

Copyright & A K-C

14.

155

14.5.

()

()

Copyright & A K-C

15

()

,

15.1.
( )
1 ,
, .

,

.

,
.

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

Copyright & A K-C

15. ()

157

15.2.
,
.
() 1:
,

, q
q, r

q, q r
r.

, r.

, .

(), (q).
(q),
(r).
(),
(r).

:
(p q) & (q r) ((p q) & (q r)) (p r) ( ).
p r

p

(( p q ) & ( q r )) ( p r )

, -.
:
. .

, ,
... , , , .

Copyright & A K-C

IV.

158

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

(modus ponens):

p, q
p

pq
p

(p),
(q)
(p)
(q).

:
p q,
q

((p q) & p) q .

(( p q ) & p) q

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

Copyright & A K-C

15. ()

159

15.4. -
(modus tollens)
(modus tollens):

p, q
-q

pq
q

(p), (q).
(-q).

-p

(-p).

:
p q, q

((p q) & q) p .

(( p q ) & q) p

, -.
, , , , . - , (modus
tollens) : .
.
:
modes tollens A B, B
A B, A
;
B
A
, , :
A B, A
A B, B .
;
B
A
modus ponens

Copyright & A K-C

IV.

160

15.5. -

- ,
,
. : - .
,

1. - (modus ponendo
tollens) (1- ):

p q
p

pq
p

-q

(p)
(q).
- :

(p).
, , (-q).
.

:
p q,

((p q) & p) q ,
((p q) & p) q .

(( p q ) & p) q

.
.

(( p q ) & p) q

Copyright & A K-C

15. ()

161
, B

- (modus ponendo
tollens) (2- ):

p q
q

pq
q

-p

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

:
p q, q
p

((p q) & q) p ,
((p q) & q) p .

(( p q ) & q) p

(( p q ) & q) p

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

, , ( ) ,
(, ..).

Copyright & A K-C

IV.

162

2. - (modus tollendo ponens):

1)

p q
-p

, A

2)

, B

p q
-q

3)

p q, q
p

, A

p q
-p

4)

p q, p
q

p q, p
q

, B

p q
-q

p q, q
p

. (p) (q).
- :
(-p).
, (q).
.
:
1) {p q} & p

((p q) & p) q ;

((p q) & q) p ;

((p q) & p) q ;

((p q) & q) p ,

q
2) {p q} & q

p
3) {p

q} & p
q

4) {p

q} & q
p

{...} .

()
. .

Copyright & A K-C

15. ()

163

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

- ,
.
- , .
- , .
.

15.7.
.
1. ( ),
. .
2. ( ),
.
.
, , .
, , .
,
, .
,
, .
.
: , , , .

Copyright & A K-C

IV.

164

15.8. 1
,
.
, .

, , .

p, r;
q, r
p q

(p r) & (q r)), p q
r

(p),
(r).
(q),
(r).
(p)
(q).
C (r)

( )

:
( r) & (q r) & (p q)
r

: ((p r) & (q r) & (p q)) r

,
.
,
. (( ) & ( )) ( ) ,
, .
.
(p) (q), (r).
(p) (q), , (r).

,
.
1

- .

Copyright & A K-C

15. ()

165

15.9. 1
,
.
, .
, , .

p, q;
p, r
-q -r

(p),
(q).
(p),
(r).
(-q),

(-r).

p q, p r, q r
p.

-p.

(-p).

:
( q) & (p r) & ( q r)

((p q) & (p r) & ( q r)) p

p
.
( ),
.
:

p (q & r); q r

:
(q & r) & ( q r)
p

: ((p (q & r) & ( q r)) p

.
.
(p), n-
(q) (r).
. (-q) (-r).
. (-p).
1
( ) - .

Copyright & A K-C

IV.

166

15.10. C 1

. .
B, C D, C .
B D

p, q;
r, s
p r

p q, r s, p r
qs

q s

(p), (q).
(r), (s).
(p) (r).
(q) (s).

( q) & (r s) & (p r)
q s

: ((p q) & (r s) & (p r)) (q s)

.
( ),
.
.
(p), (q).
(r), (s).
, (p) (r).
(q), (s).
: ((p q) & (r s) & (p
1

r)) (q s).

- , .

Copyright & A K-C

15. ()

167

15.11. 1
. ,
.
:

, C D, B D

A C

p, q;
r, s
-q -s

p q, r s, q s

-p -r.

p r

(p),
(q).
(r), (s).

(-q), (-s).
(-p) (-r).

( q) & (r s) & ( q s)

p r

: ((p q) & (r s) & ( q s)) ( p r) .

( ),
.

(p), (q).
(r), (s).
(-q), (-s).
(-p), (-r).
: ((p q) & (r s) & ( q

s))

( p r).

- .

Copyright & A K-C

IV.

168

15.12.


.
1.

. ,
(. . 3840).
2.

.

.
.
,
. , -. , (. . 169).
3.

, - (
), , ( ). (. . 45).
4.
, . , , ,
, . .
, , .
,
, (. . 46, 47).

Copyright & A K-C

15. ()

169

15.13.


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

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

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

, ( ),
, , , , ,
, ( ),
,, , , ,
, (

; : ( )

, ( ), .
, , ,

; : ( )

, ( ), .
, , ,

),

, , , , , , ,

: ( )

, (

),

, , , ,, , ( )

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

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

Copyright & A K-C

170

IV.

,
.

15.14.

. :
.
, , . ,
- .
.
1. , . , . , , ,
, .
, . :
;
;
;
.
2. , . , , ,
,
.

.
:
();
();
().

. . ,
, , ,
.
, .. .

Copyright & A K-C

15. ()

171

15.15.

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

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

( ).
. :
; ; ( ) ; ( ).
2. ( , ,
) I ( ) ,
, .
.
: I ;

I .

.
( I ).
.
.
( I ). :
I ; I ; I ( ) ; (I I ).

Copyright & A K-C

172

IV.

3. I, (
). I. I
. ( ) ( ).
: ) ( I ),( ); )
I A, O E.
.

( I ).
( ).

.
.
( I A).
( O E).
: I ; ; I ( );
( ); I A ; O E ; (I I ); ( ).
4. ()
, I ( ). :
, . (, E I)
.
: ; ; I ; I.
:

( ; O ; I; I ).

( ; O ; I; I ).

( ).
(I ).

( ).

Copyright & A K-C

15. ()

173

15.16.


: ; ; . , , , , , .
,
, (, , ) () .
, . .
1. , .
2. ,
, .
3. , , , ; .
:
1. .
:
2. .
:
3. .
. (1)
(2) , (2) (3) , (1) (3)
.
:
, ,
. () (S), ()
S. ,
, .. S. , .
, , :
S .
S

Copyright & A K-C

IV.

174

15.17.
, .
:
S --- P
S ----P

S ( ) P .
S () -P

, , I, .

S
S -

S
S -

. .

. .
-.

S
S -

S
S -

. .

-.

.
.

-.

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

Copyright & A K-C

15. ()

175

15.18.
, , .
:
S --- P
P--- S

S ( ) P .
P ( ) S

, , I:
I

II

S
S

S
S

S
S

S, S,

S, S,

()

: , , . : () . , ,
S , .
, ,
, .
, , :
S P P S;
S P P S.
() . .
, , :
S P P S.

Copyright & A K-C

IV.

176

15.19.
, , ,
; .

:

SP
-P S

S ( ) P .
-P () S

, , :

S
- S

S
- S

.

.

(I)
.

.

.

I
S
- S
.

.
.

.
1. P -P.
2. S -P.
3. .
. .
:
.

Copyright & A K-C

15. ()

177

15.20.
, , ,
.
.

. (, I, , ) ( ).

1

SaP

SeP

SiP

SoP

PS

PS

PiS

PoS

SP

S,P

11

, (-I) (-)
(-; . 1 2- ) (-; . 3, 4, 7- ), (-; . 5, 6-
); (), .
(-) (I-E) (- -)
. (- -,
-) .
1
1 , 2
.

Copyright & A K-C

IV.

178

.
, , ..
. ,
, , 1.
, , .
: , , . SaP, iS.
:
1

2
S, P

P
S

, . ,
. , .
: , , .
SaP, S.
:

2
S, P

P
S

,
. , . , .

(, , I, O) , .. .
, . ,
1 2 37;
5 6 14, 7; I 14,
7 5 6; 37 1, 2 (. . 177).

Copyright & A K-C

15. ()

179

15.21.

1. ( . syllogismos , ),
.
2.
.

,
, .

,
.

(P)

()

,
.

,
.

(S)
.

,
.

.
() () .
(S) () .
(S) (P) .

Copyright & A K-C

IV.

180

15.22.

,

.

, .

.
.
.

S
S

,
.
, ..
( ):
, ,
. dictum de omni et
de nullo.

.
- . nota notae est nota rei, repugnans notae repugnat rei.
.
,
, - (S-P),
S P (), (), - (S-P).

Copyright & A K-C

15. ()

181

15.23.

, .
:
;
;
I ;
.
, , , .
(, , I, ). ,
24, .. 16:

IA
OA
AE
EE
IE
OE
AI
EI
II
OI
AO
EO
IO
OO
64 . 64 4 =
= 256 .
(
) .
, .
: ,
, , . 24 ,
. :
1- : (Barbara), EAE (Celarent), AII (Darii), EIO (Ferio), AAI (Barbari),
EAO (Celaront).
2- : EAE Cesare), AEE (Camestres), EIO (Festino), AOO (Baroco), AE
(Camestrop), EAO (Cesaro).
3- : AAI (Darapti), IAI (Disamis), AII (Datisi), EAO (Felapton), OAO (Bocardo),
EIO (Ferison).
4- : AAI (Bramantip), AEE (Camenes), IAI (Dimaris), EAO (Fesapo), EIO
(Fresison), AEO (Camenos).
, , . ,
Barbara AAA ..
. .
, , , . , , AAI EAO,
AAA EAE.
AEO EAO,
AEE EAE. AEO
AEE. , I O, A E.
19, 5.

Copyright & A K-C

IV.

182

15.24.

, ,
.
(. ,
).

.
,


.

,
,
.



.

.
.
, .

() ().
(S)
().

, :
1.
.
2. .
3. .

(+) ().
(S+) (+).
(S+) (+).
,

.

Copyright & A K-C

15. ()

183

15.25.

,

.

().
().
.

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

,

.

(I).
(I).
.

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

Copyright & A K-C

IV.

184

15.26.
, .
, :
();
();
(I);
().

:
, , AII, IO
AAI, EAO

,
,

() () ().
() (S) ().
() (S) ().

.
S .
S .

. , .

.
, , ,
.

Copyright & A K-C

15. ()

185

15.27.

II

:
, , I, O,
,

() () ().
() (S) ().

S M

() (S) ().

P M

. , .

(I) .
(E) .
(O) .

, .

Copyright & A K-C

IV.

186

15.28.

III

:
I, IAI, AII, EAO,
OAO, EIO

() ()
(P).
() () (S).

(I) (S) ().

I . , .

() .
() .
() .

, .

Copyright & A K-C

15. ()

187

15.29.

IV

:
I, , IAI, EAO,
EIO, AEO

() () ().
()
() (S).

() (S)
().

. , .

.

.
1. , .
2. ,
.
3. , .
, .
.
. ,
.
.
,
.

Copyright & A K-C

IV.

188

15.30.

, .
.
1.

, (), (+).
, (S), (+).
(S) (+).

(
, ).

2. 1- , .
(
).

3. ,

,
(), (+).
(S+) ().
(S+)
().

(
).
4. 2- .
(
).

5. 1- ,

, (+), (+).
(S+) (+).
(S+) (+).

( , .
).

, , , .
, .

Copyright & A K-C

15. ()

189

15.31.
1

1. .
2. .
3. , .
4. .
5. ,
.
6. .
7. ,
.
8. .

1. (, ).
, .
2. (, I). ,
.

1. (, ).
, .
2. (, ).
,
.

1. (, I).
2. (I , ).

1. (, I)
(, ).
2. () (, )
(, ).
3. (, I) (I , ).
1

Copyright & A K-C

190

IV.

15.32.

. , . , (, ), , .
, ,
.
:
1. ,
, .
2. (1- , 2- , , ).
3. ,
S ( S ).
4. S , .
, ,
.
5. .
, ,
() , 1-
, .
( -), . , .
6. (
). , .
7. . , ,
. , , .
8. , , ,
,
, 1.
.
1

Copyright & A K-C

15. ()

191

15.33.

() () ().
() (S) ().

(A)

() (S) ().

2- ,

(E)

. S , .. (, S
).

: ,
, , .
: ,
, , .

Copyright & A K-C

IV.

192

15.34.
( )
, (..
), .

(I) () ().
(A) (S)
().

(I) () ().
(A) (S) ().

(I) (S)
().

(I) (S)
().

1- , IAI .
,
.

1- , IAI

.

. ,
,
, , .

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

() (P) (M).
(A) (S)
(M).

() (S) (P).

() (S) (P).

2- , .
,
.

2- ,

.

. ,
,
, ,
.

Copyright & A K-C

15. ()

193

15.35.


.
1. .
2.
.

, , ,
. ,
, ..
.
.

.
.
.

.
, . ,
:
, ,
: , .
?
,
, ..
.
:
1. , .
2. .
3. , .
: ,
,
, .

Copyright & A K-C

194

IV.

, , ..
.
, .. .
,
,
, .. . ,
.
:
1. .
2. , .. , .
,
, .
: ,
,
, .
, , ,
, . , .. , , ,
.
, .
, , .

Copyright & A K-C

15. ()

195

15.36.

,
.
: R

, y,
y x.

, .

, x z ,
x y
y z.

xRyyRx
(R )

x R y ( R x & R )

(x R y & R z) x R z

1. (x R y y R x) :
x R y , y R x .
.

2. (x R y ( R x & R ))
: x R y , Rx R.
.

= =

3. (x R y & R z x R z)
: x R y R z , x R z
.
.

. .
. .
. .

Copyright & A K-C

IV.

196

15.37.
()
,
. . , en tyme,
. , -
, .
,
.
:
) ; )
; ) .

.
.
.

1. :
,
.

2. :

,
.

3. :

, .

1.
: .
2. , :
, .
3.
.
4.
.
. :
, .
1. .

:
.
2. :
; , ; , , .
3. : .
( ):

.
.
.

Copyright & A K-C

15. ()

197

15.38.
(, , )

, , () .

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

.
.
, , .
(. soros )
, , .
:
1) ,
, ();
2) , , ().
, , ( ) ,
.

. (.
epiheirema ) , ().

Copyright & A K-C

IV.

198

15.39.
, .

() ().
- () ().
- () ().
(D) - ().

(D) ().

A
B

D B

C

D

2 :

, , , D C

D B,

:
((p q) & (r p) & (r q) & (s r) (s q).
, -.

15.40.
, .

1. () ().
() ().

1.

() ().
2. () (D).
() ().

2. D

() (D).

A D

BC
AB
CD
AC

AD

:
B C, A B, C D, A C
A D.
:
((p q) & (r p) & (q s) & (r q)) (r s).

Copyright & A K-C

15. ()

199

15.41.
, (, XVI .)
.

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

D
D

AB
CA
DC
ED

() ().

EB

, , , .

:
A B, C A, D C, E D
E .
:
((p q) & (r p) & (s r) & (t s)) (t q).

15.42.
,
.

() ().
() ().
() (D).

AB
BC
CD

() (D).

AD

, ,
, .

:
A B, B C, C D
A D.
:
((p q) & (q r) & (r s)) (p s).

Copyright & A K-C

IV.

200

15.43.
, ().

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

,
()
D A, D E
()
D C

(D) ().

:
1.

2.
D

3.
D

D A

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

2. () ().
(D)
().
(D) ().

:
3. () ().
(D) ().
(D) ().

Copyright & A K-C

16

()

16.1.

, .
, - ,
.
, ,
() .
.
, , , . , , . , , , S1, S2, ..., Sn,
. , .

:
| ,

(S1, S2, ..., Sn), , |

, | =.

.
( ),
() (), .
() .
,
,
. : (), , .
() ()
() ,
, ,
, ,
. : (/); : .
() () :
1) () = (/), ;
2) | () < (/), ;
3) | (/) > 1/2,
;
4) (/) = 1 () 0.

Copyright & A K-C

202

IV.

16.2.

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

(S1, S2, ..., Sn)
, , (S1, S2, ..., Sn) ,
, ,
(S1, S2, ..., Sn) . .
, ,
,
.
, .
,
. ,
.
( 1) , .
. ( () = 1) , , .

Copyright & A K-C

16. ()

203

16.3.

() (), , ,
.

.
. ( ),
( q). ( r),
( ). (r). , (q).

, , .
p

p q

r p

:
(r) = 1/2.

:
P (q / q, r , r) = 1/3.

, (q)
( q, r , r),
(1/3) (1/2). ,
.
. (), (q).
( ), (r).
(). , ( r).
p

pq

:
( r) = 1/2.

:
P ( r / p q, p r, p) = 1/2.

:
P ( r) = P ( r / p q, p r, p).
, ( r) ()
(p q, p r, p).

Copyright & A K-C

IV.

204

16.4. ()

, ( )
.

: -, ; -, , ,
( ).
( . inductio ) ,
, .
, .
( ),
, .
;
, . ,
1, 2, ..., n,
() .
= (1, 2, ..., n).
:
1.

1
2
3

1.

n
2. 1, 2, 3, ..., n
() ()

(n)
2. n + 1. 1, 2, 3, ..., n
S

. ,
, .

(1)
(2)
(3)

x (S(x) ()),

S.

Copyright & A K-C

16. ()

205

16.5.

,

.

()
, .

() ,
.

.

.

.

,
()
.

.


.

( ) () ,
:
;
- ;
;
.

.

Copyright & A K-C

IV.

206

16.6.
,
. ,
, .

= {1, 2, ..., n}.

:

1.

1
2
3
................................
n

1.

2.

1, 2, 3, ..., n

2.

n + 1. {1, 2, 3, ..., n} = S
x (S(x) ()),

: ,
, .

(1)
(2)
(3)
.............................
(n)

S.

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

n
1, 2, 3 ..., n
.
. n + 1
, S.
S.

Copyright & A K-C

16. ()

207

16.7.
, . ,
.
. , () ,

.

. :
.
.

.
1. .
, 1 .
2.
. , n , n + 1 . () , .
,
, .. ,
, .
.
, ,
A

(1) (n) (n + 1)

x(S(x) P(x)),

(1)
;
(n)
;
(n + 1) ;
S
.

(S) {1, 2, 3, ...},

. (n) (n + 1) :
n , n + 1
; (n) , .
.

Copyright & A K-C

IV.

208

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

1.

1
2
3
...............................
n

1.

2.

1, 2, 3, ..., n

2. n + 1. {1, 2, 3, ..., n} S

(1)
(2)
(3)
.............................
(n)

x(S(x) ())

,
, .

-
.
( , ).

(1, 2, 3 ..., n) S,
S. ,
, S ,
.
:

1. .
.
.
2. , , .

x(S(x) ()).

, . .

.
.

Copyright & A K-C

16. ()

209

16.9.
,
.


()

()

, ,
.

,
,
.

S, , , , ,
.
S , . S 1
S. .
:
1. P (a1)
2. P (a2)
3. P (a3)
..............
n. P (an)
n + 1. {1, 2, 3, ..., n} = S
,
x (S (x) P (x))
A

A
A

n + 2.

x (S (x) S (x))
x (S(x) P (x))

S() . n
,
.
(n + 2) ,
S.
. .
1

, ,
, .

Copyright & A K-C

17

17.1.
: - F
X , ,
, , .

A, B, C, D, .

A, B, C, E, D .

6.01.1998

., ., .

A, , D, E, B .

8.01.1998

., ., .

B, C, D, E, A .

10.01.1998

., ., .

C, , .

. ,
.

17.2.
: - F , X, , ,
, F .

A, B, D, .

6.01.1998

., ., .

C, , .

8.01.1998

., ., .

A, B, C, D .

. , .

Copyright & A K-C

17.

211

17.3.
: ,
, F,
, ,
, F, F
.

A, B, C .

M, E, B .

6.01.1998

., ., .

M, B, C .

8.01.1998

., ., .

A, C, M, E, B .

10.01.1998

., ., .

B, , .

12.01.1998

., ., .

15.01.1998

., ., .

. ,

17.4.
: F
, , ,
, F .

A, B, C .

,
.

A, B, C .
A, B, C X.
A, , .

,
.

Copyright & A K-C

212

IV.

17.5.
: , ,
, , .

1. ABC YZ.

1.
abcd.

2. .

2. a.
3. b.

3. Y.
4. c.

Z.

, ,
d.

,
.

1. . .
. , a, b, c,
A, B, C,
. d. ,
D, .
. D
. , 1846 ., .
. .
2. -, ,
, ,
, - .
: .
3. ,
, .

Copyright & A K-C

17.

213

17.6. ,

1. -

.
2.

.
3.
.
4.
.
5. -
.

1.
.
2.
, .
3.

.
4.
.
5. .
6. .

- .

.
-
.
- .

.
.

Copyright & A K-C

214

IV.

17.7. ,

, .
,
.
(post hoc, ergo propter hoc (.)).
,
, .

. - ,
, .
,
, .

.
) .
,
. .
) F
F, f1, f2, , fn.

F, - , f2.
. , ,
.

, . , , , .

Copyright & A K-C

18

18.1.
( . analogia ) ,

.

,
.

,
.

,
.

,


.

, , ,
.
.
,
.
:
, ;
.

, .
,
.

Copyright & A K-C

IV.

216

18.2.

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

Copyright & A K-C

18.

217

18.3.


,
-.

:
a, b, c, d, e, f.
B a, b, c, d.
. , e, f.
.
, , .

,
-.

:
1. x R1 y
m R2 n
2. R1 a, b, c, d
R2 a, b, c
. , R2 d.

. ( R1) y; m
( R2) n.
, (R1) .
R1 R2, ,
R2 , :
.

Copyright & A K-C

IV.

218

18.4.

a, b, c, d, e.
B
a, b, c, d.
a, b, c, d
.
.

(a) = 1,

.
, .

-
; :

,
( ) ..

0, 1,
1 0:
1 > (a) > 0,
() .
- , .
,
,
, .
, .

0:
(a) = 0.

Copyright & A K-C

.
.
.
,
.
.
,
, ,

.
.
,
,
, ,
.
. .

.
..

Copyright & A K-C

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

.
,

. :
,

{1, ..., n}
1, ..., n , .

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

. .
. :
1) ;
2) , , ,
, ..

Copyright & A K-C

19

19.1.
. ,
.
, .

, .

, , .

.
: .

. : , .

. (

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

.
. ,
.

Copyright & A K-C

V.

222

19.2.

, ,

, .
, .

().

,
.

.

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

Copyright & A K-C

19.

223

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

(, )

(, )

()

()

()

()

()

( )

Copyright & A K-C

V.

224

19.4.
. .
.

,
, .

, .

() . .



.

, .


.

() .
,
.

, ( . verus facere
).
,
,
,
,
.

, .

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


. .

Copyright & A K-C

19.

225

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

-
.

:
.

:
.

,


.

().

,

,
.

()

.

.
: .

: .

: . .

:
.

Copyright & A K-C

V.

226

19.6.

.
.

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

.

.
.
,
, . ,
,

.

I . ,
, , .. , , .. .
.
.

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

III . , ,
, .. . ,
.

Copyright & A K-C

19.

227

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

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

-
, .

,

.

,
.

,
()

.

()


(, ).

Copyright & A K-C

V.

228

19.8.

, ..
.

(
)

().

( )
().

. : ,
.
, D .

,

180.
180.
, , D
, , D.

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

( . apagoge) , .

Copyright & A K-C

19.

229

19.9.

, .

, .

,
.

, .

: ) , ) , ,
.

Copyright & A K-C

V.

230

19.10.




:
1)

2)

,
,
, .

1, 2, 3, ...

1, 2, 3, ...
3)

,
.

1, 2, 3 ...

2
3

Copyright & A K-C

19.

231

19.11.



.
:

.

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

, , .

b1

b2

b3

c1

c2

c3

, .
- - . , , .. ():
b c d; a & b & c
.
d
:
b c d t; a & b & c & d
.
t
(- - ).

Copyright & A K-C

V.

232

19.12.

, .
.
:

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

, :
( );
.

(
).
.
.

,
.

,
.

Copyright & A K-C

19.

233

19.13.
1.

()

()

(), .

, , . .

:

.
( )

(-), - () .
,
.

(a b) ((a b) a).

2.

, , .
.
.
, :
b,
.
, b

. ,
.

3.

.
.
,
.
,
,
, .

Copyright & A K-C

V.

234

19.14.

1. :
, .
:

, () ();

-
,
(
);

1. .
2.
:
;
.
3. :
;

( ).

;
-

:
4.
.

5.
.

2. :
, ..
.

6. :

, .

Copyright & A K-C

19.

235

19.15.

1. ,
,
, .. .

1.
().

2. ,
, .

3.

.

3. .

4.

.

2. .

5.

.
4. ().

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

Copyright & A K-C

V.

236

19.16.

()
.

1.
.
2. .
3.
, .

4. .
5. ( ).
6. .
7.
.
8. , , , ,
, , .

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

9. ,
,
.
10.
(, )
.

11. , .
12. .

Copyright & A K-C

19.

237

VI

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

,
,
.
.
, , , ,
, .
.

Copyright & A K-C

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

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

, .
, .
, , .
,

.

Copyright & A K-C

20

20.1.
( . problema , , )
() (), .
, .

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

(),
. :
?.

:
?.

.
.

.
.

, ,

.

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

Copyright & A K-C

240

VI.

20.2.
1.
. ,
.
.
.
, .. , .
. , .
2.
. ,
.
.
.
.
.
.
.
3.
. ,
, , .
.
. , , , . , . , . .
( ) .
. ,
, , , ..

Copyright & A K-C

20.

241

20.3.

()

()

1
(
)

.
1. . ,
; .
2. . , .

1
, . , . ,
: ,
, . , 1936 .
. , .

Copyright & A K-C

VI.

242

20.4.

.
.

.

()

()

.
1. , ..
.
2. .
3.
.

Copyright & A K-C

20.

243

21

21.1.
, , , .

.

.

.
().

.
,
, .

. -
.

.

.

.
.

,
.


.

,
.

.

.


.

Copyright & A K-C

VI.

244

21.2.
1-

, .

2-

( ), .. ,
.

3-

4-

, , .

5-

,

.

21.3.
,
- .

( ).

.
(),
0 1, 0 < () < 1.
() = 1 .
() < 1/3 .
() = 1/2 .
() > 2/3 .

Copyright & A K-C

21.

245

21.4.
I.




. ,
:
,

S1, S2, ..., Sn.

( & ) (S1, S2, ..., Sn).

1,
2, 3, ..., n.

.

.
:
1)
() ();
2) (), :
)
();
) ().

II.
1.

S1, S2, ..., Sn,
1 2,
S1 S2,
. - :
H S, S .
H
, .
,
,
- -
:
1 2 3, 1, 2
.
3
,
.
2.
,
S . *, ,

* S, S .
**
S1, S2,
..., Sn .
: P(S) > P (H).

Copyright & A K-C

VI.

246

21.5.

,

.

- - .

,
.

(
H1, {Sa, Sb, ..., Si})
.

:
1 2 3, 1, 2

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

- . .

, Fa, Fb,
..., Fi Sa, Sb,
..., Si, H1.

S, S
H1
H1

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

Copyright & A K-C

21.

247

22

22.1. ,
( . theoria , , )
, .

1. . , , , , , ..

2. .
.

3. . ()
, .

,
.

4. .
,
() ,

(), .

. ( ). . .
,
().

Copyright & A K-C

VI.

248

22.2.

()

.

.

,
,
.

.

,

.
.
. , ,
..

. ..

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

Copyright & A K-C

21.

249

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

Copyright & A K-C

250

.
,
, , .
.

,
.
,
.
,
.
,
, , .

I. : .

1.
1.1. , , :
) ;
) .. ;
) ;
) ;
) ;
) 10 3;
) ;
) ;
) ;
) .
. , , .
1.2. , :
) ;
) ;
) ;
) .
. :
S .

Copyright & A K-C

1.

251

1.3. ,
:
) , .
.
, . .
) .
, , (.. ).
. , .
) , .
.
( , , ). .
1.4. , :
) , ().
. ,
, , . .
) (), , ,
, ().
. ,
, , () ,
() .
) , .
.
( ( & ), , -).
.
1.5. :
) ()
().
. ,
, , ( , ) .
,
.
.
) , (),
, ().
. ( )
: , , ,
, , ,
, .. .
,
.

Copyright & A K-C

252

) 322 .. .
.
( , , -).
1.6. :
1) ;
2) ;
3) , , ?
.
,
, ,
, .. ,
- .

2.
2.1. , :
) 3;
) NaOH + 3?
. ,
; , .

, .
2.2. :
) 2 + 2;
) ;
) .
. 4;
; .
2.3. ( ) :
) ;
) ;
) ;
) , ;
) , .
. ;
,
.
2.4. , , , :
) ;
) , ;
) .
. , ,
. : ,
. ,
. .

Copyright & A K-C

1.

253

2.5. :
.
. :
, , , , .
2.6. , :
) , ;
) ;
) ?;
) .
.
) , , , ;
) , ;
) ? , ;
) , .
2.7. ,
( , , , (
), ).
. :
) - , , ;
) - ,
, , ,
, , .
2.8. :
) , ,
.
. : ,
, ,
(), () ,
, () ,
, (), (), , ,
( ) , .
)
,
.
. : , ... (), () , ( ), (), () ,
( ), (), .

Copyright & A K-C

254

3.
()
3.1. :
) , .
.
:

;
q
;
r
;
v
;

..., .
: ( q) r.
) ,
.
. :
p ;
q ;
r ;
;
.
: p (q r).
) ,
.
. :
p ;
q ;
r ;
& ;
.
: p & ( q & r).
) (p), (q).
(r), (s).
(q), (s),
(t). (t). ,
(p), (r).
:
((p q) & (r s) & ((q & s) t) & t) ( p r).
) , ,
: , .
. (p). (p). (q), (r).
... (), ..., (). : p (q r).
3.2.
:
) .

Copyright & A K-C

1.

255

. (),
, .
) .
. R (a, b), R
, b , .
) .
. ().
) .
.
R (, b), R
, b .
) .
. R (x, f (a)).
)
. R (f (a), x).
) .
. ( () & Q ()), Q . :
(), .
) .
. ( () Q ()). :
() , , .
) .
. ( () & Q ()).
) .
. ( () Q ()).
) .
. ( () & R (x, b)). :
, , .
) - .
. (() & R(b, x)). :
, , , .
) .
. x(() R(x, b)). :
, , , .
) - .
. (() y(S(y) & R(x, y))).
: , ,
, , .
) .
. (() & (S() R(x, y))).
: , , ,
, , .
) .
. x(P(x) & y(S(y) R(x, y))).
A

Copyright & A K-C

256

II.
4.
4.1. .
. : ( ),
- ( ). :
((, ) Q (, )).
4.2. .
. ()

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

5.
5.1. ,
.

1234567890
1234567890
1234567890
1234567890
1234567890
1234567890

1234567890
1234567890
1234567890
1234567890

1234567890
1234567890
1234567890
1234567890
1234567890
1234567890

1234567890
1234567890
1234567890
1234567890

.
() ()
().

5.2. , , , , .
. ()
() . () () (). () (D)
, ().

Copyright & A K-C

1.

257

6.
6.1. :
.
. ,
, .
.
6.2. .
.
.

7.
7.1. , ( ), (
);
. .
: , , , .
,
. , (
) , , , .
) , .
.
, . :
; , : , , . ,
.
;
) , , , , , , .
.
. .
(, , , , )
( ), (, )
( );
) , .
. ,
.
, . () , () , , ,
.
, .

Copyright & A K-C

258

III.
8.
8.1. , .
) .
. , (-), .
) .
. , (), .
) .
. ,
(-), .
) .
. (,
), ,
.
) .
. (, ,
), , .
) .
. ,
(-), .
) , .
. ( ,
), , , .
) (S1), (S2) (S3)
().
. ,
. : S (S1, S2,
S3) .
) (S) (1), (2) (3).
. ,
, . : S
(1, 2, 3).
8.2. :
) .
. , -.

Copyright & A K-C

1.

259

) 101- .
. , -.
) 101- .
. , -.
) 101- .
. , -.
) 101- .
. , -.
8.3. :
) .
. , ,
. ,
, ..
. , . .
) .
. , ,
. , . , . .
8.4. . , , , . , .
,
.
) .
. .
.
(S).
().
.
.
: S .
S +, P +
().
:
S ,
.
) .
. .
.
(S).
().
.
.
S
P
: S .

(I).
:
S ,
.

Copyright & A K-C

260

8.5. ( ) :
) .
. :
, .
: , S .
S ( ) S ( ).
, : ( ) (S) ().
) , .
. , , ,
(S). ().
: ,
, , .
, . , . :
( ). , :
S ( ) (S)
() ().

9.
9.1.
: .
.
: ,
,
;
q ;
r ;
, q, r , .
: p (q r).
9.2. :
, .
. :
(), (q), (r). : ( (q r)). :
p

(p (q r))

Copyright & A K-C

1.

261

9.3. , -, - :
) ( q) (q p).
. :
p

(p q) (q r))

-.

) ( & q) ( p q).
. :
p

( p q)

( & q)

-.
) ( p q) ( q (p & r)).
. :
p

( p q)

( q (p & r))

.
9.4.* :
((p q) ( q p)).
.
1. . ((A B) = (( A ) & (A ))
:
(( (p q) ( q p)) & ((p q) ( q p))).
2. . ( ) ( A ) :
(( ( p q) ( q p)) & (( p q) ( q p))).
3. .
(A ) ( & ) ( ) :
((( p & q) ( q p)) & (( p q) ( q & p))).
* . . 3.8, 3.9, 3.10 .

Copyright & A K-C

262

4. (A ( & ) ((A ) & (A )

:
(( p q ) & ( q q p) & ( p q q) & ( p q p).
5. . :
((p q p) & ( q q p) & ( p q q) & ( p q p).
, . , -.
(( q) ( q )). , -.
9.5. ,
: (p q) & (q r).
. .
, ,
. (), , .
p

(p q) & (q r)

1/2.
9.6. ()
(), () (): , , (). ().
. : ( (q & r)),
(q r).
1. ( )
, ( )
( ).
(p (q & r))
(q r)
p
q
r

*
*

*
*
*

*
*
*

Copyright & A K-C

1.

263

.
, (); () . , (/) = 2/6.
2. () () . . , , (), ,
(). : (/). .
() = 3/8, (/) = 2/6.
, () (),
2/6 3/8.

10. c
10.1. :
) , .
. . - ( ( S ) S ).
: .
) (), (q) (r).
. ,
: p (q r).
:
(p (q r)) ( p (q r) p & ( q & r),
: ,
.

11.
11.1. . , ,
. , .
) .
. : S ,
S , . ().

1.
.
. , ,
.

Copyright & A K-C

264

, : . : S ().
.
2.
I,
. , . . . .
,
: . : S (I).
.
3.
, I.
.
,
: . : S ().

.
11.2.
:
.
.
. : I, .
( ).
I
, . , . ,
. , , , .. , .
11.3. :
.
.
. : S . (), S,
.
: ,
. : , S =
= ( S ). S ( ) S (), S, .

, .

Copyright & A K-C

1.

265

11.4.*
: .
.
. 37,
1, 2. 2, 47, 1,
3. 4, 5, 1.
, 3.
, 2.
, .

12.
12.1. :
) .
. : , , , ,
, , , ..;
) , .
. : , ,
, , ,
..
12.2. :
, .
. .
, . ( ) ,
( q)
. : Nq.

IV.
15. ()
15.1. , . , , : . .
. () (q).
(q). .
: q ( ).
: q . . - . , :
p q
q .
p
* . . 11.3, 15.18, 15.9.

Copyright & A K-C

266

: .
-
- . ,
, , .. . : ((p q) & q) p.
,
. , .
15.2. :
(p q) r.
q&r
.
p (q & r)
. :
((p q) r) & (q & r)) (p (q r)).
.
: = 2,
, , 2
(, ).
. , .
( )
. , .. , , , . ,
,
, , ,
, . ,
.

.
, .
p

((p

q)

r)

& (q

&

r))

(p

(q

r))

Copyright & A K-C

1.

267

.
. , - ( ), .
15.3. ,
-:
((p (q & r)) ((p r) q)).
.
1. ((p (q & r)) ((p r) q))
2. (p (q & r)), ((p r) q)
3. (p (q & r)), (p r), q
(q & r), (p r), q
4. p, (p r), q
5. p, (p r), q
q, r, (p r), q
6. p, p, q
p, r, q

/ /
/ /
//
/&/
//

-, , , . , . ,
-.
15.4. :
,
. ,
. . ,
.
. , ,
:
( ), ( q). (r),
(). ( r).
, ( q).
:
p q, r
1.
2. / /
3. / 2 /
4. / /

p, r q

p q, r p, r
p, r p, r, q
p, r p, r, q
p, r, p, r, q p, r, p, r, q

q
q, r

p, r, q

, . ,
.

Copyright & A K-C

268

15.5. , . : p q p q.
. ,
, , ,
.
1. p q .
, . .
2. .
.
; .
3. q .
4. q .
5. q 1 4 .
6. 4 3 5. 4
, 4, 5. , .
7. 6 .
8. q 3 2, 7. 3
, 37.
9. q 8 .
10. q 9 . 2 ,
29.
, 10 , 1-
, 2, 3, 4- , 5- 10-
. . 10- ( q) , . :
1. q
.
2.
.
3. q
.
4. q
.
5. q , 1,4.
6. ,4 ( 3 5).
7. , 6.
8. q , 3 ( 2 7).
9. q , 8.
10. q , 9.
15.6. , ,
, . :
, , .
. : ,
, , .
:
S (),
S , , , .
:
S
().
S
(I)
: , ,
, .

Copyright & A K-C

1.

269

:
S
S -

()
.
()

: , ,
, .
:
S
- S

() .
(E)

, : , , , .
15.7. : , , , .
. :
( S )
( S )

( S )

( S )

S , . ,
(I) , ().
15.8.* : . .
. S , i S. 1, 2. 1, 2. ,
. , .
15.9. : , , , , . :
) .
. ,
.
.
: () ().
(S) ().
(S) ().
, ,
. (), (), (S). :
()
S () .
Bce S ()
:

. .
. ,
.
* . . 15.8, 15.9.

Copyright & A K-C

270

) . . ...
. ()
:
() () ()
() (S) ()
(S) ()

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

S
M
. : . . , .

16. ()
16.1. :
)
: , , , , .
. , , , . , , , .
. , .
) XIX .
.
, , , , . , XIX . .
. , .
16.2. ?
) ,
, .
)
, ,
.
) ,

, , , , .

Copyright & A K-C

1.

271

. . ,
()
( ,
, , , ), .
16.3. . ?
) , ,
. .
, . ,
.
.
:
: 1, 2, 3.
b 1, 2, 3.
Q.
, b, , Q
1() & 2() & 3() & Q().
1(b) & 2(b) & 3().
, Q(b).
) . .
. , .
.
:
, 1 2 (1 (1, 2)) 1 2 (P2 (1, 2)), ,
, b1 b2 (1 (b1, b2)), b1 b2 (2 (b1, b2 )).
, 1 2 (Q (1, 2)). , : , b1 b2 (Q (b1, b2)).
)
. , .
.
,
, , , ..

V.
19.
19.1. , , :
)
, .
. ,
. .

Copyright & A K-C

272

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

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

.
. (modus ponens) . .
)
: , .
180, ().
, 180.
. ,
.
. 180 ().
.
180 ().
180 ().
180 ().
. .
:
1
2
3
a1, 2, 3
.

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

Copyright & A K-C

1.

273

:
(1)
(2)

()

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

. .
19.3. ( ) :
) ( ).
: 101- .
:
(1);
(2);
(3).
:
(1 = f1);
(2 = f2);
(3 = f3).
( ) 2 3
f2 f3. C2 3 .
():
2, 3; 2, 3
.

) .
. 101-
.
(). 101-
.
():
(1);
(a2).
1, 2 :
1, 2 .
:
,
.

- (modus ponendo
tollens). ,
.

Copyright & A K-C

274

19.4. .
) .

.
. ( ).
:
(1);
(2).
:
1, 2 .
;

(1) ,
;
(2) .
(1) :
1 , 1

;
) .
. , . , ,
. .
. . ( ).
:
. (1);
,
(2).
:
1 (q),
(), ( q);
a2 . ( );
. ( q):
( q),
.
q
-
. , , . ( )
( q). .
, , .

Copyright & A K-C

1.

275

VI.
21.
.
21.1. .
) .
: . ,
, , .
: . ().
:
. (1);
. (2);
. (3).
:
{1 & 2 & 3},
.

. , 1,
2, 3 , , . , , .
) .
.
, , , .
: . ().
:
. (1);
. (2 );
. (3).
:
1, 2, C3
1, 2

C3
- (modus tollendo ponens)
- .
, .. . :
1) ;
2) .

Copyright & A K-C

276

. .
21.2. ().
: . ,
,
.
. ,
. . .
.
: . ().
:
. (1);
. (2);
. (3).
:
1 ;
2 ;
3 .
:
() , : 1 2 3
, 1 2, 3,
,
:
(1 & 2 & 3)
1 2 3

Copyright & A K-C

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

1. :

2
3
4

2. : ,
,

3.1.

3.2.
3.3.

(
)

1
2
3
1
2
1
2
1
2
3

Copyright & A K-C

278

1. :

1.1. ,
.

1. . 2. . 3. . 4. . 5. . 6. .
7. . 8. . 9. . 10. . 11. . 12. .
13. . 14. . 15. . 16. .
17. . 18. . 19. . 20. . 21. .
22. . 23. . 24. . 25. . 26. . 27. . 28. . 29. . 30. .

_______________________ , , , , , .

_______________________,
____________________________.

, .

_______________________
_______________________,
.
, , .
_______________________,
__________________________.

, .
_______________________
_______________________,
.
, , .

(__________
_____________) ,
.
_______________________.

_______________________
_______________________.
(_______________________) (_______________________).

Copyright & A K-C

2.

279

: ( )
, .
_______________________ (
) _______________________, .
, , .
.
(______

_____________) ,
.
_______________________. _______________________
, .
_______________________. :
, ,
.
_______________________ _________________________, , ______________
__________.
, , .
.
(__________
_______________) ,

.
_______________________.
_______________________ ,
.
_______________________.
:
, ,
.
_______________________
_______________________, ,
_______________________.
, , .
1.2. , .

1. (), (),
(). 2. (), (),

Copyright & A K-C

280

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

4. (), (), ().
5. (), (), (). 6. (),
(), (), (). 7. , (), (), (). 8. (),
(), , (), (). 9. (), (), (), (). 10. (), (),
(), (). 11. . (), . (), (), (). 12.
(), (), (), (). 13. (), (), (), ().
14. (), (), (),
(). 15. (), (), (),
(). 16. (), (), (); 17.
(), (), (), (). 18. (),
(), (), (). 19.
(), (), (), ().
20. (), (), (), (),
(). 21. (), (); ,
(). 22. (), (),
(), (). 23. (), (),
(), (), (). 24. (), (), (), ().
25. (), (), (), (). 26. (), - (), - (), - (). 27. (), (), (), (),
(). 28. (), (), (), (),
(). 29. (), (), (), ();
30. (), (), (), (), ().

__________________________________________________________________
__________________________________________________________________
__________________________________________________________________
_________________________________________________________________
______________________________,
___________________________________,
______________________________________.

Copyright & A K-C

2.

281

1.3. .

1. (); 2. (); 3. (); 4. ();

5. (); 6. (); 7. (); 8. (); 9. ();
10. (); 11. (); 12. (); 13. (); 14. ();
15. (); 16. (); 17. (); 18. ();
19. (); 20. (); 21. (); 22. (); 23. (); 24. (); 3.25. (); 26. ();
27. (); 28. (); 29. (); 30. ().

:
: ________________________________
___________________________________________
: ________________________________
___________________________________________

: ________________________________
___________________________________________
:
: ________________________________
___________________________________________
: ________________________________
___________________________________________

: ________________________________
___________________________________________
1.4. , (
). . .

1. .
2. , , .. .
. .
, , ..
, . .
3. . , .

1. , .
2. , . 3. , .

Copyright & A K-C

282

4. . 5.
. 6. ,
. 7. ,
,
. 8. , . 9. ,
. 10. -, . 11.
, , . 12.
, . 13. ,

, . 14. . 15. , , , , . 16.
.
17.
, , . 18.
, , , ,
. 19. , . 20. ,
, . 21.
. 22.
- . 23. , . 24. ,
, .
25.
-
, ,
. 26. ,
. 27.
. 28. , ,
. 29. . 30. , .

1. /
( ), _____________________________________
________________________________________________________________________
________________________________________________________________________
_______________________________________________________________________.
2.
: __________________________________________
: _______________________________________________

Copyright & A K-C

2.

283

: ________________________________________________________
: ____________________________________________
: _______________________________________________
3.
: _____________________________________________
: _______________________________________________
1- : _____________________________________________
2- : _____________________________________________
3- : _____________________________________________
: ____________________________________________________
4. / /
( ), _______________________________________
______________________________________________________________________________
_______________________________________________________________________.

2. : , ,

2.1. . ,
. , .

1. , S ( S ).
2. .
, .
. (S) ().
,
,
.
. (S) (). (S)
().
,

, .
. (S)
(). (S) ,
().
3. (, , , ).
4. (, ).
5. : , (S) ().

Copyright & A K-C

284

6. , - .
7. .
8. .

1. , , . 2. .
3. . 4.
. 5. .
6. . 7.
, , . 8. . 9.
. 10. . 11. . 12.
. 13.
. 14. . 15. , ,
. 16.
. 17. . 18.
. 19. , ,
. 20. , , . 21.
. 22. . 23. . 24. , , . 25.
.
26. . 27.
, , .
28. . 29.
. 30. .

: ___________________________________________
________________________________________________________________________.
1. : _______________________________________________ (S).
: ______________________________________________ (P).
2. .
(_____________________________________________)
(______________________________). __________________________.
3. : _____________________________. : ______________________________________________________.
4. : _______________________. : _______
_______________________________________________________________________.
5. : ____________________________________
_____________________________________________________________________________________________________________________________

Copyright & A K-C

2.

285

6. : ________________________.
- : ______________________
__________________________________________ (______).
7. .

___________________________ (S)
_________________________________________________________ ()
____________________________.
8. : S, P.
2.2. , .
1

P
S

1. . 2.
. 3.
. 4.
. 5.
. 6. . 7. .
8. 6. 9. ,
, . 10. . 11.
I. 12. , , . 13. . 14. . 15.
. 16. . 17. ..
. 18. . 19. -

Copyright & A K-C

286

. 20.
. 21. . 22.
. 23.
, , .
24. . 25. . 26. . 27.
. 28. . 29. ,
, . 30.
.

______
______________________________________________________________,
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________.
2.3. , .

1. , . .
2.
.
3. . , .
4. .

1. , , , , ,
, . 2.
, , , , . 3.
,
, , , . 4. , ,
,
. 91 . 5.
, ,
, -

Copyright & A K-C

2.

287

. 6. ,
, .
7.
,
, ,
, .
8. ,
, ,
. 9. , ,

. 10.
, ,
. 11.

,
. 12. ,
, , . 13.

, ,
. 14.
, , . 15.
, ,
. 16.
,
, -
. 17. ,
. 18. , , , , ,
. 19.

, . 20.
,
, . 21.
, , , ,

Copyright & A K-C

288

, . 22.

, ,

. 23. 18
, , , , . 24.
, , ,
.
25. ,
. 26.
, .
27.
, . 28. , . 29. , ,
. 30.

.

1. ______ .
1- : _______________________________________________
___________________________________________________________________
____________________________________________________________________
______________
2- : _______________________________________________
___________________________________________________________________
___________________________________________________________________
_______
3- : _______________________________________________
___________________________________________________________________
___________________________________________________________________
________
4- : _______________________________________________
___________________________________________________________________
___________________________________________________________________
__________

Copyright & A K-C

2.

289

5- : _______________________________________________
__________________________________________________________________.
___________
2. ______ ___________
________________________________________________________________________________________________________________________________________.
____________________________ (___).
_______ ____________
________________________________________________________________________________________________________________________________________.
____________________________ (___).
______ __________
________________________________________________________________________________________________________________________________________.
____________________________ (___).
______ __________
________________________________________________________________________________________________________________________________________.
____________________________ (___).
3. :__________________.
4. .

n
( ) ( = 2 ,
, n ).
______ ________ .
, : (), ();
..

________________________________,
_______________________________________________________
________________________________________________________________________.

Copyright & A K-C

290

3.
3.1.
3.1.1.
.

1. .
,
: , , ,
.
2. , . S P .
3. .
4. .
5. .

1. . , . 2.
. , . 3. .
, . 4.
. , . 5. . , . 6.
, . 7.
, , ,
. 8. ,
. 9.
, . 10.
, , .
11. . ,
, , . 12.
,
. 13.
. , , , . 14.
, ,
. 15. . , , . 16. , ,
, . 17. , ,
. 18.
. ,

Copyright & A K-C

2.

291

. 19. , , , , . 20. , , .
21. , , . 22. , . 23.
, , , . 24. , , , . 25.
, , , . 26. , ,
, . 27. , ,
, . 28. , , . 29. , ,
.

1. .
: ____________________________________________________________
________________________________________________________________________
_________________________________________________________________________
: __________________________________________________________
________________________________________________________________________
_________________________________________________________________________
2. ____________________________ (S) ; _____________________ () .
S P .
3. :

4. ,
_______________________________________.
5. : ________________________________
____________________________________________________________________
___________________________________________________________________
_____________________________________________________________________
___________________________________________________________________
________________________________________________________________________
: ) /
) ( ).

Copyright & A K-C

292

3.1.2. ,
;
.

1. .
2. ,
.
3. .
4. .
5. .

1. . 2.
. 3. N. . 4. . 5. . 6. .
7. . 8. . 9. .
10. . 11.
. 12.
. 13. . 14.
. 15. . 16. . 17. , ,
. 18. . 19. , ,
. 20. . 21. .
22. . 23. . 24. ,
, .
25. . 26.
. 27. . 28. , ,
. 29. . 30. .

1.
.
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
2. _______________________________________________ (S),
___________________________________________ ().
3. : __________
_______________________________________________________________________.

Copyright & A K-C

2.

293

4.1. : ______________________________
_______________________________________________________________________.
: __________________
________________________________________________________________________
________________________________________________________________________.
4.2. :

: ___________________
________________________________________________________________________
_______________________________________________________________________.
4.3. :

: _____________________
________________________________________________________________________
________________________________________________________________________.
4.4. :

: ___________________
________________________________________________________________________
_________________________________________________________________________.
4.5. :
____________________________________ (___).
__________________________ (___)
____________________________ (___).
: _____________________________________________________
________________________________________________________________________
________________________________________________________________________.
_______________________ (_____)
__________________________________________________________ (___).
: __________________
________________________________________________________________________
________________________________________________________________________.
_____________________ (___) ______
_________________________________________________________ (___).
: ___________________
_________________________________________________________________________
_________________________________________________________________________.

Copyright & A K-C

294

3.2.
3.2.1. . .

1. .
,
: , ,
. , , .
2. ,
S ( ) ( ).
3. S ,
. ,
, .
4. . , ,
, ( ). (, -),
(). , .
5. , (
). , .
6. .
7. .
8. .
9. ) ,
) )

, .
) ,
) )
, .

1. . , N. ,
. 2. , ,
. ,
. 3. N. , , , , . 4. ,
, ,

Copyright & A K-C

2.

295

, .
5. , ,
. N. ,
. 6. .
. , . 7. . . ,
. 8.
. . ,
. 9. . . , .
10. . .
, . 11.
. . ,
. 12. . . , . 13. . . , , , .
14. . . , . 15.
. .
, .
16. .
. ,
. 17. , . , . 18. . N. ,
. 19.
. . ,
. 20. , ,
. . ,
, , . 21. ,
, .
, . 22.
. . , . 23. , ,
. . ,
. 24. .
. ,
. 25.
. ,
. 26. , ,
. . , . 27. ,

Copyright & A K-C

296

, . 28.
, , , , , . 29.
. .
. 30. .
, , . , .

1. :
: _____________________________________________________________
_________________________________________________________________________
_______________________________________________________________________.
: _____________________________________________________________
_________________________________________________________________________
_______________________________________________________________________.
: ____________________________________________________
_______________________________________________________________
________________________________________________________________.
2. __________________________________________________________________
__________________ (S),
_______________________________________________________________________
________________________ ().
3. S :
_________________________________________________________________ ().
4. ________________
________________________________________________________________
________________________________________________________________
_______________________________________________________________
______________________________________________________________.
5. :

6. :

: _________
.
- ,
: _______

Copyright & A K-C

2.

297

/ ( )
___________ .
7. , .

/ ____________,
__________________________________________________________________
________________________________________________________________________
_________________________________________________________________________
________________________________________________________________________
8. :

9. ______________________, , _________________________________,
______________________________________________________________________
__________________________________________________________________________
________________________________________________________________________
_______________________________________________________________________.
3.2.2.
.

1. .
2. , .
3. .
, .
4. , , ,
S ( ) ( ). S
.
5. , (
). , .
6. . , .
7.
, .
-

Copyright & A K-C

298

. ,
.

1. , , . N.
. , 2. . N. . , 3. , , . N.
. , 4. . . , 5.
. . , 6. . . ,
7. . . , 8. . N. . ,
9. ,
. N. M., . ,
10. . N.
. , 11. .
. , . 12.
. , . 13. .
. 14.
. . 15.
. .
16. . . , 17. . .
18. . . 19. .
. 20. .
. 21. . .
22. .
. 23. .
. 24. .
. 25. .
. 26. . . 27. . ,
. , 28. . . , 29.

Copyright & A K-C

2.

299

. . , 30. , .
. ,

1. :
: ____________________________________________________________
________________________________________________________________________
________________________________________________________________________
: ____________________________________________________________
________________________________________________________________________
________________________________________________________________________
2. : ____________________
_____________________________________________________________ (); _________________________________________________________
______________________________ ().
3. , _____________________________________________________
________________________________________________.
4. _____________________________________ _____________________________________________________________________
_________________________________________ . ____________________________________________________________
__________________________ ___________________________
_________________________________.
5. :

6. ,
:

: _______
.
- ,
, : ______
7. __________________ /
( ) ____________________ .
, ,
___________________________________, __________________.
, (
).

Copyright & A K-C

300

__________________________________________________________________________
__________________________________________________________________________
____________________________________________________________________________
__________________________________________________________________________
________________________________________________________________________
, ____________________________, _____________________________________.

3.3.
( )
3.3.1.
.

1. .
,
: ,
, . , , .
2.
(p, q, r, s, t).
3.
.
4. .
5. .
6. .

1. , ,
. , . , . 2. , ,
.
. , . 3. , . , , . 4.
. . , .
5. , ,
. 6. N. ,
. N. . ,
. 7. ,
.

Copyright & A K-C

2.

301

, , . 8.
, , ,
, , . . ,
. 9. , ,
, . N,
, 1980 . ,
. 10. , .
. , . 11.
, . .
, . 12. , . N.
, , . 13.
, . N. ,
, . 14. , . N. . , N. .
15. , . N. , , . 16.
, , ,
, , . 17. , .
N. , , . 18. ,
, , . , . ,
, -
. 19. . . , . 20. , .
N. , . , N. . 21. N., S.,
T. , N., S. . , T. 22. , . , , .
, . 23.
- , ,
. , . , . 24.
- ( , ) , , -

Copyright & A K-C

302

. N., , . , . 25.
, . . , . 26.
- , - , - .
,
- - . , . 27. ,

, , . ,
, . ,
. 28. ,
: ,
, , ,
. 29. , , , , , . 30.
-, , , . , , . , - .

1. :
: _____________________________________________________________
___________________________________________________________________________
_________________________________________________________________________
: _____________________________________________________________
___________________________________________________________________________
_________________________________________________________________________
: _________________________________________________________
________________________________________________________________________
________________________________________________________________________
2. :
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
________________________________________________________________________
_________________________________________________________________________.
3. , ___________
__________________________.
4. :

Copyright & A K-C

2.

303

5. _____________________________________
________________________________________________________________________,
__________________________________________.
6. / ( ) _________________________________
_________________________ . , ________________________________, _____________________
_______________________________.
3.3.2.
.

1. .
2. (p, q, r, s, t).
3.
.
4. .
5. .
6. , .
7. .

1. , . N. . , 2.
, , . .
, 3. , . 161 .
. , 4. , , , . N. . ,
5. , . , ,
6. ,
, .
. . , ... 7. , . . , ... 8.
, . . .. . , ... 9.
, . ,

Copyright & A K-C

304

. . , ... 10.
,
. 23
. , ...
11. , .
, , ... 12. .
, . ,
. . , ... 13. , .
. , ... 14.
, . N. ,
. , ... 15. , .
, . , ... 16.
, .
, .
. , ... 17. .
, , ... 18.
, , , . , , .
, ... 19. -
. ,
. , ... 20. , .
. , ... 21.
, , .
. , ... 22. ,
.
, , ... 23. ,
; ,
.
. , ... 24. .
. , ... 25.
, . .
, ... 26. ,
, .
, . , ... 27. ,
. . , , ... 28. , .
. , , ... 29.
, . . ,
, ... 30. ,
. N. , , ...

Copyright & A K-C

2.

305

1. :
: _____________________________________________________________
________________________________________________________________________
________________________________________________________________________.
: _____________________________________________________________
________________________________________________________________________
________________________________________________________________________.
2. :
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
__________________________________________________________________________
__________________________________________________________________________.
3. , ________ ______________________________.
4. :

5. _____________________________________,
_________________________ __________________________________________
________________________________________________________________________.
6. : __________________________________________ : ______________________
_________________________________________________________________________
_______________________________________________________________________.
7. / ( ) ________________________________ ____________________________ . , ____________________________, ___________________________.
3.3.3.

1. .
,
: ,
, . , , .
2.
(p, q, r, s, t).
3.
.

Copyright & A K-C

306

4. .
5. .
6. .

1. , ,
, . , ,
. 2. , , . . , , , .
3. ,
. ,
. 4. ,
. N. ,
. , .
5. , ,
, .
, ,
, , . 6. . , , ,
, . . ,
, . , . . 7. . , .
,
. , . . , . 8. ,
, . ,
- , .. . : . ,
, . 9. ,
. , . , , , .
, . 10.
- , .
, .
- , ,
, . 11. , ,
, ; , , ,
. :
. , . 12.

Copyright & A K-C

2.

307

, . , . , , , . 13. , . ,
. . , . 14.
, , ,
. ,
. ,
, . 15.
. ,
, , , . , , , , . 16. ,
. , .
,
. , ,
. 17. ,
, , . . , . 18.
, . , . . , . 19.
, . . ,
. 20. ,
, , . ,
, .
. ,
, . 21.
, , .
, , , . ,
. 22. .
, . . , . 23. ,
, , .
. , . 24. , ,
. , .
, . ,
. 25. , ,
, . ,
, . , , ,
, . 26.
, .
. , -

Copyright & A K-C

308

. . ,
. 27. , .
, .
, . ,
. 28.
,
. , .
. , . 29. . , .
, . .
. ,
. 30. ,
. , . ,
, .

1. :
: _____________________________________________________________
________________________________________________________________________
________________________________________________________________________.
: _____________________________________________________________
________________________________________________________________________
________________________________________________________________________.
: _____________________________________________________________
________________________________________________________________________
________________________________________________________________________.
: _____________________________________________________________
________________________________________________________________________
________________________________________________________________________.
: _________________________________________________________
_______________________________________________________________________.
2. :
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
__________________________________________________________________________
__________________________________________________________________________.
3. , ____________ __________________, ____________ ___________________, ____________
________________.
4. :

Copyright & A K-C

2.

309

5. .
____________;
____________. .
. .

7. , : ________________________________
_______________________________________________________________________
_______________________________________________________________________
, / ( ) , ____________________
_________________________________________________________, .

Copyright & A K-C

310

1.

XVVI . .. . , , ,
.
VI . .. II . .. . .
.
II . .. . , , . ( )
, ,
().
VIVII . ..
, , .
(. 420500) .
(V VI . ..) ; (, , ) ( : , , , ,
).
(VII . ..) , , .
,
, , .

(722481 ..).
(. 350260 ..) .
.
.
(. 325250 ..).
.

Copyright & A K-C

311

(481221 ..).
(. 490403 ..) .
: (); (); () ();
.
,
, , , , ,
.

(624547 ..). , .
(570496 ..). . .
(VIV . ..). , .
(VIV .). .
(. 540480 ..).
.
(540470 ..). .
.
(490430 . ..) ,
. : , , ,
.
(, , ) (V . ..).
,
( ).
(. 480 . 410 ..). .
, ; , ;
; , .
.
(483375 ..). , .
(. . 470460 ..). ,
..
.
(. 460 . 370 ..).
.
.
(469399 ..).
.
.
: .

Copyright & A K-C

312
(450380 ..)
- . , , , , .
: , (), , (), , .
(. . 307 . ..) .
, ...,
.... ,
, , .
(IV . ..) .
, p, q p q.
(435370 ..) .
:
, .
(427347 ..). .
(); (). ,
, ( ) ( ).
(384322 ..). , . , : , , , .
,
.
: .
, , .

.
(III .). , , ( ).
(372287 ..). .
(. 336264 ..) .

.
.
(341270 ..) .
, .
I . (, , , , , )
,
().

Copyright & A K-C

313

(10643 ..) ,
;
.
(. 233303). (
), .

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

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

(10181096). ; , ;
, , ,
.
(10191142). ;
, ; , .

Copyright & A K-C

314
(12061266). ( : , , , ,
); .
(10331109); (10911153).
, (
) , ,
.
(. 10001088 .); (10501122). , ,
, , ,

, , .
( ) (11931280). , , , , , .
(12101277). (),
XV . XVI . 50
,
. . ,
.
(12251274).
( ;
; ).
(12661315). , ,

, .
(12661308). . , : p (p q) . .
(12851349). , ( ).
(13001358).
.

(15611626). . .
,
, .
.

Copyright & A K-C

315

, , .
: ,
, , , .
(15961650). , - .
: ) , ,
; ) ; )
, ; ) .
() (16121694); (16251695) 1662 .
, ,
.
(16231662). . , , , ,
.
(16461716). , , ; , ,
.
(17281777). . ,
.
(17241804). .
.
(17701831). .

XIXXX .
(18061873). . .
(18151864). ,
, . . .
, .
(18351882). ,
.
.
- .
,
.

Copyright & A K-C

316
(18411902). . .
. ; ;
( ) ;

. .
(18461907). , . , .. . . , , .
(18391914). 1885 . () . , - .
(18401917).
. - .
(18451918). : , .. , .
(18481925). ; ;
, (
). . , . ,
,
. . .
XIX .
(18591938). .
(18581932). .
(18591920). (1888 .). .
(18621943). . . .
(18961962). . (
, 1947 .). . .
(18721970); (18611947).
, - .
. .
(18711953). .

Copyright & A K-C

317

(18801940). ()
.
(18891951). . -
( ) .
(18811966). () .
(18851955). .
(18321915). .
(19021976). .
(18891957); (18931979).
( ).
(19011972) XX .
, ,
.
(18911970). 1952 . ( -)
. -
.
(19061978). 1930 . ; 1931 . . ( ,
).
(19021983). .
.
(19091945); (19081931). .
(18831964). . , . .
(18781956). . .
(19131954). .
. .
.
(18971954). . .
(19031957). .

Copyright & A K-C

318
(19031995). 1936 . . . ( . , . ) - , , . .
(19162003). .
(19082000); (19031980).
. .
- (. 1924). .
(19021994). .
, . 1955 .
. .
(18901963); (. 1929).
.
(. 1921); (18871963);
(19091967). .
(18911953). -
, , , , . .
(19181974). .
(. 1934 .). 1963 . - .
(19301971); (. 1928) .
.

- (19031987),
(19011975), (1911
1978) .

Copyright & A K-C

319

2.
b; b; & b ( b)
a b ( b)
a b ( b)
b, a b ( b) ( , b)
b, b ( b) (, b)
b, b,
~
, , ~ (-)
( x) ( )
, b, , ..., , q...
() ( , , )

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

, + () A B
, () A B
A B
, < B
A
A B A B

Df

~
p q S1

~
Lp

..

= q

..
.
A

N


()
&

L

b ( b )

Copyright & A K-C

320

1. .. . , 2001.
2. .., .., .. . , 1997.
3. .., .. . ., 2001.
4. .. . ., 1996.
5. .., .. . ., 1998.
6. .. . ., 1997.
7. .. : -
. ., 1998.
8. .. : . ., 2000.
9. .. : . ., 2007.
10. .., .., ..
. ., 1997.
11. .., .., ..
. ., 1998.
12. .., .. . ., 2002.
13. .. . ., 2004.
14. .. : . ., 1998.
15. .., .. . ., 1998.
16. .. . ., 1998.
17. .. . ., 1985.
18. / . .. , .. . , 2001.
19. .., .. . ., 2004.
20. .., .. -I. . , 1999.
21. .. . ., 1964.
22. .., .. . ., 1995.
23. .. . .: - ,
2000.
24. .. . -/, 1997.
25. . ., 2001.
26. .. . , 1989.
27. .. . ., 1967.
28. .. : . ., 1995.
29. .. . ., 1997.
30. .. . ., 1965.
31. .. . ., 1999.
32. . , 1997.
33. .. : . , 2001.

Copyright & A K-C

321

I. : .

1.
1.1.
1.2.
1.3.
1.4.
1.5.
1.6.
1.7.
1.8. .
1.9. () -
1.10.
1.11.

2.
2.1.
2.2.
2.3.
2.4.
2.5.
2.6.
2.7.
2.8.

, ,



:
:

8
8
9
10
11
12
13
14
15
16
19
20

21
21
23
24
25
26
27
28
29

3. () 31
3.1.
3.2.
3.3.
3.4.
3.5.
3.6.
3.7.
3.8.
3.9.
3.10.
3.11.
3.12.
3.13.
3.14.
3.15.

31
33
34
35
36
37
38
39
40
41
42
43
44
45
46

Copyright & A K-C

322
3.16.
3.17.
3.18.
3.19.
3.20. .
3.21.
3.22.

3.23.

47
48
50
51
52
53
55
56

II.

57

58

4.
4.1.
4.2.
4.3.
4.4.
4.5. ,

4.6. ,
4.7. ,

4.8. ,

5.
5.1.
5.2.
5.3.
5.4.
5.5.

6.
6.1.
6.2.
6.3.
6.4.
6.5.
6.6.
6.7. ()
6.8.
6.9.
6.10.
6.11.
6.12.
6.13. .

7.
7.1. ,
7.2. ( )

62
62
63
64
65
66
67
68
69

70
70
71
72
73
74

75
75
76
77
78
79
81
82
83
84
85
86
87
88

89
89
90

Copyright & A K-C

323
7.3.
7.4.
7.5.
7.6.

III.
. ()
8.
8.1.
8.2.
8.3. ,
8.4.
8.5. .

8.6. .

8.7.

8.8.

8.9.
8.10.
8.11. , -
8.12.
8.13.

9.
9.1.
9.2
9.3.
9.4.
9.5.
9.6.
9.7.
9.8.
9.9.
9.10.
9.11.

10.
10.1.
10.2.
10.3.

11.
11.1.
11.2.
11.3.
11.4.
11.5.
11.6.
11.7.
11.8.
11.9.

91
92
93
94

95
96
98
98
99
100
101
102
103
104
105
107
108
110
111
112

113
113
114
115
116
118
119
120
121
122
123
124

125
125
126
127

128
128
129
130
132
133
134
135
136
137

Copyright & A K-C

324
11.10.
11.11.
11.12.

12.
12.1.
12.2.
12.3.
12.4.
12.5.
12.6. .
12.7.
12.8.
12.9.

13. -
13.1.
13.2.

138
139
140

141
141
142
143
144
145
147
147
148
148

149
149
150

IV.

151

152

14.
14.1.
14.2.
14.3.
14.4.
14.5.

15. ()
,

15.1.
15.2.
15.3. - (modus ponens)
15.4. - (modus tollens)
15.5. -
15.6. -
15.7.
15.8.
15.9.
15.10.
15.11.
15.12.
15.13.
, .

15.14.
15.15.
15.16.

15.17.
15.18.

153
153
153
154
154
155

156
156
156
157
158
159
160
163
163
164
165
166
167
168
169
170
170
171
173
174
175

Copyright & A K-C

325
15.19.
15.20.
15.21.
15.22.
15.23.
15.24.
15.25.
15.26.
15.27.
15.28.
15.29.
15.30.
15.31.
15.32.
15.33.

15.34. (
)
15.35.
15.36.
15.37. ()
15.38. (, ,
)
15.39.
15.40.
15.41.
15.42.
15.43.

16. ()
16.1.
16.2.
16.3.

16.4. ()
16.5.
16.6.
16.7.
16.8. ()
16.9.

17.
17.1.
17.2.
17.3.
17.4.
17.5.
17.6.

,

17.7 ,

18.
18.1.
18.2.

176
177
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
195
196
197
198
198
199
199
200

201
201
202
203
204
205
206
207
208
209

210
210
210
211
211
212
213
214

215
215
216

Copyright & A K-C

326
18.3.
18.4.

V.
.
19.
19.1.
19.2.
19.3.
19.4.
19.5.
19.6.
19.7.
19.8.
19.9.
19.10.
19.11.
19.12.
19.13.
19.14.
19.15.
19.16.

217
218

219
220
221
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236

VI.

237

238

20.
20.1.
20.2.
20.3.
20.4.

21.
21.1.
21.2.
21.3.
21.4.
21.5.

22.
22.1. ,
22.2.

1.
2.

239
239
240
241
242

243
243
244
244
245
246

247
247
248
249
250
277

310

320