..

2()()4

161

87.4

25

I1. . .

25

.. u I. -

.,

2004. -

126.

lJ lI COBpe~ICIIHoii

- Jlu II
- Jl . tlI
IIC ll, ,
I, 110 11 11
c
, 11 ll I1I1<lI, I1lIIl1

"I1, ' ..
l11 lIII IJ

,

ll'l

11

11

Jll, llll,

~lOI. 1l0I1 I1III

I ~l , l1l
IO

1I

ii \ ,

J<IItl lI1 .10lI'lCCKOrO .

ISBN 5-201-02125-5

I ..,

2004

,24


1 ,
, ul

11,

I1

u .

:
.
,

, , 'l ,
, , , ,

, ~, , , u
), UallO, , , ,

.. mflI,

.
,
, l1, ,
, , , !~, ,

.. aJl
.1/I!l.

, u
, ,
, , ,

IlbIC

u,

, ,

u. , ,
1 u

.
. , l1
, , u ,

, , .

, u

( . ).
u

" u
.
11\1111u .

.. r - , ,

u .
,

,
.

, ,

Sl

SlII .
.

Sl

Mllpa

:
.
, - .
, .
, ' Sl ,

IIMn-

If

,
( ), Sl
: ], uh

: Sl ] , Sl
Bpe~ISI , .

1.
<,> ,

. , ..

. <, ,
,

. . ,

6; .

"J , .>. <'

.> ,
.

<,.> ,
<, .>,

()
.

<,.>
. , ,
, , ..

IV .

..

.

.

,
. ,

. , ,
, .
, .

. aJl,

\Ibl

, '.l \ll1 I .

\lbI

11 ro TC'.Ie.

I1 ,
,

11

. ll II , "
, , II I1 \!

11 , uII, , '.l.

, ,\"Il !\I
, \!.

, ,
, , ,

I!\I. , ll ,

!\Ibl

u u . ] , II

C\lepTHbI , J 'I"
.

lIII'!

IIpll-

'! \l\l I\I

!\1 '!

KaKIIC

"UlIIl lfII'!

'<L1 . II
\li1 \II1

IlII lIO \ICIIJIaCI,

I1I1l1, Il

Hel1JMeHHoii:

II , l1 l1.

. \l : 1lI1 (llu), II 'l

, u ,

, !!\1I1
, .

,).

/(I10
,

'l (

), . lI

113

ll , , , ,
\l.

:mI

11

u ll.
'l ,

'I .

. ,
J.

, '
.
, , ,
'I ,

I1 .

.

Ll l .

Il1.

, l.

l1
,

. ,

, .
, U>l ,
,

Ilpouec-

, ~l ,
. 113 IlI I
. J I1
.

l II .
Teopel1'lec
, .

HaCTliR,u]

2.

Ila

I1 'l

. JUl , , .
l1 l1 11 ,Ul .l
I1 .

Jl .lfl1 If,

l1, .

u .

. , ,
, -

, ;

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

. , ,

. , ,
, ,
.

,

.

.
, , ,
.

,
u u

, .

.
, ,

XIX . -

.,

, ,
, .
.

,
,

.,
. .

 .)

lf, ,

,

, ,

.
,

. ,
, , ,
, ,
,).

1 ,

.

, .

.
, TO'IOCTb
,

. ,

.

.
1 .
ii
.
, .

: II.

11

'I .) .

.
, u

, <U1

'l . .
I -

. Ul
., .., . . -

., ., ..
, ,
: , '
, . ,
, , ,

, ..

,
, <,
<,

l:

, .

, ,
.
, <'Jl

. ,L~

- ...

, ,

. ,
. , ,

'J1 :\

- .

, .
.
, COBOKYI\-

. ,

, .
,
. , ,
,

. .
'l , ,
,

' .
, ~l
.

10

TO'IHO

u h
,
,
.

1908 . .

Il

, () u,

. h
,

1930 .

. .

1912

. .. ..ta

<, 1, lO

lJl II

.Iu.
,
IIlI,
\.

u ,
,

. . .
'..
20- ~1 .

IlbI

, J1, llO ..
J ,
ll1 .

20- . ,
,

, 'l; l
, J

, ,
u J;

"3

, .

, all
, lI<I .

11

:10-

, ,

;
:10, ,
; n .1, <'0I1II

, <,, <., <., <, ..;

, ,
<., <., <.;

,
<., <.;
Jt, ] ;
, ] , .

]:: .

3.

I1 ,
II .

, , .

XIX -

., u

, u 'lil
.

11

J <.'l l, J
~1 ll II

, 'II1 I\I.

II ll
\IIII . ,
<., <, ..

l10\l , ,

II.
..I,
, ,
,

XIX -

. <.h,
.

h ,
l , .

lI

II

u ...

12


.
.

1910

. U1

.

. ,
, ' . ,
] ] .

, .
.
40- .
.
yr,

II ],
. , ,

II . ,

1909

.,

I,! ..,
.
,

Ll
l: .

, I1
, .

.

20- . ,lO
] . fi

..
LlI1
l1, - .

...

. ,
, ,

, , ,

13

 , ]

. i .\
.

70- . HC\ICUlIC II,

Ull lI'I ,

.
Sl, l1S1 l
.

.. lLl0IIJl I1\I<Ul "1,Ll

Il, I!l SIIll "311
II Jl1 I11I, III,

'le\1

IIILI

. <LIJ, II

'lecKoro

, Sl.

Jl'I .l~I1 IIl, ]:\IIIl II ii

ll , ISl \l
\ lI<Ul1, .

. . [;11IBCIIKO <L1J, 'l IIPOllOJlIIlIIOHa.1I,HorO II'lIlllS1 IIIIII

Ill1CrCKOrO IIOJII<UI II'lSl
rlii ] ).

40-50- . .. .1 Ulll ,
III Illu IIIIIIII .

"Jo II, 110 ll ,

-l, II.
\l, llall \1

IIIISI

lIl1 IIallllSI 11

CTpallC

II,

60- .

ll .. IllIO<I, II
II'II lI, llll, ..'lI

. \f SISl
lI ,j.j u,
.).

TBop'lecTBa l, SlSl , ' IfHTC-

III , , ,

. ,
u
, II , 1l0

Sl .
, '
IIOal1S1 ,
II IIa'II II u , , -

14

lI ~ , ,

c'ICTe,

. l II
I1

.
,

. I1

Il lI'l

11 .

l1 u.
Ll 'l Ll I1 .

I.

l1f.

uLl ,
, .

4.

,
l Ll . .

ll lI. 1l-
.111 l1ll ,
l1 ,

11:111

,>.

JllI lllllii II
II 50- .
YXOlHI, .

llOI J.
f1Il .,
I , ("~1I1'>, , (.

IIIIlI'>.

'ICI\1-TO l1,

. , I1 l, 1111,
, , II
.

l1 ll
l1i1. I .
: llaJh IIllO ; I<l l1ii
II l\1; Sl

l Ilel\1 ( ) ; l

I1 ; ;

. u :

15

 ; ; ;

; , ; ;
; , ,
, , .

, ,
,
,

( - ..
,
, .
u, u , ,

, , , , ..

,
? , u,

, , ?
, .

, u
.

, , .
, , . ,
.) ,

. ,
, .
. (<<

..).
.), ,

..

, ,

, .

. , .
20- . . . ,

, () ,

, . , '

, .. I
,

'l , u.

, ,

. , ['
, , ..

16

 . ,
, ,

. , ,

. ,
: , ,

, , .

.. , ,
,
.

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

, ,

. ,
.
: , ,
, , .

. ,
. ,

. , ,
( - ,
, ..).

,
, , .

I1 (
.

deon -

pescibee

, ) ( .
)

. descipibee

).

(, , )

, , 111 1 -
.

,
, , , , ..

: !, -

17

.. , ,
,
.
, ..

.

, , :

, ,
.. ,
-

. ,
. ,
..

.
,

,
, ' .

( )

ro .

, , : ,
, , - , ,

..
, .
.

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

(), -
(),
- () .

, ,
( ,
) .

, .

(., ., .
.).
.

18

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

, u
, ,

: u.

u

'). u ,
, , , u
,),

( -

,),

,), ).

. ,
, .
'I u ,
, ,
u .

'), . ,
. , , ,

u.

, , ,
, , u .

, , ,
, m, u.

- , ,
, .

, , :
, ,
! ..

-
( , , ,
..).

19

 t
II. - (,
..),

. ,

OCHOBllbIe

.
.1

lltC;iII

ltII

IlII

III

IIlllf

UIllii

lii

.1II

lllIf

OllCHKII

:JIIII

'lII1I

ll ~1 ,

. ,

' ~1O .'" n./.

.30 .
aKmUflHOJlfY l1/IO l1.

ii :

11

,
/

'leT

ue/IHbIM

, 3l llO

, , 'I .

t ],

l1.

, ,

.
n ,
, ,
..

, , I
: , , ,

OCIIOBHbIM: ,

, .

. (, ,
.) . -

20

 .
(, . .
.
.

. u
. . . . . -
, '

'! . , . ,
u . .
u

5.

. . I
-

.
u .

l1 . . .
..

u l1
ll . .) .

..

. .), .) J.

('110,

.. :
.

CIICTeMbI . J .
(..

. .
.
, ,

,
- .

,
. ,

, u .,

t: ..

21

,) '111
: , , ,

, . .. .
, u.
, (

). ')

semper ubique.

,
. ,
,

, , (

u ).

, , .)
:
,

'l
, , '

. ,
, , .
u

, u .
'),

IIbIe . u

.
u u .

-
U, ,
.

u u,

u .
, .)

u.

, ,
- . Ol!

.
. . . , -

22

. ,
.

-
: -

.
. ,
..

, ,
,

. ,
, ,

.
.

, ..,
,

.
, :

, ,

. ,
, , ,

. ,
, .

'la,
..
, . ,
'l . .
. ,

. ,
. . ,
. . .

,
.
, , .
I .

, . ,
. . '

23

 . ,
, , , , ,
. u '
, -, -, ,

, .

,
.

. : ,
, u , ,
, , , , ..

.
, ,

. '

, .

uu .

u .

, . , u
,
,

u , .
u

() -.

u ,

, .

, ,
.

30- ,
u ,
, . -

24

 , , ,

nn ,
.

.
, ,

, ,

. ,
- .
, , .
,

, .

, ,
.

, ,
, .

, ,
.

, . ,
, ,

.
.

6. r

~ ,
,
( ).
(. (.<l
, (, ,)

, , ,
.

'),

, .. , ,)
:
, , ,

25

, ,

. ,
,
,

. : ,
- .
, ,

, , ,
, ,
.

.,

. ,
. ,

,
. :J

.
, ,

, . ,
, , ,

.. , ,
, .

XIX

.
. ,

.

.. . r

, ,
,

,
() .
, -

26

..
.,
. , .
.

.
.
, , , .
. .
.

. .

. , ,
,
.

,
.

30- 40-
,
.
. .

50- - 60- , ,
. ,

.
.

.

,

.

.

.
- ,
,
.

27

 .
.

. .

. .
.

.
.

. ,

.
.

, .
,

, ,
, ,
..

.
.

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

. , -, .

, .
, . ,
, ,

.
,

: ,
, .

, ,
.

:
- ,
- .

28

,
:

. ,
.
. .
.
.

. . , . - ,
, .

. ,
.

, .
.

. : .

8 (<<

tJ, ).

, . .

.
... ... .

.
.
, .

,
.
, .

29

 , .

, . ,

, .

, .
.

1.

.
. (,
.) -
.

1.

,
,
( , .

.
..). l1

.. ,
.

. . . ,
. , . ..
2.
.
. .
.
. .
.

3.

. oueHo'IHblX
.

, , ,

..
. .

. ,
. .
:
.

. () . ..

30

.
,

,
,
, ,

'I ,

.
.

4.

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

, , .
,
.

, ,

. < , .
n

, .

. .

'l ,
,
,

,
.

,
, , , ,

3\

 .,

.
,

(
). , - -
; , -
,
.

Bcero

,
., . -

TaKoro

- ,
, ,
ro .

7.

ue

,
,

ero .

, (, .cero,
), ,
:

; HOOro ,
; ..

ro,
, .

, , .

, ,
.

, ,
.

32


, ,

. ,
,

,
, . -

, -n,

-n.

);

(<< , ).

(,

>, (<<

',)

, ;
'l ('

" .

', (,.,,;

(, ,>,

,) (, ".

(,", ('
"

(,;

(, n () ".

, ,
- - ,,;

(, ".

;

(,

de.leHHO - ",

".

,'I ,>, ..

, .

, ,

, (
), ,
( ).

, ,
, rlO , .

<l .

.

u
<l ;

.
, ,
.

, ,
a
.

. ,
<l, <l

,
.

, . n
( . )
- -

. . (U)
, (<<),
, , -.

I1

., ., ., 11

-
, .

. . .
. .
, ,
<I ,

, ,
, .
<l l
, .

34

8.

',

, .

I 8.8
..
8 u u
.

,) ( .
, ,

idios -

grapllO -

'l .
, 8,
,

, ,);
,) ,),
,
.

HaY'IHbIx .

,
,
.

'l ,) (

lI,,

I
, ,

, .
, , , , ..
.

8',
,

. , '
'I,
, .

,
, ,

. -

35

 , , ,
, ,
,

. ,
, ; ,

'I ,
,

. , 'I ,
, , lt

, .

.,
,

- .
<'110 .
'l 'lii
. ,
, r'l, 'l ,
,
, "

.
'l ,

'l, (

'l ). 'l
'l 11'l
, <UI~I
.

, I ,

, .
., ., .., . .

. ,

,
, , -

.
'l
, .

36

 .
, ,

( ). -,

, -
8 , , , .
.

, , n .
: ,
, .

, ,
(" .

, , , ,
,
1 , ,
.

, , ,
, u
u , u
.

, ,
. ,
-
<. .

, u,
(,
,l , ),

Jt. u

. , ,

. u
, - ,

. ,
:

, u ;

, (
('--,

<.- ..).

37

 u 'f .
. . u J10I ~I .. :
:

. 0lll1.

'I -

. .
.

\ta 'l .
. () .
(. ).

u. npl1'IeM 'lI
(, ). u . KUK
. , (
--, -).
, . ..).

lIa.

u u
\I . l11

. u u-u
. 'I<I.

.
.
u u 'l . '
~I oeHK~1 lll
ll--. ;

/lOl - u I1CIIXO .. uii

lIf . 06u .

l Il1
, : . ,

.. . u
. u (

).

u , . . lfII.
,
.

<U1 .
. '
', .

.. /. (<<.
,

, . ,

. . -

311

 .
'l u.
:/ u.

, ,
-- --

( );

-I1, --
--

, -

- -

..
.
, , (
, <,,

llpocTpaHcTBo,

, , .)

.
II
IlJl , , ..

8 :
<.- -
~I. ,
, ,

;
.
,
.

~I :

I
~---;r('--t-

(-)

J9

 ,
, , ,

.
.
.
,
,).

,)
, .

, ,
, ,
, ,

. -
.
,

.
( );
,

.
,
, , .

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

( ),

. (
),

,
, ,

.

,
: 11-

40

u (
, ,

.), (, ,
.);
u,

u u

).

, , .,

, .

u ( , u, u
.)

u ,
( , -), ,

( , -
), , , u
( ), ,

( ), .



.

.
u , , ,
, .

1.

u u
( ),
() .

u:
, ,

, ,
,

, ,

'I

,
, ,
,

..

u
u.

u
, , , ,
-
.

.
, .
,
, , ..

42


,
..; ,
..

, ,
, ,

. ,

, . , -

,
,
,

,
.

:
- ,

, ;

, .
'I ( )
;

(
, ).

; ();
,

.

- ,
, -

, , I
, , -

43

.
,
.

, p~
q~ ,

q~.

(- -

):

-.

,
,
:

( (q -

q) ::J q - r) ::J ( - r,
) - r - q) - (r - .

, , Jl
.
. , ,
,

( ,
), (<< ,
, ,

q,),

q,

q~),

(<<, ,

q,

q,),

,
,
.

:
80
, .

: , , .

44

 .
.

.
;
.
.

2.

...

... .

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

.
. . - .
. .

. .
. . .

.
.

'

. ..

.
,

.
.

....

...

, ..
. . .

: . .
, ..

. , .
, , ,
, , . . .

, ,
.

45

, (.
u (),
.> , u

u.

u
.

, , ,

, : (.

.>.

( 11 )

. l1 ll .
J :

-, ,

ro

,
, .;

-, . ,

0110 Ha'llIeT

.;

-, .

, .;

-, u u, , u

.. (<< , .>, (
, .> ..).

, ,
,
(,.> u,

,
R .

, R (.

.>

(. ,
, 1
.

46

 , ,
, , ,
:

, -

, ,
);

- (<<

, );

, );

(<<

, ) ..

.

, ,
. ,
, ,

(, (.

).

1LJ1
, 1LJ1 , 1LJ1
.., ,

3.

. ,
. , .

.
, .

~tn,

l1 .
,

, .
, ,
, .

47

, .
,

(<< ,
.).

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

.
,
.
,

,
. ,

.: , .
. , , , ,
,

, - ,
,

. ,
,
,

.
, ,

. ,
, ,
, ,

,
, .
, ,
. ,
.: ,
.

48

. ,

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

,
.

:::>.

4.
..
,

,
, , ,

, .
, :

.
,
, .

()
, :

()
.

S4

(Lp

):

49

Lp::J ,
::J q) ::J Lp ::J LLp
:

, L .

S5

Lp::J ,
p::J q)::J ( - Lq ::J L - Lp).

S4

S5

L ( ::J q) ::J ( Lp & ::J Lq),

L (p::J q)::J
Lq ::J L - Lp) & ( Lp::J ql.

.
, -

. ,
,
;
- ..

. .

,. 50- . (

. .), ,
,

.
, .

, .

q. , q
q,

.
,

.: ..

50

// .

.,

1970.

 . ,

q.

R)

, ,
,

. ..
.

, .

, ,

, .

( ~ - ):
1) ( - )

(-

( ::> ), ;
2)
: - (8

.... ), - .... ( .... 8), & - .... 8, - 8 v - . I..A .... ( .... ), L .... ( .... 8) (L ');

)
, t:t;

4) ,

;
, ,
', ;

"

5) - - , - ;
6) AI' ... ,
, .& ... &" _ .

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

51

) bl , ...
bl

.
, ,

bl , bl
, bl

u .

. bl

, bl
bl , ., ,

..

5.

. bl
bl bl :

...

bl bl

: , . < >. .
, , <>
... , , bl

bl. <>, .
, . 'IO ,
. . 2
bl
bl nu, .

u :

-+

- (-

q) & ( -

-+

q,

-+ ).

, bl1bl u bl u,

.
Syllogismo Hypothetico. u
: Si est , cum sit , est ; ... atqui cum sit , est ; est
igitur : , q, r; q.

He-r;

, - . :

u. .

52

1.

4.57 3.

( -

(q - r) & (q - -r) - - .

bl ,
bl bI, bl, -, :

q, r~ q, He-r
modus tol1ens - 3

bl.

bl bI
, , .,

, .
, ,
.

: - , -

He-q, ..
q, bl
He-q.

bl -.

He-q,

..

.
bl ,
, bl
, . , , bI.
bl .
. bl
. . ,
, bl blbl

bl, :

- ( -

q). ( - - q).

. ,
, , , , bl
:

q) &

( .

He-q.

l:1 ,

( -

q) ( -

- q)

\fbl ,
bl bl .

.: l' S.

Connexive Implic31ion / / The J. of Symbolic Logic. 1966. Yol. 31.

)\(Q

3.

53



( ,

q)

( ,

He-q).

,
, ,

- ( -

- ),

-(--)
.., ,

, .

, ,
,
.

I.

q = 1)1 L (:::) q) & - L - ,

q = ,)[L (:::) q) & - Lq,
-) q = ()[ L (:::) q) & (- L U - Lq),
- 4 q = ()I L (:::) q) & - L - & - Lq.
-1

2. -~
.
4.

I,
.

/ .

,
.

,
, 1 (

11 ),

,
(~

,.

1. ( -

):

q) & ::J q

2. :::) ( . ( - q)

54

),

& ( -

) ( -

q & ),

... -

4. ( -

q)::> - (q - - ),
- q) ::> (~- ( ::> q,
6. -(~ - - )::> ~- (::> q::> ( 5. (

,

.

S4 S5, 1
11S4 11S5),

1I
( -

q) ::> ( - q) -( - q) ::> (~- - ( -q

1I:
( ( -

-(--),

-(- -

),

( - q) ::> - ( - - q),
( - q) & ( - q) - ( v r (- - ) ::> ,

q),

-(
( -

(--)::>-,

11

(- ( -

q) & ( - - q) ::> - ,
q) ( - - q),
- q) ( - q),
q) ::> ( - q v r,
- q & -q),
( - q::> ( - q)

::> (q - ),
- (q::> ),

p-~,

- (q - ),
p::>(-p-q),
p-(-p::>q),
- (- - q),

p&q

-,

v q,

-~-p,

( v q - q) ::> ( - q),
( - q) ::> (- q - - ).

,
, 2 ( 12),
,

1.
2.
.
4.
5.
6.

( - q) & ::> q,
( v q - r) ( - r) & (q - r),
- ::> ( - ),
( - q)::> - (- q - ),
( - q)::> (- (::> q) - - ~),
- (- q - -~)::>
(::> q) - -~) ::> ( -

q.
5S

S4 S5, 2 ( 12S4
12S5), 12
( - q) - (- - q) - q),
- ( - q) :::> - q) - -l1)

, ( I3),
,
:

1. ( - q) & :::>
2. :::> ( - ),

q,

. (

- q) & ( - r) :::> ( - q & r),

- q) :::> (l1- ( :::> q,
5. ( - q):::> - l1- - ) & (l1- q,
6. - (l1- - ) :::> l1- (:::> q :::> ( - q,
7. - (l1- - q):::> l1- (:::> q:::> ( - q.
4. (

:::>

/3 , ( -

):::> (

/3).

I3S5),

S4 S5, ( I3S4

13

- q) :::> (l1- ( - q,
- q) :::> (l1- - ( - q.

Lp =

DI.l1-1

11 , 11 S4 11 S5 ,
S4 S5, 1.

, ,

D - 2 - l1,
Drl1- ,
(: Lp = Dr- -3 -l1)

Lp =
Lp =

, , PS4
PS4, PS5 S5 , S4 S5,
.

56

l u

..... 2' ..... ~ ..... 4

-,:
..... 2 q = D'(~""" (::> q & - (~ ..... , q),
- 3 q = Df ( -, q) v ( - 2 - q),
- 4 q = Df ( -, q) & ( - 2 q).

-,

- 2

..... 3:

-, q = Df(- (::> q) ..... 2~) & - ( ..... 2 - ~),

..... , q = Df ~ ~ (::> q & - (~-] - ).

...

6.
u
, ,

, ,

, (u)

oueHoK CPYl)'py
u .
, .

oueHoK

20- ..
,

1960 r.,

oueHoK.
, ,

1968 . 4

oueHoK (

(u)

(.

., ', ., . .).

. .. .

oueHoK,

u .
.: .. ll

/ / 80. . 1%8. N2 11.

57

, .
()

q,

() . , ,

, - () .

.
, . .
:

q q

. .

.
, ?
,
,
, ,

? .

'l

.
.

. ; ,

q q

,
.

.
,
.

, - q, q
. ,
,

, .
, - ,
( ),
,

. ,

.

,
, , .

. ,
, q q . -

58

; .

u , ,
u . ,
u, .

,
,

. u
, , ,

, ,

.
,

, .

u
,

q.

, u

q ,

7.

,
, .

.
. (<<
), .
,
, ,

u .
u <l

59

u
,

.
, .

,
q, q, , , . .

: ,

. ,

, ;

; .

, .

, .

. q
: .
.

u
.

'. I-.
.

-
- .
pUq q.,; pWq q; pYq - q; ~ -
,

.)

.).

PI:

.
AI.-(U)

2.

pUq & qUr :J pUr

q) U (q & - )
s) :J pUr v pUs v qUr v qUs

. pUq. ( & 4. ( v q) U ( v

(Rl)
(R2)

;
;

(R) ~ ~ , ~ .
(
).

60

2:
.

AI. pWq. (& -q) Wq

2. pWq & qWr::) pWr
. - (pQ (q & - q
4. - & - ) Wq)
5. ( v q) W (r v s) pWr v pWs v qWr v qWs
. ( & q) Wr::) pWr & qWr
(R 1) ;

(R2) ;
(R) .
:
.

Al. - ()
2. - ( (q & - q
. - & - ) Yq)
4. ( v q) (r v s) pYr v pYs v qYr v qYs
5. ( & q) (r & s)::) pYr & pYs & qYr & qYs

(R 1)

(R2) ;
(R) .

pUq ,

q; pYq
q.

, -

. .
,
, .
,

<. u,
)
, )

).

1.

(, ,
, (,
, (,, (. ..

.

, ,

, .
. ult

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

, ,

, ,

, , .
u .

,
, , .
: , (.

,
,

(., (

- ..
S ( ) .

,
,
, , ,
, , .

62

 , , : ,
,., , ,
, <l ,., ,
- ,., , -
,. ..

, .
, , ,
; ;
, , ; , ,
, ..
. <Ja

,

,
:

(S ) M(S ).

, .

,
, .

,
,

: ,
, , ,
, ,
, , ..

.
, .
, , .

.>.

2. r

, mu.

63

, -
,

- ,
, -
,

, . .

, ,
.

.
, , , , . .

,
. .,
, ,

. , . .
;
,
.

,
, :
r

Jl(

(u)

(Jl()

()

()

1l0

IfN!

1l

1l

64

. ,

,

, .

: .
,
,
.

,
, ,

,
:

u.

.
, ,
; ,
,

, .. ,

S4;

S4 ;

rx.

..

3. r
,

.
, , ,
(), ,
:

()
;

() , ,
, ;

()
,
;

()
, ,
, ;

()
,
.

,
.

,

.


.

.
,

,
, ,

. , -

66

, (
).

, ,

W-

U-

",

),).

Up -

) .. , Wp

, , - '),
)>> Up - .

Wp -

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

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

Wp -

: ,

() )>>, , ,
, . .

MI) -

. ,

( & Wp)& - (Wp

2. & Vq :::> ( & q)

AI. -

& )

. Wp:::>W-
4. (
5. (

(R 1)

v q) v W(p v q)
v q).Yp& Yq

v Vq v Wp v Wq

(R2) ;
(R3) ,

67

(), () () .

, .
::::>,
::::>,

p::::>Wp,
-::::>,
::::>,

-::::>W,

Wp::::>p,
Wp::::>-p
,

-5
.
, , ,

q,

; 5
.
, ,
,
,

q,

, ,

; 5 ,

.
.

= - ,
= -.

I .

V W
U:

68


. , ,

, .
, ,

. ,
-, ,
.

1, ,
, ,

. (
2.

.
4.

& q). & Vq,

W(p v qp Wp v Wq,
( v q) :> .
v q). Up v Uq.

5.
6.

Wp:> - & - ,
Wp :> Up & U - ,
7. :> V(q:> ),
8. :> Up.

u
:

q;

q;

q.

. . . 4
:
,

;
,
.>; .

q,

. . 5

, .>;

, ,
, ;
. .

, 6,
: ,

, ,
, ,
ro ,

, . . 8
:
, , ,
, . .

69

bI bl:

Vp:J ,
Up:J - V -,
- V - :) Up,
:) Up,
Vp:J - U - ,
- U - :) Vp,
,
blbl .), (. blbl
'), (. blbl ,

bl, blbl ,
, blbl bl,
blbl blbl

, blbl .
, , bl
bl

bl bI .
bl,
bl

bl

bl .

. :
nun nn
.
,
, blbl,
bl

, ! bl nn .
:

(*) Vp v Wp v

<l ,
blbl , <l

, .
, blbl ,

, ;
,
.

70

- v - ::> Up,
- ::> Up,
Up v U - .

(*) 1,

(),

-.

, u
, :
4< ,
., 4< .

, ,
.
: ,

, , ,
,

4< ,

.
, ,
u

, u ,

.
If,

, . ,
u
, ,
.

u ,
. . ,
, , ,

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

71

, ,
.

:
.. ,
..
,

...

:
-(&-),

&

),

-(&-),

- ( & - ).
nn
,

nn.

,
,

. ,

.. ,

.
,
",

...

,
,
,

,
, ,
.

72


, , ,
. ,
, .

,
. ,
,

, .
,

. , ,
, .

,
, ,

. ,

,
. , , ,

.
,

,
.

,
, ,

.
,

,
,

,


.

4.

<,.)

.

<,., ,.,
() )
.

. , , ,
.

, -

, ;

, .

, ,
; , ;
,

, . , ,
, ,
, .

, -

, ( ),

. ,
, -
,

, :

, -

, .

, , .
, ,
. ,
. ,

, -

74

. ,
, ,
.

,
,

, , . , , ,

,
(,, (,.

' .
,

. ,
, , ,

.
, ,
, .

, .
, (,, ('

,
, ,
.

(, , ,

, ,
, ,
.. , J1
, , , ,
; ,
, , ..
, ,
.

. , ,
,

- , -, ,

. ,
, : .

75

 , ,
, - ,

,
.

,
.

. .
. ,
, ,

. ,
,
.

,
, , .
, ,
, ,
, ,

. .
, , , , ,

, ;
.

,
.

. ,
.

(, : , ); pBq - ,
, ,

76

(<< ()

q).


):

= DrpB - ,
, ).

,
, - ),

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

) ):

= Dr(3q) (pBq)

q,
q q , ,

.
- .

, ,

q,
q ,

, )

, ..
,

q,

).

1.

u ,
I ,

.

, u ('la
,
)

u.

u .
,

( u

q;

He-q;

). , ,

, -; ,

q;

q;

. ,
.

u
,
.

, .

, u .
.

, .

, - ,
, .

78

, ,
, ,
, , ..

.

, ,

.. ,
, .
.
, , ,
.

,

, .

,
, ,
, .

,
. ,
.
,
.

,)
.
,

.
.

(, u

, .

,) , ,

. ,

. ,
.

,
.
- .

79


.
.

,
,

, , .

, , ,

. , ,

, .

2.

,
, ..
,
.

: , ,

, .. (<<
) .

. ,
,
, ,

:
.

,
-.
, , ..
( ),
.

-
.

80


, : (,

...

... ... , (, ... ... (',

... .

(.

...

...

, (.

.
(.

. (.

. (.
.

,
(,
(,, :
.

(.5

,
- (..

, ,

u 11 (. (,
(<< (, ).

, (,
(, (
,

), (.

(.5

( )

: ()
- .

: (. , ,

, (. , (.
..
,
. ,
(, ,

, (., (, ..)
.

81

, ,

S (

) ,.

S ( )

, .
,. , , .

. ,
,

, ,

,. .

-

, .

, , :

S - ,
S - ,
S - ,
S - .
- -

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

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

,
, , ,

: ,

,.,

,.

,..
,
.

82

...

... i

nego -

),

...

...

... ')

.),

...

...

... ')

).

, :

SaP - S - ,
SiP - S .) - .),
Se - S - .),
SoP - S - .

. ,
,
,
.

. , -
.
,

, .

3.


.

(SaP

SoP; SeP

SiP)

;
, .

,
, .)
; - ,
- .) .

(SaP SeP)

, .

(' ;

83

 ; (.

(Si SoP)

, .

, (.( )

; (.

(.

SiP, SeP SoP.

SaP

ro

SaP

SiP

SeP

SoP.

, ' ro
,
.

, <
(. ;
(.
(. .
,
(.

,)

SHe

,)

SHe < SHe

SecTb ,).

SecTb ,) S ,),
SecTb ,) (. SHC ,).

(.

, ..
.

S (.
S , (. S

(.

S .

, ,

, :

S .
,

(.,
.

S .
, S .

84

: (,

(, ,

: (.
(.,

S .
, S .
: (,
,
.

(SaP

SeP)

: (,
vuJe (,,
.

(.,

:
( )
.

S .
S

85

4.

ro r

( : )

, ,
8.
u
.

... ... , ... ,

... ... ... ...

, .. .
, ,
-

. .
:
.

:
.
.

: ,
.

( ~1-

).

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

, ,
. .
, .

.
SeCTb

SeCTb .
(

) .

86

 ,
.

64 .
256 .
, ,
.

24

, .
:

1- : , Ce1arent, Darii, Ferio, Barbari, Ce1aront;

2- : Cesare, Camestres, Festino, 8, Cesaro, Camestos.

24

:
,

(.

Cesare

Cesaro ).
19 .

5.
r

,
,
,

, (
l )
,

, , , .

,
, , ,

,
,

87

.
,
,

.
:

()

- (Vx)(S(x) :J (,
- (Vx)(S(x) :J - (,
(1) - (3x)(S(x) &(,
() - (3x)(S(x) & - (.
()

,
, TO'IO
:

(Vx)(S(x) :J

(Fx)(S(x) & -

(.

,
, (

) ,
.

,

,
.

, Be'le

, .

,

.

88

, :

, , .
u , ,
:

(VS)(3x)S(x),
,

S,

, ,

(3x)S(x).
,

,
.

,
:

() - (3x)(S(x)

& - ( & (3x)S(x) & (3) - (),

& ( & (3x)S(x) & (3) (),
(1) (3x)(S(x) & - ( v - (3x)S(x) v - (3) (),
() (3x)(S(x) & - ( v - (3x)S(x) v - (3) - ().
() - (3x)(S(x)

,
,
.

, ,
, ,

S,

, .).

u .
. ,
, .

89

6.

, ,

,
, ,

, , ,
.

,
,
.

, .
,

, .
,
-

, , ,

< ,
, ).
,
,
,

.
:

,
,

, .

90

 ,
,
.

, , .., ,
,

. . .; ' u () , "

u .

1,

, ,
-,

, -,
, ,
.

. ,
,

u.

,
u.

u ,
, .

.
.

u ,

.. ,
.

a::JB
( u )
-

( , ), ,

::J

-.

::::) ,

, ,

::J ,

91

::J

& :
& - - :
(- .... - );
& ( .... ) ( _

("" )

):

. :
(

& . . ;
& - . , -

-,

::J.

&

.... -

).

""

1>1"

(:;. )

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

ll :

:;. = 111

::J

&- L-

II :

....

1>1'

::J

&- L -

.
.

7. r

,
.
. :

-(--),
-(--)

. . .
.

92

 u,
, (

Conl),

. u ,

1. ( -

) & ( - ) ::J (
_ ) & :J ,
. ( - )::J (- -+ - ),
4. ( - )::J - ( - - ),

-+ ),

2. (

5. ---,

--

-+ ,

(RI) u ,
(R2) u,
(R) .
:

Of(a -+ ),
laB = Of- ',

laB =

= OfAaB',

= Of(a -+ - ),

IfIf

= Of- (

= 01- ,

01- ( -+ -

),

).

u
:

;
, -

n;

, ,

.

:
( -+ - )

::J ( ::J - ),
- ( -+ - ),
( - - ) ::J - ( ::J - ),
( - - ) - - ( -+ ),
( ( - ) ... ( ( - - ),
( - - ) - ( - - ),
- ( - - ) ::J - ( -+ - ),
-( -+ ) - - ( -+ - - ).

-( -+ - ) -

93

 l . ,
u
.

, :
:::> ,

:::> .

Conl.

.
. , ;
(
(

..... ) .. -- ( ..... ).
..... - ) .. -- ( ..... -+ )

&

).

( -+ - .

( -+ -

) V - ( -+ ),
..... ) :J - ( ..... - ).
( -- - ) :J - ( -+ ).

Conl .

1,

u .

u .

u u
u:

AI

( '

'

('

'

'

'

('

'

('

'

( '

'

,
Conl,

1.

,

( ).

, .
. , ,
',
, .

u
,

.
<l, , ,

()
,
.

u, ,

. , . , . , . , .
. . u .
, ,
, ,

.
, 'l ,
.

95

 ,
,
.

,
() ,

. , ,
, ,

: ,

, , .

.
,
, ,

.
,

. ,
, , ,

,
.

, ,

, ,
.

, .
- .

, ,
.
, , , .

96

 , .
, .
, , .
, .

..

, ,

,
. .
.
,

, , u.

u
.

, .
,
,

, , .

: , ,
. , ,
,

. ,

. ,
, , .. ,
,

ll, . ,
. , .
? , -
, - .
, ,

, - .

, '

.

, , . , ,
I1t>I ,

nuuu,

- ,
.

97

.
. , , ,
.
(, 'l,
) , .

,
,
, .

<

q,

q)
,

: , -
() , ,

q ,
q
q.

, ,

,
:

q ,

q,

, .

,
.

. ,
. .
nnlii Z,
n , Ii

, , ... .

: CLp - , Clp
, - ,
, ::;.

q-

-
CRp -

q (

, , ,

q), pBq -

q ( ,

, ,

q),

-+

q-

11

98

 u =:> q
Z (

,
u,

* =:>

-):

q =Df KZ & (Z &

('

- q),

q Z
q.

,
u ,
:

. ,
1. ( =:>

2. ( =:>
. ( =:>
4. ( =:>

(R 1)

q) & (q =:> r) :J ( =:> r),

q) & ( =:> r) ( =:> (q & r,
q) & (r =:> q) ( v r) =:> q),
q) v ( =:> r) ( =:> (q v r

u ,

(R2)

(R) .

011.
012 013

011

u :

- q v - q)

=:> (

&-

(. u

( =:>

q) & :J q

(. u

u,

012

013

, , ,
:

(1)-(Z-p&-p),
(2) :J - (Z & - q & - q).
u

. ,
, Z,

99

 <I. ,

.

2.
u u
.

u u
:

CLp =[)I,11 ~ ,
Clp = [ ) ( - ~ -11,
(, (
) u ;

Clp =(- (11 ~ ) & - (11 ~ - ),

Clp = [ ) ( - ( - ~ -11) & - ( ~ -11),
,
u , ,
u -;

=[)I'

CLp v Clp,

(.
;

(,,
.

,
u

011

. ,

AI. CLp & CLq:::> & q),

2. v q) v CI(p v q) CLp v CLq v Clp v Clq,
. Clp :::> - CLp & - CL - ,

(RI )-(R)
100

011.

=Dr CLp v Clp,

CRp =DrCL - .

(
)

1.
2 1
:

CLp :J - CL -

CLp:J - CRp,
CLp :J - -,
-L(&-).

. 1.
3 1

CLp:J ,
<l
.

, 2
013.

012

, ,
011
1, 012 - 2 013 - 3.
.
() :

- q =:J q),

1 -
,
:

CLp v Clp v CRp,

101

 bIbI ,

, . u

bI bI:

CLp v Clp v CL

-.

-L~ -.
(

v - ).

. 1
bI, 4.
, IfII

1.

CLp =DI" z & (Z -+ ).

Clp = KZ & - (Z -+ ) & - (Z

-+ - ).

bI

bI bI bI .
bI bI
bIbI .

u bI
4 . bI .

KZ.
<, bI

Z.

bI :

bI

bI ,

OTKpbITbIe bI

bI 'I. .
.

u.

0*

bI

-+

q =DI" (Z & )

-+

q.

, bI .

,
,

102

q.


, (pBq

q):

~q

=01 (Z & q) & - ( - q),

q =f)fpBq & (Z & - q),
~ q =,)( pBq & (Z & - q) & - ( - q),
~ q =' pBq & (Z & - q) & (Z & - - - q).

( ,

),

, ,

, ,

:
-( ~ ),

,
( ~

q) => -(q

~ ),

<, , ,
,

(1) => - ( ~ - q),

(p~q)=>-(-p~q).

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

( 011),
( 1)
(4).

3.

,
n .
'l,

103

 , , ,

u.

.
, , . ,
,

.
.

, .


u ,
. , ,

, ,

.
, .
.

.
,
,

.

, , ,

.
,
u, ,

.

u

,
,

u, ..
. -

104

 .
? bJ
? !

bJ . , . , .

. bJ ! bJbJ

bJ bJ. .
bJ

bJ? bJ bJbJ
?
bJ bJbJ?
.

. ,
, ,

bJbJ bJ bJ?

bJbJ?
! -.

.
bJ

bJ () .

n ,
: ,

; ,
.

, bJ
bJ bJ ,

. ,
, bJ

bJ .
,
.

bJ ,
. , ,

. bJ
,

, bJ .

bJ
.

105

Rtp

() , .. , :

Tt'Rtp - t' , t .. ;
Rt'p => Rtq - t'
t q);
Rt'p I=> Rtq - t' q t .. ;
Rt'p - Rtq - q;
t'Bt - t' t);
t'Ot - t' t .
:

(1) Tt'Rtp =Df(t'8t & (3q)(Rt'q => Rtp v (t'Ot & (3q)(Rt'q- Rtp v
(t8t' & (3q)(Rt'q '=> Rtp.
{'
, ( )

t'

l'

t'

t'

l'

q,

t;

q,

t;

q,

t'

t.

( 1)
,

R (<<

=> (<<
(<< ) '=> (<<

), (<<), (<<)),

)), )).

I1.

'I .

, ,
:

1.

t8t' ::J - (t'8t);

Rtp - Rt - ;
. Rt(p & q) Rtp & Rtq;
4. Rtp ::J (3q)Rt'q
Rt-p) v (Rt'q 5. (Rtp => Rt'q)::J t8t';
6. (Rtp Rt'q) ::J - (t8t') & - (t'8t);
7. Rtp & - (t8t') & - (t'8t) ::J Rt'p;
2.

=>

106

Rt-p) v (Rt-p

'=> Rt'q;

(R 1)

tOt' = Df - (tBt') & - (t'Bt).

Rtp I~ Rt'q =DrRt'Q - Rtp.
AI , ,
. 2

, ,

. ,
,
. I-
.

5-7
. 5 6 ,
, ,

. 7,
, ,

, , .

4,

. , -
, ,
SJ .

-.

. ,
. ,
, , , ..
,

. ,

() .
,

,

.

4 ,

.
,
:

107

(3q)Rt'q
Rtp) :J Rtp).

Rtp):J Rtp) & (3q)(Rt'q -

Rtp):J Rtp) & (3q)Rt'q

1=

,
, ,
.

t'

t .
t' (S),
,
, , :

(2) TSRtp =Df(SBt

(tS & (3q)(RSq

& (3q)(RSq = Rtp v (SOt & (3q)(RSq- Rtp v

1= Rtp.

(2) , t ,
:
) t
; ) ; )

( 1) (2) ,

, ,

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

(3) Tt'Rtp = (3q)Rt'q

(4) TSRtp =Df(3q)RSq

= Rtp) v (Rt'q 1= Rtp,

= Rtp) v (RSq - Stp) v (RSq 1= Rtp.

(4) , ,
,

q,

, , .

.
ro
, .
, , .
, ro

108

 ,
, ,

4 6. ,
,

. ,
()
, ,
.

,
.

(5) Tt'Rtp = (3q)(Rt'q

=;. Rtp) v Rt'p v (3q)(Rt'q I=;. Rtp,

' (5) ,
, :

() TSRtp

=[)f'

(3q)(RSq

=;. Rtp) v RSp v (3q)(RSq I=;. Rtp,

(5)-(6),
, (l)-(2),
, . ,
,
,

. ,
,

, ,

, .

,
.
(6).

1.

ll:
u, u,

u. u,
niJ , ,

, u
u
, , u:

( ,

q),

( , ( ,

q.

u 'l,
, u,
u.

, u

,
,

, .

(u) (u
) . , - .
, , , i:l,
u (
), , -

110

(falsified).

. -
. ,
, u

. , ,
Q, , 06-

Q,

. ,
u ,
, . u

. ,
.

, nn
() .

u .

modus tollens (modus tollendo tollens).

-+ q'>
, q,); & q - u q'>;

')

q,

, .. -

u , ').

u u
-+

q)& - q)-+

-,

, ' u

q,

q,

,). , :
, ; , ,

. : u , ,
, , , u .

modus tollens

IIl : , ;
; <, ,),

. u
OHHil ,
;
.

u u
,

. ,
20- 50- .

, -

111

 . ,

u .
.
,
u u,

, u
, u u .

u
.
,

. u
: , -,

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

,
. , ,

u :

u u ,

, .
, .
(,
,

), u

. , , -
,

112

2. "

,
,
.

, ,
, .

:
.
,

. , ,
,
, ,- modus tollens

, .
,.
, , - ,
,

.
yr ,
( , ),
.
,
, ,

yr .
, . ,
, , , ,.,

,
, -
, (
,.) ,

,., .

113

 , ,
-

-
. ,

(
, ,

modus tollens),
.

(
), .'Jf;,

,
, .

, ,
,) ( )
,

,) , , .
, ,

, , ,

( ),
, , ,
,

( , ).
,

- , ], \>
.

, ,

, ,
.

. ,
,
, .

114

 ,
:

, , (,
.
(, ,
)

.
, .
(, '/ .

modus tollens:

, (,

'>. :
(' ,>,

?

. . .
, , ,
,

. , ,

, , ,

.

,

-,
, ,

, , , -,
,
.

,
:

, .

,
.
.
,

, .

115

, . ,
,

: ;
,

.
: , ,

, .

,
, , .

, ,
, ..
,

,
:

, ,

q.

q.

, .
, , , :

, ,

q.

q.

, .

(. ,

q,

(,

q (He-q)>>, ..

q.

'I

q.

- (.
He-He-q, .. q. ,

,
:

, ,

q.

He-q.

, .

(: , ,

q,

, -

q,

116

 , ,
. ,
q ;

, , ,
u
u,
.

, ,

. ,
, .
, ,
,
, , .

, ,
,

, - ,

.
, ,
( ) , ,
, ,

. ,

.
: , ,

. : ,

,

q,

q.

: ,

, ,
,

q,

117

 ,
:

();

( )

3.

u bl
, u
u

u.
bl, , ,

.
pOBeprHYblM, bl (
) .
u ,

u , bl bl
, , .) ,

.
:
( bl), ,

( bl).
,

, , .
u, .)

. .)
, bl,
u,

bl .
, u u,

u .
u ,

. n
n . -
. , ,
.

111)


, .

,
,

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

.
, ,

1L1 .
,
,

,
, 1L1
.

( )
ro , .
( )
, .

, ,

() .
,

, , ,

, .

, ,
,
,
,\1. ,

,
. (
), .

!, ...
.

,
l1

.
( ,

119

) ,

bI , bl bl
bl ,
bl

bl .

,
bl bI .

,
, .

,
bl bI .
bI:

bl , bl
,

bI. , , bl
bl bl ,
.

bl bl
. .
, ,

bl bl .
, , , ,

. ,
bl bl , bl bl
,
bI .

, BbI
D:l .
,

. ,
,

, bI, ,
.

bI.
- ,

bl .
bl
,
: - ,
modus tol\ens; - -

120

, , ,
,
.

.
,
,

. ,
,

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

.

.
,
.
,
,

. ,
,
. ,
,
.

, :
,
, , ,

. -
. ,
. ,

, , ,
.

121

 . (
) ,
, ,
, ,
,
.

.


(<< ).

,
:
( , q).
q.

, .

4.

.
,
,
. , ,

-
- .
,

.
, .

, ,

, , .

.
, , -

122

. ,
u
.

u u
, , u u
. , u
u . .
u ,
,

PF u
u . u
, PF,
u (u),
u .

AI.
2.
3.

4.

PF - :
-+
( -+ q) -+ q -+ r) -+ ( -+ r
-+ -+ q) -+ q)
-+ (q -+ r -+ (q - ( -+ r

5. (

& q)

-+

6. (

& q) -+
7. -+ q) & ( - r - ( -+ (q & r
8. -+ ( v q)
9. q - ( v q)
AtO. -+ r) & (q -+ r - v q) - r)
11. ( & (q v r - & q) v ( & r
A12. ( - - q) -+ (q -+ - )
I3.---
:

1.

3.

2. AJi 4. . - Jl
& --+-

PF - u R
u ,. ,. . PF
, , , R:
123

- q) & - q) - -

( ( -

q) & ) - q

( -

q - ( - q)

(q - r - & q) - r)

(1 - ):

123
1 23

I
2

1 23
321

& q = min
v q = m

(,

q)

(,

q)

1I2
111

u u

PF'.

- ( - q - ( - q),

PF'

PF 12 :
(- & - q) - -(pvq).

, , :

- q) & - q) - -,
(- - - q) - (q - )

( ( -

- q) -

(q -

- )

(q - r) - & q) - r)

u,

2 - 3 = 3 u nu).

u u

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

Fp -

u ,

Ip -

u u

F- :

& V-

Fp= DfV -,
Ip= Df - & -Fp.
124

& q)

& Vq),

v ( -

q) & Fq -

Fp,

q,

- q

,
.

, , ,
. ,

.

.
, ,
:

.
,
.

..................................................................................................................... 3

1.

2.

............................................................................ 5
1. ......................................................................................................... 5
2. ll11 II ................................................................................................. 7
3. .................................................................................................... 12
4. ............................................................. 15
5. ~lllll lIII ................................................... 21
6. ............................................................................................ 25
7. 11 ................................................................ 32
8. 1<.1llUII ......................................................................................... 35
............................................................... 42

1. II uli ................................................................................................ 42
2. u 11 ............................................................................. 45
3. u .................................................................................. 47
4. u u .............................................. 49
5. nu ................................................................................. 52
6. ........................................................................................... 57
7. cpaOHHTC,lbIlbIX ........................................................... 59

3.

MOAl1bHE

........................................................................... 62

1. I ................................................................................... 62
2. ii ......................................................................... 63
3. ll .......................................................................... 66
4. ................................................................................. 74

4. ........................................................................ n

1. lllOlil ................................. 78
2. ll ............................................................................ 80
3. .............................................................................................. 83
4. .................................................................................. 86
5. ............................. 87
6. ................................ 90
7.
I .................................................................. 92

1.
2.
3.

5.

..... 95
....................................................................................... 95
................................................................ 100
................................................................................................... 103
u

6.

..............................................
....................................................................................................
2. u au lI3 ...........................................
3. u ll ...................................................
4. Ull III ..............................................................
1.

110

11
113
118
122

 Iflf

Yep.l:eHO ~, coemo~,
u u.'//u

. .
. .

N2020831

12.10.98 .

n ' - 20.05.04.
1/16. . .
7,93. .-. . 6,36. 500 . N.1 014.

6084
. . .

-
I1I,

: ..u
I

119992.

, ,

14