Пайсон Б.Д. Математическая логика

1tx)

Te\{aTlrrlecKrlx

uereit

BrroJIHe

xBaraer

t'o6ntqgoro,'

yponua

crporo_

crr'r.

Bltecte

c re'\{,

3Hi}fi

"o6bI.IHOe"

4oxa3ATeJrr,crBo,

npu

rreo6xo-

.4I'I\Io(lrI'I

N{o)KHo

BoccraHoBrrrb

Bce

AeAyKTi{BHbIe

cpeAcrBzr,

Koro-

l)Ire

B IIe\t yqacrBoBiIJIrI.

tr4nsrrtu

cjroBal\{n,

"o6bl.rHoe"

AoKa3areJlb_

CTBO'BJISETC'

CBOEIO

POAA

NNAHOtrI,,'TE3I,ICAL{I4",

VKA3bIBAIOTII{\,III

IIYTb

TIOCTPOEHI{fl

I]OJIHOTO

JIOTUqCCKOIO

BF,IBONA.

ti

17

@oprra.nsrrtrfi

Rr,reog

Brl.no

lroKil3url{o,

lITo

AoKi}3.Te.rrbcrBo

r\rarel\,Iarl{qecKofo

rlpe.A-

'ilo)'Kel{rrrl

I\Io)KIro

[pe.AcTaBrrrb

B BI{"qe

noc.rleAoBareJlbHocrl{

yrBep-

;xTICrrrrri,

Kax<Aoe

r{.-l

KOTOI)brx

-rrn60

lrcxoAHoe

(axcuolra,

ycnonue)

,

.lu6o

no.nyqeuo

rr3

npe,rbrAyrrrrrx

c rroN{orqnro

rrlpaBuJrbHbrx

Jrorll-

rle(:KrTX

pix)cy)KAeH[it"

.

frpu

3Totr{,

qro6rr

AoKa3irre.rrbcreo

6r,tno

fr0.[Ho(jrEK)

3i)BepureHHbrtrr,

HY)KHO

O60cHontrrr

I1

yKa3aHHbre,rro_

f r'rqe(:Krre

paccv)*iAer{us"

.

Sroit

qe.irrr

cJryx(ar

ilpaBr{Jra

B},rBOAa.

Tnxr.rlr

o6pn:ou,

\{o>Klro

cKa3arl,

.tro

doxaaarneJlbcmao

_

nm.o

'h:oH,e4t.?ra,fl,

n,ctc.nedoeam,e.fl?t11ocTft,b

yrneepcrcdeuuti,

nocLleduee

ua

rco_

rn,o'pbt.:r -

m,o,

\,Tn,'

mpe6yemca

donasa,m,,tr,

a,

6ce

ocTnalxblrbLe

_

nu6o

,,e:todu,'br'

(attcuoLvt'tt,

,yc,noeua)

,

,n,u6o

non,yue?rbl

us

npe0ad,y,u-ryr

c

I t.

(

).Lt,o'

I

I !,'b'to

I Ll )

(

K].t

ll't

et,t

a 0 0a,.

-fcno'

rrro

rrer)Boe

yrBer)x{AeHlre

4an'ofi

noc.ne.roBareJrbHocrrr

\ro;Ker

6nttr,

ro-rrsxo

r{cxoAllbrl\r.

vro'rurlr

renepb

rroHr:rrl{e

AoKa3are.rlbcrBa

KaK

aarcoda

[pe.,4-

.rro)Ker{Hfl

kr3

coBoKynHocrrr

rreKoropbrx

r{cxoAHbrx

npe4"no>rceHnft.

Onpegeleru{e

AaA.nrr

rilK,

rrro

B

po.irr4

[pc]AJro)KeHnft

6ypSrr

B],rcry_

rr:]Tb

rfo,t.tvtyLr,'tr'

r{eKoropofo

$oplranruoro

r3brKa;

<l60snaqr.rlr

6y-

xuorl

I

coBoKynHocrr,

rrcxoAHbrx

yrBep;KAeHlrft

($oprury.n).

oupe4e"rrerrrae

17.1

B't'rcodoru (ttp,uy"zat

pt

ua

co,o*an?rocrnu

uc-

t:odr*,t'

Sop,uy.n

I t{u3,blBoetn,cfl

rco?leHtlaa

nocnedoearneJl,b.r,ocTnb

(to'p.ttty.tt,

!t81,

lg2,

...,P,7p,

zde

gtrt:

U

u rcacrc\aa

$op,t,tyna

mi

rt,'p'tt,

zl

:

1,2..

.,nr,

Ltu6o

np,unad,n"eucum

l,

nu6o

no.nylreH,a

u,a

'n,7t

ed't,r,dy

u,ur

cf

op.u,y

Lt

Tro

ocrt

o al t

o A4.y

n,p

aetlrxy

es,t

reol

a.

101

9nclo m

rlnor1a

Ha3brBanrr

d,nunori danuozo earcoda.

tr4s oupe4ene:n:r^r-

17.Lcpa3y cJle/Iyer,

r{To

t31

€

f .

-fcuo

raKx(e,

.{ro

,Tro6oit na.rarr'rrlrft orpe3oK

nuso4a rae f ecrb BbIBoA

csoeft

nocnegneft

$opl,lylr,r

us roft

x(e

coBoKynHocrrr

$opr'ry"rr

f .

@oprr,,ry.ry 2r Ha3oBe\.r earcoduJwotl

ua coloxlJrl?rocrnu

fiopuyn

I s

nexoropoii crrcrerre aKcrrorr

I

A,

"aru

cyuecrByer

BbIBoA

$opr,ry,rnr

a

zs

I

n

4aunoft

crrcre\.re aKCr.roM. Brrnogr.rlrocrb

er n3 f n cncrerre

an ."orr A 6gerlr o6o:Ha.{arr: f F

1

z.

Ecrul cflcreN{a aKcI,IoI\I [r3BecrHa rr-ur necvnrecrBeHHa,

To I\Iox(IIo

BanucbrBarl,:

f F

q{.

flpravrep L7.I llycmb

2t

-

npoualorxbrlaa

fiop.nyn"a;

IrIB

-

cn,ucolt

llo?uv,ecKur awcuo.M I-IV

(b

16).

Ilorcatrce,Ld, vlno klB

I

z

-+

q.

!,;rl

sroro

pacc

\,rorprrNr

rro c.lreAoB are.rrbuocrb

cloplryn

:

2sr :

(z

-+

((r

-+

z)

-+

u))

-+

((z

-+

(r -+

s))

-+

(21-)

2())

it,l.2

8,2: lr

-+

((t

-+

z)

-+

a)

a,.I.l

B.t:

(z -+ (r -+

z))

-+

(z

-+

z))

ts:, tar; fI3

le.t: z +

(r -+

z))

a

1.1

B'ot A+4

l3.;,lB,ri ll3

flo

oupe.4eJreHr{ro 17.1

4annafl

rroc.rreAoBirreJrbHocrl

cfopr'ry.n

,rBJrflercfl BbrBoAo\r cfoprtrynrr

2{

-}

2r r.r3 r'l,Kcrror{

I4B.

3ua.rur

I4BIrl

-+a. I

Ana"rrz:npyg

tt

o6lt.tHltett I{aretr{a,Trrr.IecKrle

AoKa3a,TeJIL,crBa)

I\{o;iK-

Ho 3al\.IeTIATl,,

tlTO

B KaqeCTBe I{CXOAHT'IX

yTBepx{AeHtlft,

Xax

upa-

BIIJIoT 6epyrcx aKCHorrbI LIttTo,

.tro

4aHo"r

To ecrb

ycJIoBI{g

caltofr

Teoper,rbr. flo

aua.norr.u4,

paccN,rarpraBafl

BbrBoAbr

$oprry.n

raa f

,

6y-

Aeiv{

cqr4Tarb,

rrro

B coBoKyrrHoc:rr I rvrofyr BxoAr.rTb

$oplry;ru

4eyx

BrirAoB:

.

aKCUOJ,/tbL

(eC"nIA

HC OIOBOpeHO

Al)yIOe,

tO 6lr4erur

Cr{IITaTb,

IITO

I co4epxrrar

BCe aKcr{or'rbr

paccNrarprnaerroft

Teopfiu

-

KaK JIo-

fuqecKl4e, TaK h cnequa^nnnule);

tC;rc;yr

c;-ro)Kr{Brrciicr

rpa/-lHrlHH,

non

"crrcrouoir

arc.rrou"

6r'nou norrnuarr,

norrrt,lir t:nu-

cor( aKct{oM

/Iarrrroirr

rcopilx.

102

o

donyu,erut"a

-

HeKoropL,re

Ao[oJrHr{TeJrbrrbre

$oplry.nu,

To

ecrb

cBoero

poAa

ycJroBua

("ro,.mo

4aHo"),

us

xoropr,rx (r.r,

eoa-

MoiiKHo,

errde Il: axcuonr)

BbrBoAr,rrcfl

r,rroroBas

cfoplry"rra.

Pacclrorpr.rrr.r

no4po6no

ABa

cJryrrafl .

C"rry.raft I.

I cocrour roJrbKo

rr3 aKcrdor\{

pacciuarpr.rnaerrroit

re-

opun, To

ecrb r4Meercfi

aorcod

Soptuy,tar,

us ancuoJvr.

V

3'r'cl'r'c;tr"tilfi

coo'ltro't'(:'lri.vc'r''l'aKolry

no.;ro)r<ounto

n

"<)6t,t'rrtoil"

rrrlrcnil;lrrKL',

Kol/Iil,

tlcKo't'opl'rc

^v1'tlepx{llctu4t

rroir)rrtil.ro'l'(;r

(.:

lovotu,r)ro

";rot'n.recxnx

ltacc}'-

21i.'1qnufi" r{3

i}l(clo}l

;qa,rrrroiltcopnfi.

flcrro,

,;11,y

rro,,1o6rrt,rc

y'l.t}cl)x(4e1}.l11

crtH-

tit,to'fctt

do6tt:tu\ntttt,.tvtt.r,

1'o

cc1

t, uott,'tuLtl.ttl,.Mu,

8

ltil]'it,

ix:.o,ptl,u,

iI

ptlccyNil(ciHc,

C Il0\lt)ll(bIo

KOl'OpOl'O:)1'O

Y'lltcpXllClltlC

IlOilyrlcllo.

CC'I'I, ItC

tt'l'O,trtoe,

Kil,K Cl1)

d l'xl t

:J

u,n t c,rt tt

t:r n,oct. \

B crflsfl co

cKa3aHnbrNr

ecrecrBeHrro

BBecrrr

cJreAyroqpre

repr\tr.r-

HbI.

Oopruryny

2a, BbrBoAr{}vryro

rr3 aKCI{oru

Hexoropoft

crrcrel\{br

A, na-

3oBer\,r

ilorcasge.u,orl

(ucmuuuoti)

n

4aunofi

cr{crer\{e

aKcuor\r.1

O6osua'{enue: F.i

*. Ecnu cracre\,ra

aKcrroru

lrcBecrHir

rrJru

He-

cyrlecrBeHHa,

To nulryr:

F

z.

Brmo4

$opruy"uu

2l

rr3

aKcr.roll

6y4errr Ha3brBarb

dotcaeamena-

crrllou,I

amori

rfop-u,A./!aB

AaHHofi

crrcTel\{e

aKcI4oru.

Taxulr

o6pasolr,

0 o naa

y

e.u,a a

$

op,ny n a

*

JTn

o

fi

o

p

ruy n o,,

.u

Jvd ercr4a

a d o

rcae am

e rt b cTn6

o,

rno ecm,b

earco} ua awcuoJvl.

\,Iox<rro

l[ir-l]r,

ni)]tNlor) onpc)to.;tclrlr(]

.:(()Kill]arfc,;tr,c.r'na <]xtpuy;rr,r

E xttx

'trlc't.-

ttt'1fi

c";tv'tttrti ottpc.rlcircrt4t

17.1 c.v,lr:'r'tlv

r'or'o.

rlfo

c.;rorrtl,

"

19,

e

l"

ltyxilto:J/lccb

lrorn\ri)'t r,

KitK

"

l$;

-

rlxclt<Jltitr".

flpnrurep 17.1

nox:rebrBaeT,

rrTo

l-11g

2{

--}

9,

a npr,rne.4eHnr,rft

BbrBoA arofi

$oprr,ry.rrrr

r43 aKcr.roru

I4B

gnrrsercfl,

cJre.AoBarenr,Ho,

ee

AoKa3aTe.nbcTBol\{.

3alrernlrr

raK)Ke,

'.tro ac,nKa,fl, aKclro,Ma

uJueem,

dorcaaametr;bcrnao

dnuuat 7,

cocmoa,u.!,ee us Hee

c&rvtori,

mo ecnlb

aKcuoi4,a

,trBJLJreIncn

d orcasy e *toti

fi

oyt.ny n ori.

'Cnr3t,

nonxrnit

"trc.rttttttocrr,"

rr

,,1oxa3vc:uocrr,"

6v.lcr

o6cy:xrrarr,ca

6o,rcc nortpo6no

npr,l

rr3vrrorrlflr cBoiicrBa noJrTorrJ rlnPua,rr,nrrx

rcoptrrrt.

103

floc.trc;1ntxt

rrc npo'l'xgol)c'rn'r'o6lIlcrr1)Hnrn'(J\'l.y

Irlx)tc'rillJ.ilcnnlo o'loii,

,r't1)

aKcnolrbr III)llru4r,rllro'fcrt

6c:1

.'1ot<il:lrlrtc,u,c'r'rlil.

B r:avott.;lcirc. Lr

It

ni.l.lr(!rr

cirvtra,o

il,KcnorrLr

ile llt,ilro/\n'r'cs u:l

jtpy|ilx

dlOpil.v.;r,

n

xar<

6t,t "71ottil.:lt,ruil,roI ca,r|'r r,:c6r'".

flpoNseo,rr,Hyro

AoKa3yeNryro

(Ncrunrryro)

$oplvry.nv

6y4err uni>

rAa o6o3Ha..rarr'

T.

@oprrryny z

Ha3oBeIu llo'Jtc?ioli

B

AaIrHoft

cr.Icrel\Ie :IKcHor\.I,

eo.rrrr

F ar.

flpormnonr,Hyro Jro)Kr{yro

$oprrry.ny

o6o3Ha.I[rr F.

Jferxo

lroKa3arb,

.no

F ecrb

,7.

Aua,,rorrr.tro xlojxrro

yBrrAerb,

=

t{TO

-l

eCTL

't,.

Cnyv;rfi

ii. Kportre aKcr{or\{, coBoKynl{ocm

rfopriy.n

I co4ep;Nlrr

AOnOJrHr4Te

.trb]cro d O TLy Up HU.n.

llycrr ,4

-

rten otopafl

crrcre\rn

irKcrIoNI; O

-

coroxyulloclJ)

.ilo-

nyuleuufi:

ToI-Aa f

:

A

U

O.

Ecnu f

F

z, ro

roBopflT,

qro

2l abtrodlluuu

tt:t 0on,'gut,etrtLtt

O.

r4 o6o3Ha.rarcT

O Fj

Z

I{JIr{ npocro O

F

q.

B

.IacrHocrll,

ecJTLI

rlNleercfl KoHetrrloe

'urcJro

Aony[Ier{}If{,

To

ecrb

@

:

{*t,

A.2,

. . .,21,,}, :ro 3i}flrcblBrllor:

fl.1,212,...,21n

F.i ?1, .[n6o 211,212,...,!t,r

F

?l-

flplrrvrep

L7.2 llorcalrceJvr, unlo et

-+

ts, ,B

-+

c, ?r

F

c:

q

->

a

Aonyu{eHIre

2l

.&,olyu{eHr.re

,8

!51,82; fI3

t3

->

c

Ao[yilIeHne

€

t$1, !$a; fI3

V

Y>xc

O'l.r{o{tilJloCrr,

'r.to

71ctiic.r'rruc.;1orr.r'rr1t'rrr.rii

r; r]ro1rrra,.;rr,trr,rx

ttr,tt}o.;(a,x ilnil-

";t()l

Hruto 14cItojtL:toltiult4to

"'f{)lr),

,11g,;1il,lto"

lr

"r)6t,t,iltt,rx"

ttil:rctlirt t.trtccl(lJX

/lor(il*

ili,-|c";ilrc'flttlX. B cllr:rn c 3r'14lI,

cl61ra:t'ttrt IJItt{lrilun(-r Itil rt;1,)rin(x) o6r:tol'tc"'u,t:r

rro.

Bclxrcrrcr

K

,;lor(il:rill'cirr,c'r'rry

rjr]or"rc'r'rril

uci)ir,rrcu(:'r'rr

(!i$

15, 16).

3'ro

ll()riir.Jir.-

'I'Cjrrrc'r'rio,

rro

c]'nlcc'ury,

Ill)c.i(c'r'a,nirre't

r:cl6oft lll'lll().(

"v'l'llcpir{/;lclHr

b

<

o

r'r:t

ycironrffl

(,{onyrricrrr,rr{)

u,

>

b. IIpu

e'tort

::dun

cotit:r:

'tr,c

dtntL:tt,r,rJu,(.ittt,(:.H,.

lun,o

b

1

u ttt:rttuuruo/ \'lr,r

llor(illlruril

'r'o,rn,rro,

,r'r'o

/t

.<

a

u(.:'l

r,unro

rtpu,

'uutolult,

H1,-

'l

lllll()(:'l ll

,lott.vrt[t'ttttl

ri

)

l.

!31

A2

!83

8q

Brt

l0{

-{rr:ur<.rlr,r.rrro.

ll rrcpuofi'r'{Dpcvc.;\oKil;ltnl*rcrcr,'rt'o

lB,4D1- lD-\C: 180"

ffc frccl)lil,.

il,

JL'rtLub {J Tnoj4

ct,!J4tuc,'t;;ozdu

uztnt

B,4D

u, D.4C cu,r.'Ltr:trutc.

Tit,tit)c ;r<tr

rnircrHc rI**rcc'l .vrcgto n rrlltt

d;opvtunrlo\r

olrpc/;{c,rrcilI,tn

rrr}rrnJAir

<lxlprtl'.;tt't

?l r.r: f. Tar t<art

,rlonvlrlcrnr

r.ror'rl."r' 6n'r'r, rrpo14:lu(J;u,nr,t\ur

Oopt'rv.;lir-

rril. Lrl

crrlcod|r,A.Lua

ltiJ

tutt:

tfnyt"rtt'y.ttu

tr,r: o6a;tuTItc.iltfln

ucnt,utuut,!

B

.'1turt,ttcftlicr.r.

ilJ)ir,ltilil,.

6.Yilc'r' lt0r<n:1a,il0.

,l't'{)

H(:'t HIilto(:'il> I}ccx

jtoilvil(cttuii

tt;te'tc't Hc1't

Illloc'l'I,

nrn rio.;(r't

IIot't tt:l I I H

x

<lxtltrr.ri;rrl.

A

,il..nmy

rrnofr{x BbIBoAoB I\ro)KHo

coKparl{T},,

pa3per[r{B

IrcrIoJIb-

'l()RirTb.

Kporue rlKcHoru

r{

Aonyn{erruit,

r.r3BecTHbre rrcTr4HHbre

oop-

\tV.iIbI

pI,

KI)ONIe OCHOBHbIX

nptrBI{JI BLIBO/XI},*

npOII3BO.qHLIe.

3TO

IIe

trl)()T]rBopearuT

ofipeae.[eHlrl0

17.1, TaK Ki]K

I\{bI BcerAa rro;Ke}r

"pa3-

Fi€l)rrYTh)?

r.rcTr{Hrryro

$oprtly.ny,

3?}rrHcil,B BruecTo

Hee ee

,4oKa3aTeJrb-

(;'r'Ro.

To

ec,rb cBecrrr

K

aKcr4o\rilirr. flo4o6noe

\.ro)KeT 6nrrl

npo4e-

.iTil,rr()

r{

c [poIr3BoAHbIr\r[

[paBrur.rra\rr{

BbIBo.r{r}.

!,a,ree

I\,IbI 6yAelu

6e3

of

(

)BOpoK

rloJlb3oBitrbcfl

T?rKI{I\IH

tt

OC,ta6.negHblrlplt)

BLIBOIaNIX.

flpnvrep

t7.3

flonaaamb:

F11s ls

-+

7.

rrl :

7

-+ (r -+

?)

iI I.1

'!}z:

T

'BJ:

)g---+T

ucTnHHul,{

$oplry,ra

!32, lS1;

113

3aue.rasue

17.1

Jfeerco noKoaanrb,

Hrno

fiopJvtylra,

nollA4deH?rarr

n,o

'Eu,'No.M'u-.nu6o

npasuJlA

s,btso)a

us dOrcasAeJilbLT

$oprvtAJLl

c&rq,a

.rt,$.it,flnmc.fl,

doxas,ye.u.ott,.

fna

am,ozo

docm,ant,o\t?to

nocrnpoL!,rnb

"ocJlo,-

6.nl?nt

rce

"

dorcaa amen

bcTnl

o, co cm,onr4ee'us

dona3g eJdbLr

6op

Jvty JL,

c:rft,otL't4'ur,

Hed

"tep,m,o'ii

e danuottt

npaauJle

6uaoda,

u

paccJwam,p,u-

o

(

Le.M,o't),

{t

oQt

t

t,y.n'tx,'ft,o,n'grlsyrto'ii

no

sm,o *ty

np asun

A.

3anre.rarrue

L7.2 llo)xeprcue"M,

eu11e

paa,

\rno

"noJl?loe

)orcasarnetru-

(.rn,6o"

ri:atrcdod.

,m,eope"ubL,ua

S15

(cc.

g0

,u

g2)

ecrnu He

\mn uHoe

'^,e'x',

ebl6od

6 coorneerrtcm,6u,u

c onpedenenue*t

17.1:

6 nepsoJvr

cJly\ae

ym,aeptx:0euu,a

"

zBAD

*

zDAC

:

180o"

ua donyt4ernta

"Venut

BAD

u DAC

-

c,M,e)tct-L,tile7';

eo

Brn,oporvL

cllA4rae -

"{toptvlytnt"

b

<

q.

u,a

donyutenua

a,

)

b.

Taxu*t,

o1paaoLu,

"noJLH,oe

c Jlozulte-

c'x:uit

m,o"tn'u

speHua

drtrcasu,meLtbcmlo"

ecma

fiopn,an,bnbLri

6blsod,

n

()(:'m,poer

L?tbt'il

no onpe)c.ne'Huto

I 7. 1.

105

S

18

Henoroplre

cBoficrBa

BblBoAlln\{ocrr{

Br.

IrIs ruo6oft

coBoKyrrHocru

OopNIyJr

BbIBoAIlNta

BcflKafl.

AoKa-

3yer\{ar{

$opr,,ryna

(f F-").

B,2. I4z rio6oft

coBoxynHocrll

SopMyr

BbIBOAI{ua

BctIKas

Oop-

rrryla

sroii coBoKyfiHocrl'r

(ecrH

z

€

I,

ro f

F z);

83.Ecnuf

Fll+ls

lr

lFz,

ro

f

Fls;

Ba.Ec-rruf

CO

v

lFz, ro

OFq.

!,oxaxerr

orn cBoftcrBa.

81. Ta,x K:IK

?

--

r{crlruna,s

<fopuy"na,

To oHa

Ir\{eer

AoKa3are.Ilb-

CTTBO) To

eCTb BbTBOA

LI3 ZIKCI{OII.

llo Onpe4enelf.]1rr}

17.I

3TOT

BL'IBOA

fiBJrflercfl

BbIBoAoIr{

U3 rro6oft

coBoKynlrocTu

oop\Iy.[

f

,

TaK

KaK

I

coAep)Krrr

BCe 3Tu irKCI4OrIbI.

I

'B2.

Ilycrr z

€

f

. Tor4a [ocJreAoBareJlbHocrb

Soprtry.n

A.rIr.IHbI

1, cocroxul,trs

I{3 car\roit

$oplrymr

2()

rB.rlflercfl

BbIBoAoi\I

3ToiI

Oop-

l\.ryJrbrr{3

f.

n

83. flycm

f

F

ar

-+

ts

r f

F

q.

3to 3ua'tu'r'

t{To

cyulecrBylor

Bl'IBoAt'I

A\,AL,...,8'k

:

A ) 8

t A'!,A'1,

-..,8't'

:

2t' cOoTBeT-

crBeHHo,d)0pl\ryr

s

-+

B

11

2I

rI3 f

.

Pacc ltorpur{

TiIKy }o noc.IleAoBar€

JIb Ho

cr}, c}op

rnry"n

:

8\,r,L,.

. .,8'*(:2t

-+

,$), n'l,g/{,,

"',n'll'(:

lt),8'

34ecs

$oprry.rrrr

a\,a'2,.

. .

,B'k,'z'l,n'f

,.

. .

,a\'

yAoBJlerBopsror

orrpe,4,eJrenlrlo

Br,IBoAa

ua

f

; $oplryna

a

no-Tlyqeua

no

fI3 n3 attt

tr

l$l,; aua.ntr

tB Tox(e

yAoBJlerBopfler sTolvly

onpeAeJIeHI'Iro'

flosto-

ruy

BCfi

AarrHafl

frocJIeAOBaT'eJrr,HocTt,

[peACTaBJIfle:r

co6ofi

BbIBOA

AJrr4r{EI

k+l+

1$opuy;ru

,3

lls

f; cJIeAoBareJIbHo,

lFts.

!

Ba.

flycm f

c

O n f

F

z.

Tor4a

cyul,ecrByer

BbIBoA

$opr'ry.nsr

2(

LI3

l. Tax xax

f

C

O,

To rro6afl

$opruyna

rls

f rpplHaAre-

:.Ktrr

Q. floetouy

ynoIusFIyrEIfI BLIBSA

sBJlflercs

raKx(e

BblBoAorl

$oprtry"nlr

a

lls O;

orcloAa

O

F

ar.

n

106

V

Ctrrlfic'r'lxl 84

-v'l'lJcp)K/(?l,c'r"

'r'r'o

cortor{.vfllt(J(:1'r,

rr(lttyrr(-.iltlil

I.roxilo

rroilo,:t-

llH'll'

K?llit{r'tH ylol(llo

(l)oprl}!ril,uil,

r{ Itpr.r ijr'o\t

coxpailn'tcfl

Bcc

tlr,rr}o.;(r,r

H l

ilpc)li-

ilcii

(x)Bor{yriltoc't'H

j(oilyiltciltrii.

Il.o rJlto.;lrrc

r(:ilo: lJ rrcdx)l)Miutbilt,rx.,{()Kiillitr-l.cjth-

c'l'llz)x

l{i}fcr,liufl,ltlocl{Hx

'l'copc\I

l(o6i)Bitottltc

K

vcJIot]rrr{\{

"iil4UillltXt'

lla,illil,tx

It(-.

IlOtlclllae'l'tlJ)OUCC't'l'l

IIOKA:lilrl'Cill,(:'l'lrO.

OIlI.ll)ilrlCL

llil,

lll)ox(lltlC

rlallHl>te.

florrl'r'tro

'r'ill()r(c.

!t't'o

rrJ)n

l(oKt],3il,fcJrr,c'lltc

Kilr(or"r-.;tl{6().11)opeMhr.

tJo06rrrc

l.or]opfl,

ilcjrb:l'l

o'r6pa,(:r,ulilx'r,

traclr,

yciroBlrtrt:

HMclur()

nx

-\,to)r(ct'"rtc

xrJir-I.r,l'r,".i(jr1

Iro,ry,r{)IrHl

J)C:JVJll,'lilf

itr. Atta,.rroflt.rrr<t,

rrr,illo,,lr4MOC'r'r,

dxtptrry"'11,1

u:l rrCriO.l.Oi)Oiii

COrioKyrrnOCT.r.t

-,ytttytllclltlil

Ii <16rIlcrt

t:.;t]'ttit,c

nc rJjtc.tc'l':,ra

co6ofi

cc llr,lno/'(r.r\,roc.r.r,

llr:6o;rcc y:txori

uorrori!'rrIto(j'tr.t

jlolynlcnr.rri.

llcr<;rro'rcrrr,rt'coc.til,tt.;tlc.r,c;re71yrorr1l.rii (:";ty,lilii: jrcl.r(o

nol(il,:lit'r'r,.

.r'lO

f,7

F

2l't'oriltr rr loitr'l{o'l'()r)(il,il(ol)(il.

I

l-

2l. I,Irl,rlt{

c.ir()jril,\rlr.

,;

l'n6o'it,tnaox:t1TI|ncn|''ut)ott,t1'tt1clru,,il^40)lc,l'0do6uc,nartn,

dtnt,'11ttt,t:tttt,'it,

,^,r,o:)t(:no

,ydu,,ntttttt,

,nto6oc

uutt:,,tt.t

t)o,vut1.1L:.utrt,t; ()op,u,y,n.

A

$

19 Axcr.rolraru.recKr{ii

\.reroA.

3;rerrenrapubre

reop[r.r

Br,rrue

y[o\.rrrHaJrocE,,

rrro

]rarellarrrrrecKl{e

reopr.rrr

-

DTo

Ae/S/'K-

Tr,rBrrbre

Teopnl{,

B

KoTopbrx-pellynbTaTbl

ilonyqaIoTCfl

rryTe\r

noru_

llecKofo

BbrRoAa

r43 aKCr.IoNrr.

/{e.4yxrunrlble

TeopuII)

R

Tollr

r{r.rcJre)

B t{aTellaT}IKe

I{ nOfI{Ke)

(lTpOt{TCfl

OKC'ttOJWA'm1.1\eAC,It,Nt

"^/t"ernodoNt.

CyqHocm aKcl,roN{i}T}IrrecKoro

[IeroAa

cocrollT

B

,ror\,I?

qro

AJI:I

nocTpoeHr{ff

HeKoTopoft

AeAyKTrrBHoft

reoplur:

1. uepe.rracJrflIorcfl

nepBlrqubre

rronsrr{r,

Koropbre

BBo.qsrcfl

6e:l

olrPeAeJreHr.rfi;

2.

npw nor,roullr nepBl{qHbix

[ougrr.rit

oupeleflflrorcJ{

BCe ocraJrb-

Hbre

rroH-flTrrr1

AaHHofi

Teoprlr;

3. <poprrynupyrorcfl

[epBr{r{H bre rrcrunrrbre

rrpeAJ'r

ox(enr4r{

-

aKcrr-

or{br Teopr4ltl

KoTopbre rlplIH}rr\{i}rcTcfl

6e3

AoKa3aTeJrr,cTBa;

4. na ocnoee aKClroN{ rr

oilpeAe.reHuft

1oKa3brBarorcfl

(nuao4xrcx)

TeopeMbl TeopuII

KaK J'IorrIqecKIIe

CJIeACTBITS

pI3

aKCI4O\r.

ln

o't;ltrqrrc

or

/'Ipvfrlx

BIt-IoB

nor{orIIbIo

3KcrlcprrMcrrTi)

Tcopnl"r,

cKaxict\,I, n rfrl:l.nrc,

f,ito

pcj)'Jr)rarrJ

rroJvqaror

c

107

Hau6o.nee n3Becrrrbrl,r fipr{]uepor\r

rrpr{\reHeHns

a"Kcrroi\{?rrr{rr(rcKo-

rO IueTOAa B IIIKOJIbHOI{

Kypce

I\'I}TeI{I}TIIKII

sBJIseTCf

[O(lTpoe-

HI{e reoNIeTprIIt, rAe B

KarrecTBe TIepBLIaIH},IX iloI{gTUI-r

RllgTbI

t'TC).I-

Kat',

ttllpflIrlafitt

,

ttnjrocKocrbt'

,

"

p,Jrrt:Fa

orpe3Ka"

,

"rpa4ycHzrf

rlepil

yrJla";

orHorlreHrre

ttupraua4le)Karltt

A.nfl

TorreK, flpfl\{blx

I{ n.noc-

Kocreft.

B

4aHnolr

cJryqae

aKcl{oN{arrl.recKuft Nr€rroA flpln{eHgercfl

B Ti)K

Ha3brBaer\f o

M co deput umelr'brlo Jvr Br4l](e.

Co4ep>xareJlr,Hblft

aKcrro l\{arlrqecKffft rueroA

or.[I{qalor cJrL)I),r(

)-

rqllle oco6eHHocrrr:

o

ocHoBHbII!{

IroHflTIrfIU npl4.q,aercff

KoIrKl)eTHI>Iii Ct\{F,rCJr;

.

NPABI{JIA BbIBOAA II JIOIIIqECKI.{E

AKCI{OITbI,

d)?IK1'I,I'IECKII

.Y--I?}-

cTByrorq[e

B

AoKa3aTeIbcTBax

Teol)eNI, cr{I{TaroT(;rMIrTyIITItR-

HO

gcHbrl\,rr4,

BCJIe.q,CTBI4e

tlero

gBrro

FIe

dtOplrrynupyK)Tcr{

r4 fre

npaN{eHslorcfl.

fipyroft

pa3noBr{"4nocrbro

aKcr{olrairnqe(:Koro

N{eroAn

r{n.[x(:Tcr{

noJl'yfiop"Ma,r,Lbr1bll"t

awcuoJfiam,rly,ecvuli i4ern,o}.

On

irueet

c.ne,qyro-

uIHe xapaKTepr{bre

qepTbr:

o

llepBr{qflbre

fIoHflTI4g rlB.rrtroTcfl

a6crltax.rrrr,rrrlr:

u\r He nprrAa,-

eTcs KoHKpeTrroro cvrbrcJra,

qTo

AolycK2]eT

rrx

pa3Hoo6paurrbre

14HTepnpeTa\vrl;

o

TaK

x(e? KaK I.I flpn coAep)KiITeJIL,HOI\r

aKCrlOI,IaT'rqeCKON{

]\rolto-

Ae7

JroruqecKue

aKCI{oL{Er rr [paBrrJrit

BbIBoAn SBHO

ne

d.ropl,ry-

Jrr{pyroTcg

II He llpl{r\{eHsro,tcfl .

llpnltepou npuNlerreHr{r no.riy$op\ra.irL,rrofo

irKcrror{?]TrrrrecKofo

MeTOAa rUO)KeT

CJry)KrlTb Teopr{fl rpynn.

cneqntr,.ntnF,re

aKoEorubr

grofi

Teopun rr r\{Horoqr{cireHrrr,re

,rnTepfiperarlu]r

o[epaquu

+(2)

lr

3JIeI{eHTa e, TO eCTb IIepBIrIr{HbIX

nOHfTI{tl

A?.LIIiOI"I

TeOppIII,

pircct\ro-

rpeHbln$$9n10.

Orinreturt eqe

pa3,

yro

c noN{orqblo

no.ny$oprrrirJrbrroro

ilKcr.ro-

kIaTI4qeCKOfO

IueToAa

pe3yJIbTaTLI

IIOJIy{alOTos OAI{rr

pa3

"B

O6rqClr

1OcS

r.rr/]e7l;

3aTe\r OHII

peanr{3yloTcr{

B

pa3HbIX

KOHKpeTT{brx

I\raTe\{aTI.r-

rrecKr4,K

o 6,rtrcrsx c

tlo Nr olrlblo

lrHTepnpeTaqr.rl"r.

!,tr.nsHeituree

pa3Br.rrr{e

r{areruarrTKrr

7

ts

yacrHocrr4

orKpbrrrre ra-

pa,/IoKCOB

B

Teop[tr ruHox{ecTB

(crrr.

nre4enlle))

BbrABuHyJ]o

Borrpoc

o6 vro.{Henl,Ir.r

rloHflTrlfl

t'roruqecKoe

.qoKa3i}TeJlbcrBo?7.

llo

sror'r

frprIrIIIHe

IIoJiIBIT.[(;fi r{top"w,a.nuxd".tl

aqcrlo,Mam'uyecvuli

tt,emod

ro-

crlx)eHrrfl

AeAyKTrrBHtrx

:reopr.rir.

Ero

cyuquocrn:

l. ln4trercx

.rr;]bt,x:

rn,eop,ti,,tr,1

To

ecrb r{a6op

[epBIraIHbIX

a6crprlr<r-

rrbrx

cr4rrBo.nor (a..rSanur)

n

npanr{Jra.

o6pa;oBar{rr.fl

cJroB;

2.

lil4arorcx

dedyrcrn,u,eHbLe

cpedcm6o,,

K KoropbrNr

orlrocfrc.s:

ir)

.noru.recKrre

r.r

cneqrraJrbHrare

ilKc]ror\ru (Hexoroplre

cpop-

t\rir.rrblro

fro(:TpoerrHble

lrpeA.rlo)KeHrrfl,

To

e(:Tb

oopNIV.iIbI,

3a_

-

tir.ITlt()f()

n:uliii)

;

0)

npnwr.na

Bbrrro.r{a.

11r,pnrrfi

:rtu

rloplr:ulrrHOro

aKCI,roN{arr{trecKoro

r\{ero.{a

coorBer-

(:l'BV€,T

uu.

1), 2)

o6qero

aKcr.rorrarrrarecKoro

r,reroAa;

nropofi

sran

uu.

3). 4).

[I1rn

t]oprrrilJTbHor\r

itrKcr{or\rirrptrrecKo^r

r\reroAe

AoKa3are.nbcrBo

rrlx-'A(:'rit,B.rrr1er

co6oir

BbrBoA,

rrocrpoeHHbrfi

e norttolr

coorBercrBr.rlr

( ()rrl)ene.rrennent

17.1.

ilarlrrrt

o6pasolr,

B JroruarecKor\r

orHorrleHllr{

:tro

rrtrll6o.nee

crl)of?rg

rr

3itKor{rreHFrafl pa3r{oBrrAHOCTb

aKCI{ON{arI.I-

rl(x'K()fo

\{eTona.

V

"II1;urrrlrrtlt,t

co,rtol))rialc.'u,ttoii

aKcilouilrrrrlr

l ocr(rlc'nlclrril",lrr

1l)H11cprro

-i{o

(:op(Tltllll)t

XI\

rrrlr<4.

fI<1"'lytbollrra",u,rrr,ri:r

tt,l<c;rrova;Llt,rlr:r<rrr'i

\rc.to,,{

1o.;tvrrHjl

ol

'1to|ilr.lB(xt

{)<|xrllrr.;rcrrr.rr:

r rtr,rcirt;1lt:r:.i

rtc'l.trcr])'r'!t

XIX

rrcxir.

{a.luil

pgx<71grrutr

<lxrlrvir.,tt,uor-t)

ar(ctro\l?llI{,rocr((ilr)

r'l()r'(r.;(a

IIprInr.ll)

(:trHr.ir.l-r,

1g04

rr1,1,

rror.;qa,

;f.

I'rt;rr,6t.'1r'r

r]r,r,:lrInrrlir

(x:ltonnl,rc

rl)unrlHrr,r

rlloprt:utr:a,t1ur,t

\.rixfcr4a'r.lrnn"

([16],

t:.216)

B IIit,lllo

tlJ)crlH

il.l{(i}roi\"rlillr,rccr(oc

nocll)ocrruc

6o;lr,ltnlc.lrtil

lriU',11,ry,f(,-

()1lrrfi

tj }Iillottirl.I-ilic,

o(:lo(:.l,Bo:lili'I,ilt{H

lt

'l.cxilIflic

-

(x:vulcc,r.B";lHe.l.cfl

Ito lrl)!.trrrltr-

ttart

tt'1"'t-v<jxlilrtiutt,tt<.lii

lt

(.:(fj\c]))ri?)l1r.itr,rtoI-t

il,rictto\lilll

ti3il,llt4u.

(Doprta,lt,ttt,l-r

:1x-

(:!t()\l;ll

r'rrtccr{ilii

rrc't().'1

ltl)u\{cilr(Ylcr.

8 ocil()t}ilor.l.

t}

troill)octlx,

(:tit:lil,ililt,tx

(:

jto-

l[It|(](:I([|I|tlfxX:ttrltlil,t|l,ltl\l]lit'I1]}l;l;fI|Iirr,fI1lrr:J.|.O\Il](:(]IXl:jyjII'I.il'l.I,l,

tlxrl>rta.,rt,tlt,trt

irti('t't{)trlilr'r'r'!r{)cKr{rr

uc'r'o.:[olr.'r'i),r(r{{(: jt(JIrJi.(:Kiilo,t.pa:]jrg..gg>rc

lr1-

'tr'pil1rr"ril,r1urr.

a

109

Kax

yr<aertBaJroct,

B Hil,r{aJre naparpa$a,

c

rloN{olrlbro

aKclro\{a-

Tr{trecKoro

L,reToAa crposrcfl

Ae,4yKTr{BHbIe

reopnlll. B uactrroctx,

.soprrra"rlnErft

aKc[orr,{arr,rqecKr.tit

N{eToA

npe.4Ha3HarreH

.qJIs

flocrpo-

enwx

Sop*to,Jt,bvrbt"T

arccuolv,amuqdeatur

meoputi.

llpu atolt

cal{

Tep-

IuI4H

TtTeopuatt

no,tygaer B NIa,TerIarrr.IecKoft

JIorrIKe

yroqneltue,

or-

pilKarorqee)

BrrpoqeM, o6ulenay.lnblfi

cr\{bIcJI

AaHHoro

noHsTlrfl.

flo4 cnonort

"Teop[flt'

o6r't.tuo rloHrrrraror

coBoKylHocrE, 3HaHmii

B HeKoropoit o6l:rctu

treroBe.recKoft

Ae{TerbHocrlr.

IzllrenEo

raKoit

cI\{bICJr IIpLHIlI\raIoT, Halprrr{ep, cJIoBa

t'reopux

oTHocI4TeJIr'HocrI4",

"rr"rorexyrapHas

leopux"

(a

$usnKe).

B l"{arer{arrrKe

[pu]uepaN{rr

Teopuft sBrqroTcs 3JrerueHTapHz}fl

reo\{erpr4fl? Teopuq

ruyilrl

I{

Ap.

!,e.4yx'rraeq/Io

reoptlm cJreAyer

B

cBfl3lr

co cKa3aHHEII\I

rIoHI{-

r\raTb KaK

co^oYan\acrnb

acefr

pffiarlbrnamo7

06 u3a^raeJt'tbt"r

o6oer,-

m,aL, no,na\eHHblr nameJd

,noz\rv,ecqozo cblBoda

u3 a\cuoJvl, danuoti

meopuu.

flocxom,xy e

$opua.nrHoft

aKclroMarrrtrecKoii'reopl{r{

I{3 ee aK-

clrol\r c

nor{olrlblo cfopiua"nr'nofo

BbIBo,4a

AoKa3bIBaIoTcfl

(BbIBO-

Arrcr)

HeKoroprre

$oplranr,nrre

rpeAJro)KeHsff

((bopl{ynbl) coor-

BeTCTByrOrqefo rr3brKa) To

ooprvrarbHoft

aKCInoI\{i}THqecKOft

reopnefi

ecTecrBeHHo

Ha3Barb

cosoganllocm,b

(A'ttlutcecm,so) scer dorcagae-

Jdwr

$opJvtArl

6 sadatl\oli cucrneh,te arccu,ob,t

.

B

galrHefi

urerrr 6y4ertr

p

nccr{ arpr{Barb raK

Ha3bIB ael\{bl e a

JLz,M eH-

nLapHble meop't|u, npr{ [ocTpoeHr.rr{

KoTopbIX I.ICI]OJIb3yeTCS

(bop-

rrraJrbHr,ift fl3r,rK

I

rropflAKa HeKoropoii cnruarypbr

($9).

C

y.re'rolt

cKa3anuoro I4I\IeeNi:

Onpe4e.rreur,re 19.1

[Iycma A

-

"u"*"A,t,a

aKC'uoJv! 6

nsune Herco-

rnoport cueHernApbL o.

SlleJvteHrnapHoli

meopueli dannort cucrne,Mbr,

a\cuolvr'tr&3o6ei4 Jvl1.7otrcecrn^o

$op*tyn,

doxasye.M,wr s

da,Htlo'i1 cu-

CfneJvle ArcCUOJvl,.

O6osua.raercff

yK

asanHar DJre r\{enTa,pHafl Teopl4

fl cr.rrrmonolr

[A]

o

:

lAl,

:

{al

r.ia}.

110

Ktlx r.r:secrrro? aKcr{or\'rsl 6rrearor rofrlqecKue

("rIA)

n creqrri]Jrb-

nsre

(CA).

Srelrenrapnyro

reopr.Tro, aKcrloMarl{Ka

Koroporl

co4ep-

)Kr4T To.rIbKo JlorlrqecKlre aKcrror\{sr,

6y4elt Ha3brBarb

noeu,uecrcoil,;

ecJlr{

aKcr{o}{arlrKa

g.rler,IeHTapHoii

reopura, KI)o[{e

J'Iorr4rrecKtr{x,

co-

Aepx(ItT

I{ c[eIII{aJI},Hbre

aKcrroN.rlr, ro

6y4el{

IIa3bIBaTb

TaI(yIo

3ire-

lIeHTapHyIo reopl4lo

n,ped*tem,nod, n uactuocrrr,

Jvto,meJvlam,u,uecrcoti.

V 06r,l.rrro

Ir

jua;l'cl.tixlltr(c

ltllcrt,to)'t{cnuc, Ko'ro]xxr

rJI,r}ol\H'lcr.r

(7:qttrrrnl,tn:lc't,

r:a)

tlt arcnoM

'l'copuH.

na,:rr,lni),ro'r'

'rrxry.lt'rrofi.

B

$olrlriurt'ttttft

ilxctrovttttt'rccxorlr

'r

()ol)uH

"np<)r:1,,tt))rctttrt",

xotupt,tc nr,ut(r[t'l(::t n:] ilKL:norl,

-

9'r'o,r\oKil3ycx{r)rc

<!<lprt.v;rr,r. irlx u

ct:'r'r.c'r'rlcnno

nii,:lrJtvlrr

'r'copr)rlrlrtr

<fo1r,ltr,,'tt,rtofi

tlKC:nr.nr;l,nr'rc-

cxr.lirlcopr.tn.

llritt<. trtcuTtt:tttt,

tfn1t,+ttt.'Lt,ttlti

ur;uLl.uutn.tLrlt'L:tio'it

ilt.('o!'tut,

-.rttto

(ntpLtty.,tu.

0oti:u:lyt.:.ttut.n 6

u:r;(\r,o.^4o,nr,1t'n;e dult'tto'i.t,

m,(np:ut,.

Crx-l't

trc't't''l nr-'tuto 3'l'ox,ty Iloit.vrla.crt.

!t1o

:)Jt(l:nrcntil,I)ni),1

'lco])un

-

:11'o

lluox(c-

(:l

r|() rr(:{)x r\loporl, rr,uro-rlcilnr,rx

tlri a,r(c:Ho\r

'l

c(ipl,lr{.

31.)

ntto;trtc o'r'nc,ri],(-allov)

(:\l,tc.;ty!

x<.lt'o1lt,ili 1.il,t

t)6t,t,tttt-r tJI(.;tai

ltnnit.(l\l

L Itoltgl'ltt

"'lr:t)p!'1fl"

n

"'t

txll.lt)lttr,"

tr

r.ltt:Lcll;trt'l.tx0. A

Jfto6ag

sJrerueHTapHas reoplls

llrleer Baxnoe

cBoitcrBo

-

oua

3O.MKH|!Jn,A O'rL?TOCUTrLe.nbHO

SbL6OdA. 3ZrX,tto.tZl,ercg

3To

cBoficrBo

B

cJIeAylOIII,eIVI:

r

c,

1

llycTb

IAl"

-

HeKOTOpafl

sner\reHTapHat

Teopl{fl.

Ec,nrl

u1,a2,...,2t,,

€

[.41.

vfl,1.%2....,E,,Fg,

to ra€lA]".

B cauou

Ae.[e,

no.yc.[oBKI(),

t

i*r.l.r^r,

.

F-i

4,,. Tor4a

no-

cneAoBaTenblrocrb

$oprvry-n

2\,212,.

. .

,\,r,21

flFJrFleT]tl

OCJIa6J'IeH-

HI,IN{

AoKa3aTeJ-IbcTBol\{ $oprrry.nlr

L

D

3alrxxyrocrb

reopuu olHocI,ITe.IIbHo

BbIBoAa

orpa)Kaer ;{BJIeIITIe

)

ecTecTBeHHoe

c

\.rilrer{aTlulqecKoit Tor{KI{ 3peHuq:

yTBep)KAeHI{e,

Ao-

Ka3a,TeJTbcrBo

KoTopolo oll4pzlercrl

Hzr HeKoTopble

reopeNlbl,

ci][Io

gB.[ferct

Te0pe]\lor"T.

*t<*

B

.qanrnefi

ureM 6y.qeN{ 3 aHI{r\{

z}Tr,c fi tByrIeHHeN{

HeKoropr,Ix

JIor[-

qecKr{x

u

\,{areNrif,T}lqecKHx 3,IIeN{eHTapHLIX

Teopufi

na ocuone

$op-

1\{?}.[r,HOrO

BEIBOAa.

cO4epX<are.IIE,IrtIfr

c\.Ir)IcJI

$oplra,rluofo

BbIBoAa

t1l

6rrlr

paccrrorpen

Aocraror{Ho

noApo6uo,

rrogrol'.{y B

rloc.[eAyioil{I{x

uaparpa$ax

6y4er rlpr{BJleKar},cfl

lfeHblrre anzlJlornii

u3

"

o6rl'$Iori"

'MaTeN{aTrrKr{;

3TO 6yger

Aerarbcq)

B ocr{oBHON{,

rIpH fIOCTI}I{OBKe II

o6cyxgeunfi

rroBbrx [po6reM.

$

20 LIc'tucnenue

BbIcKa3bIBaHrrIYr

KaK

.IlofuqecKil,fl Teol)I'Ir{

Paccrrrorpur{

nocrpoeHlre HeKoropoft

.nof

IrIe-'cKOft 3.nelreHTinplIoli

Teopu[

B s3ErKe

npoI43BoJIbHO

oIrKCUpOBafrHOfi

C]IrI{aTypbI

(1.

L flsarn.

flssrx

groft

Teopau o6pa3yercfl

rra lroJlHocrbro

rlocrpoel{Irofo

$oprrra"rrrnoro

fiBbIKa

I nopx4xtt, crrlrrarypbl

d c Ilo[.Iou{bro cJIeAyIo-

qero

orpaHr{rreHr{fl:

cpeAl{ ecex

Soplty'r

4a,nuofi

crlrl{arypbl

6ygcrtr

paccruaTprrBaTb

ToJIbKo 3arlKHyTr,te

$opnly.nr,I,

I{a3blBtlt nx

rfop.u/t1-

JLa.Mu

ucHucJleHl"tit" BbLCKaabLBaH'uIi

crrtut\Typbl

at.

Ey4eIrr

pa3.[r,rqarb

ABa

BtrAa

rpoprrryrr

rrcqrrcJlentlt{ Bbl(:Kil,3btBi}-

urafi

4anHoft

crauratypu:

l. 9neu,en"mapTtbt,e

tfop"tty,tut

-

:lro

lla\{KHyrble

$o1trtry.nt,t.

no-

crpoeHrrbre 6es

norroull{ crlrrBoJroB

onepaqlfl'l n, v,

-+)

-.

flpnrrep zO.L

B cuznom,?lpe

o

:

(0,

1;

*,';

))

cne.metmtn4t-

1-LbL.MU

fi

OptuE

n a*tu fl,AJLa?OmC,r1,

:

(0:1); (0:0);

(0'1

>

1);

(Vr)(r

>

1) u,0p.

Sne

lrenrapnrre

$op

rtryJrE

I Irc

.IIIC

Jlelrr{fl

B r,IcK a3bIB ilrlu

fI

6y4r:

rr r

ycJIOBHo

o6o:na'rarr

A,

8,..., A1,...,X,Y,.

"

.

2.

(Doprrry"rrbl,

rrocrpoerrHtle

rI3

Apyrrrx

droprrry.n

r{cqrlcJleHltr{ Bbt-

cKa3blBaHufi

c [oltoulbro

clrr{Bo.Ilon onepaqrafi

n, V,

-+

corJracHo

u.3oo onpe,Ae.nertus

9.2.

4)oprtry.nr'l

ucrlllcJleHlttr BbI-

cKa3bIBaHI{fi

e o6rqelnr

cryt{ae 6y4err

o6o3Ha'rarl rorl,IYecKrr\{r1

6yxnalrn.

112

3avre.rarrrae 20.

1

C

yuern,o

"u

e

eei)enuur

6bL?u"e

o 6osmauenuil,rvt

otrc-

rt,o

po,cc,Mam,puaam,b

a

K&\ecrnae

$op*t"ytt,

uc41,uc/Le?7ufl,

abLataabtaa-

tr,tt,'tt

c.noe,a

auda

AAB

-+

A. TnAy

B

-+

e nC

u m.n. Te",v,

curvtblu4

o

cr

t'

u,e cTn

e

JL

rlem,

c.n ne

p

e

r o d

o m

"

np

e

0

rv ernH

o

e o

"

s ap

u artrrl

e

r L o

crr

Lp

o

-

e.H,'ua

Lt,c47',t1cJleH1r.fl,

B'ttLCKASbLAAnUti

e

frBbLrce daunoil

cuztlT,mypbt,

o K

(:(toe'.o

po)o,

".n,ozttHecvolvty" ("uu,cm,o.myt'

)

eaptt"anm'y

(S

g).

C.nedyem,

aotutern'uTnb,

erm,o

no ?rnnucaHuto

fiop*tgttbl',

ntutrrozot,

'u,c't,'t1,c./t,ettr[i,1,

Bbtc.hia]b(,aou,u|&

a,u,unozr..tH't{ttL

tfopa,t,y"na",rt"

anze6pat

esu_

('hia:i'trL7e,l-11J,il

(en.I).

Crodcmeo

Jmo

He

c.,+yuarino,

u c

eao npofreJLe-

1t,u,fl,./rt,'tt,

n,prtdem,ca,'neothtorc,tam,r1,o

1crnpeLLarnbcn

a danauettuteat.

II.

/led

y'nm:u6?rtle

cpedcrt

ao.

IJ

xnqecrne

irKcr{otrr

crpoarqeiicfl

Teopuv

nr,r6epelr

cuucox

tr48

.rf()ftrrre(:Kr4x

irKcllor{

I-IV;

ocuorr{oe

B

Ki'l,qe(jrBe

ocHoBHofo

rpaBuJrr}

BbrrJolla

-

'n,paau,no

3Q'h:.n1OHet7U.A

.

llOrrxT}rg

BbrBoAit,

LI Bl,rBO.4LrNrOCTLr

(

x:'t-ill()Tcfl

6e:

uenterrenzli.

Tt:opuro

[I{B]"

6y4errr

Ha3ErBarb 'tlc\t,LcJLer-Lr'*M

abrc*asblaarfl'tl

u(ftr{e,m,ypbr,

o.

Ec.nv

crrrHarypa

He(;yulecrBeHna)

To

6v4errr rono_

purb

rlpocr

o

06 ttc^ t

uc JLerLlnJ

aat,crcas'rrrc

amuri.

B

nr;.rrrc.;re'r{trr

RbrcK?r,3rrn.Hlrr-l f-

2l

-+

2{;

i-

r

-+

?

(o.ro

osua_

(Iirer.

rrro

.r'rilHHble

$oplrynlr

flB.nflrorcfl

ut,e7pe,AhaA4u

uc,luclleHun

6bt,(x:o,3'bt,8o"rurir?,)

.

Kpolre

roro,

B Ircr{r,rc.rlerrll{

Br,IcKa3btearrut'l

r4r\reer

Nre(rTo

l0Kir3aHrr;ir

paHee

BbIBOAUT\IOCTb:

21

,+

a:

!s

*)

c:

q

F

a.

5

21

Teoperr:l

AeAyKr{r{u

A.rrr

r.rcqr{cJTenlrfl

BbrcKagsrnanuft

.{oxa;xerr

Ba,xiHoc'

c;eoricrno

r{cr{IICJTeHI{-fl

BblcKa3bleanral:l,

u3-

Be(:Trroe

rroA

rri[JBarrner\I

m,eope,m,a

d edyrcu1tu.

Teopeua

ZI.L

Ec.mt,

f.s

F

c, m,o

f

F

q

-+

c.

;l[o

x a :l:r.re.n

bcrBo.

flo ycnonuro,

f

,

z F

c.

3ro o:JHrryil,er,

rrro

cyil{ecrByer

BbrBoA

Ill,!82,...,lir,,

:

c

<foprrty"irrt

c r{B

coBoKynHocr}r

$oprrry,,r

l,?l.

113

I. floxax<elr

lru4yxqltefi

no

i,

-rto

f

i-

q

_+a.it

rfle

ls;

-

IrpoI'I3-

BoirbHas

$opnryna

yKa3ilnlrofo

BbIBoAa

(i

:

1,2,.

. .,m).

I.1 llycrr, i

:

L. Tor4a

lsr

€

f uIIrLr 81

:

\.

Eclu

rs1

€

f r:o ro cBoficrBy

Bz

($ 18) urteeu,

'{ro

I

F

lsr;

TaK

KaK

$oprrryna

t8t

-9

(*

-+

11)

ectl aKcl4olua

I.1,

ro, no

ceoiicrsy

Br

($

1B),

genaer'r

BbIBoA,

r{To

f

F

11

-+

(a

-+

lar);

cJreAoBareJrbHo) rro

cnoftcrny 83

(S

18),

f F

z J

tsr.

Ecrr{ :xe 81

:

4, ro

$oprr,ryna

2t

-+

!31 To ecrb

21

-+

21,

IICTI{HHa

rr [o3ToMy BbIBoAIrr{a Es

I no cnoftcrny

81.

B o6oux

Bo3r\ro)Kubrx cJryrraflx

noJlyrreHo,

qro

f

l-

g

-)

tst.

I.2 llycru

f

F

cl 1 a;

ArIfl

Bcex

$opr'ryn

tsi,

fAe i' <

k:-

floxalxerur,

.{To

I

f-

z

-+

ls;.

34ecr

Bo3I\{olK}IbI TpLI

c,Tyrlafl

:

a)

lsr

e

f

;

6)

n1.:

'21;

r)

gr

IroJlytreHa

no lI3 lra

$oprtryn

B;

14

811.,

r,4€

J,

h < k.

!,oxasarerbcrBo

nn.

a), 6) ana.norlr.rno

n.1.1.

n)

Taxxax

j,h<k,ro

f

Fq-+aj uf

l--2t-i131,

Iro

[pe4rroJro)KeHr{ro r{HAyKrIr{Ir.

flocxolrxy Ea

nory'rena

r43

lrc_iv

a1

no

fI3, To oAHa r{3

ARyx

rlocJreAlrnx

$oprtryn,

AonycTI4l\I,

,Sft.,

uMeer

Bu[, ar-]

t8r.

r.Torga

ril{eeM: f

F s -+

(ri

-+

t$[) u

f F

a

-l

'8i.

IIo 81, f

F (z

-+

(r1

-+

rsr))

-+

((zr

+ *i)

-+

(z

-+

rp)J,

raK

KaK sra

$oprnryna

fln,'Iflercfl

aKcrrol{ol"I

I.2. Tor,qa

no caoftctny

83

uI{eeIlI'

'rro

I F (u

-r

oui)

-+

(z

-+

o*1), a 3aTe*t

f F 2t

-*

t8*-

LInpy rc1un 3aBeplrreHa.

II.

floxasaHo,

qro

f

F

q

*

*,'

,

fA€ B;

-

nrc6aa

Ns

$opuyn

BbrBoAa

c

r{3 l,a.

llpu i

:

?n

rrr,IeeN{:

f

F

q

-+

tg,r7

To

ECTb

f

l-

q

-+

c.

Teoperta.qoKi)3anir.

tr

V

{oxa:ra,ltnoc

y1

i}cpxl{(rrr,rc

no'lpa?r{}r([tr

ril,:irrano't'tx.lpcr.tctfi.

Ol(ttirxo.'Utn

rl.x.rpua,tt,trot-l

iilicHo\.{ilrlltttccr<or'ri

'r'coprru

'l

rrra, uc!rH(:.;r(lnr.rt

lit)rct<it:lt'lt;atttrti,

c't'1xr-

lo

ronopfl, 3'r'o

rrc la.K. Tcx.l1-rc-rra,

$olxtrurr,uor"r'r-coprln

-

s't'o

{xtprttultrlloc

ltPOt-

irox(crn{c (-r'o cc'lr,

dtopvy;ra!).trr,rr<a,

9'r'oii

r'ool)}tr.

rrrnljcl{cnrti}rt

n3 cc tlKcttotr

fU

".r"r6rtt,,:<

.,r)."

lii".,unn"u' Bn

=

8i

-J

lS* tI r. rI.

114

r:

Ilo\'lolltl)lo

ItllYll)cllllltx

llc,ttyK'tHtttlt'tx

(;J)cl\c'r'ri

-

ni)?r.3u-it

r1)glo.;\il.

fu|na.,rc,

rlt:-

op(Mu

6 )./tt:.M?.u,yt,up,il,o.ir,

tttttrytt]u

-

)It0

doKu:J,tl(r\tu&

(f)op,M,!).nu (ttarrltnr,rcp,

B

flc'|l.tcif

cilHil

t,r,rcKa,t]r>nJir,rrr.tri

.l.copor,loii

rBJtr{t't.L:fl

drr.l1_)l.lv;r;r

2l

_+

%).

)Lt ttcll.l>x;lcttt'ttt.

tt.t3lril,rtlroc

lcopcMor'i

-

(c/LVKrlrru,

nc

Hnillc'fc1

r.col)cr{or'i

rr oun-

cit,tlttoNt

llI'rltIc

ctu,rciro.

S't'o rrc()op"'it"u,nt;1u{r

v-l'trcpiK,,lclgcr

cdx)pi-r}'Jpri)ogil,11oc

llil, cc'lcc'l'llclllloM

ilSItKcr

'l'o

oCl't

t'tltt<)tllltt.r\1"

tro

o'r'uornclr14ro

K

d)opl.ra-;tr,rrot{v

t:ll,ll(,y

lCOIJlIl'1.

ll

/lOKit,3il'llllOC

llC

Il)"lCll

llOc'f])otlttt,tH

OOp}-ra";tr,llOr.O

tJt,lrjolll,.

il

(:

ltot'loIIlr'lo

"06r,1'tltt,tx"

pa,ct:)')tii (cttnti.

lIlrc;q"'roxtt:rrrrlirKol.o

1Hnil,

lJ

o'titr{itr{c

or'

'fcoJ)cr4

't'coi)r{H,

ilit,:lr'rrta,ro't'cn

A4(.nlurtunpeA4lr"^4lt.

Kpo\rc

.t.oopeMr,l

llcjlyr{qt{}1r

lrpr'{r'tcpa\.{r,r

\{c'fi}rcoper{

\1()r'y1'cjl}'xn'l'r,,

rril.npnr.rclj,

clroircl'llit

Br

-B+

(c.

105).

N,Ic'r'a'rcopcvil

-

:J'r'o

r(il,K

6r,r

"rrrcnltrcc"

.),1.rxl]r>xr{crrHe,

xa,prlKl.cpl,r3yrorrlec

.fc-

ol)nro

rr rlcjrr)\rl,

li

rrac.r.uoc,I.t{.

cc

ilel{.yr('l.r.rrrrr,rc

c])cllrlt.Bi-[.

Crlutlrvtrttoc't't' tlcox

r'{c'ltl'r'(-.ope\'I

(:oc'l'ill}Jrr{cr

Atc'rufrreoIltllo

ila,lutoii

,fco])HH.

B

noco6vs Itc

t]t,t/rl()irrtro'r'(:n

cr<.'r{Hi).;rr,no

\rcril,'rllopc\.rbr.

Iirl

rrx

()6o:rnzt.rcur.rt

H(:iloiL:l.yro'l(;tr

6oircC

ilpt4rirrrrur)rc

e;r<lna,:

"Ltx)1)cr,tir,",

"J.ro.vr,ril,',,

"c;tc,,1t:t.gur"-',,

I

riolt'lcKci'r'c:J't1)

lrc

ll0.;txur0

IIJ)l.trJ0.:lIt'l't,

K l().i101)a.tvl..tcttnart.

A

C.n"edcrn,eu,e

1. Ecnm

u

F

c, ro F

q

-+

a.

B

calrolr

AeJre,

rrycrb

z( F

c.

Tor4a

lro

cBoitcrBy

84,

I4B,z

F

c.

flo reoperre

AeAyKrruu,

I4B F

q

-+

c,

To

ec.rb F

q

-+

a.

D

C,nedcmeue

2.

Ecnu

211,e12,. .

.,2r?r i-

c, To

F

z1

-+

(a,

-+

(.

..(oq,_,

4

(q,,

-+

a)) ...))

!,oxaaare"nbcrBo

3aKJrror{aercfl

B rrpr4\reHeHrrrr

("

*

1)

pa3

Teo-

pelrbr

Ae.AyKrlrrr{

tr

oAlrH

pa3

-

cJreAcTBHr

1.

n

flpr.lrreuenrae

reoJ)eNrbr

AeAyKrtrrruT

r{

cJTeACTBT{rl

us nee

qacro

<16-

.rlerqaer pelueHr.re

3aAarr

Ha BbrBoAr{r\rocrb

<popriry"rr.

flpranaep

ZL.l

forcaa&mb:

F

(r

-+

c)

-+

(u

-+

((s

+

r)

-+

c)).

1. Bna.ra.ne

HyNir{o

rroKa3i}Tb,

.rro

,]s

-+

c;

2(; 2t

-+

ts

F

a.

3ro

4oxasauo

B rrpur\repe,

17.2

(c.103)

nocrpoeHr{e\{

BbrBo/Ia.2

2. lloxaeauo,qro

TeopeN{br

AeAyKrIr{u,

,S

-+

C; A; et -+ rB

F

A.

flo

cneAcreurc

2 uz

F

(r

+

c)

-+

(z

-r

((s

-r

r)

-r

c)).

tr

t"\Ior^.-."

(rpcl.)

-

trpc"1lor

"o..." C-rono

"rrcrarcopr:lra.,'

Nroxrro rcpcBccrrr

r(an

o

'rcopcvax"

.

lC

.tocrrtrcrt,to

ro

trcpccrarronl(rr;lonvlrlcrnri'1.

r{To.

oqcnrrirrroj

tI(r(:vrllcc.fBorrrro

TCOp0rril.

t1;

flprnrrnep 2I.2

fiormsarnb:

s

-+

(r5

-+

c)

F

1. floxurert,

rrro

q

-f

(ls -+

a),

rs, 2t

F

'3-+(a-+a)

c.

l$r

A2

133

184

ls5

s

-+

(rB

-+

€

Aoryulenr.{e

2a

AorryuleHr4e

!3

-+

c lS1, l$2; ll3

t9

AonyilIeHHe

€ ls3, !$ai

fI3

2. lloxasaHo,

rrro

q

-f

(ls

+

c)

,

,s,

q

F

c. floreope\{eAeA}'K-

qut{

[oJ'ryqHM,

rrTo

S

-+

('3

*

O)

,

'3

F

2|

-+

€. CH0B& rro Tei)lx)Nri)

AeAyKru{lr,

q

-+

(rs

-+

c)

F

,s

-+

(?(

-+

c).

n

Peey.nsra:r,

fionyrreHHblfi

n uoc;re,4rlelu

ilprrlrel)e) r\Io)r\r{o

oc}rop-

r\{rrTE, cJre,Ayrou{rrM

o6pnsotr :

2r

-+

(rB

-)

a)

!s

-+

(s -+

a)

B nrore

BrI,qIrIu,

rrro

AoKzr3ano

npaeuJt"o ne.pecnteu,ollinr

n,octll.n,o?;:

.-

oAHO I'I3 IIpOTI3BO.qHbIX

[I)aBr{Jr Br,IBOAa.

'

Ana.nOrltqllo

JIoK?}:]r)IrJ(1}-

roTCfl lr

Apyrve

[por.r3BoAHbre frpi]B]rri]

BbrBoAa,

[pr{BeAerrrG,rc

B ira-

parpa$e

16.

V I\'l:r.r'cpna;t,

clll:tilttt,tii c'tctlpcttttri

ll()ltrriltr{u.

Huc(vl'(:?l,l.t(x)

tt(:r(x.lxr,;[-

c1'ltclltloc o'l'llolllcltHc t<

t]6t.x:ttoBallltt<-l

"()6t,l,tttt,tx"

ttilr'cMrlltlt'tocliilx

l)iI(:(r-v7ti,:t(\-

nr,rii. floxa,xc\,r

3io rra, nIJnMcpc

c.llr:74c'r'rrna 1.

Bcpttc,-rcn r(

npouccc)'/r()Kit:la-l'cirr,(:l'ril'lc\)l)clrnlr:

"ct:,iu

rr,

>

1r,

.rrt

b

< tt.."

Hyxrro

/loKa.:lixrr,

.y'l'rtepx(l(clnc

g

-+

B, t)(c 2t

:

"t

>

ll'

B:

"b

<

c".

Brrc-

c'r'ogTol'on:lyclonr{la>D(",ll,trrro:

o>/-r")

obtl(xhnncJr

b<c. (".X,ortir^rilrr,:

b

<

u").lIttl,l*lr-t

(:Jtolta,rll.t,

:l,i(cct'

il()Kil,:lr,rtil,etcn

'r'{1,

,1'11,

2t

F

tB,

a rroc.;lo

:)r1)t\)

r<tlx 6r,r

"zltt.rolutt-t;t'lt'tecxu"

j(cjrac'r'cfl

rtr'rrroj(tl6

rrclrrrrnr.r<:'r'u <]xt1-lrty;tt,r

2(

-+

2l

-

ll

tloitltotr{

coolrtc'r'c'l'r}}.rH

co clel(c'r't.txcrt 1. Oa,xllr,rccr(u.

cJtcllcftrHc

t rrlxtrrtr;rlc'r'c>r

uc:tlc,

rTlc ;tro6yro

'rco])cuy,

Ko'r'ol)yro \r())ilto

<.rlxl1r.rr.1';rnPorlit.rr,

rt rr4.,lc

rrl.nl.;rr-

l(altHH,'r'O CC'l'b lli), lt:llnKC

"cc-;tH...,'ft)...",l1oxit,:lt,lltiu()'r'

ril,iltt)-itOrt

c(-r'Jil,tiJl11)!t(iltrrrl

nt

y-c;roBux.

A

r^

1--,-(--13--'tr]

rr

E

-+

(rB

-+

rc)

F

rB

-+ (pl

*r

c) orrra,r;rrrrr,rrr,r

'

,a.LrcTrrM.

qro

sanHcH

g

-+

1g

-,r cr

il

4

-+

('5

-

I{ To )Kc. B

na.tr,rrcrirucu

6y7rcr,l 6ce cficrlnaJbrThrx ofoRopox

npnr{orrrrr, rfic rlropltr,r

:}aillr(:H.

,i

116

Izlrreer

rrecro

reope\{a,

o6parnaa

K Teopelre

AeAyKqrrrr:

Teoperra

2L.2

Ec.nt f F

s

-+

c1

,m,o

l,

s

F

c.

{oxasare.nbcrBo.

flvr;rr,f

Fq-+c;

uoBa:

f,% Fz-+a.

llt

82

; l,

tr

F

u,

.ror4a

noB3 :

l,

u

F

c.

n

Arra.;rorn'rgo

.i{oKirBE

IBarorcr

[peAJrox(eHr4g,

o6paunte

cJTeACTBI{-

ittt L

vr 2.

(].tt,t:dctneu,e

3.

|./-l,et2...,ll,,

F

c Tof.qa

I{

ToJIbKo

rorAa,

KorAa

Fa1

A2t2A...ng,r-+c.

{,rxtr,sr,rRaercs

Ha ocHoBirHr.IrI

c.rreAcTBrrg

2

'

o6paruofo

K rre^Iy)

irr

-

1) -

Kprrrrroro

rpr{rueHeHrdfl

npaB}r.rr

BbrBoAa

tICfI

n rlpll

u

:;irtrrc,rtrHlts

17..l.

T*ro1reu.,

AeAyKrlrrr{r

Bce c.rre.AcrBr.rs

}r3

nee

lr

o6par'L,re

[peAJro,

;,I(CHI{'

OCTAIOTCJg

CIPABEAJIIIBT,INIPI

(UUOr4tr

C HCKOTOPbII'II4

YTOIITIE-

rrr{xlrn)

e .nro60fi

sJre\reHTapHoii

reopr.ru

c cr{ctelroli

?f,Kcr{oNr,

coAep-

x<irrqerii

MB,

u npaBlr.rroNr

arrno4a

fI3.

9

22

Sxelrsa,.neurr{ocrb

<lroplryn

rrcrrr4cJrelrrrfl

B},rcKa3brsaHutt

oupe4e,re;E,ue

22.L

t\op.u,'y,nut

er

u

B 11a3b[6aMTrLCJr

JKauealxe?lTrl-

rlbt,.tt4,'u,

6't1,c^(,,Il,c,neH,,t1,1t"

sbLctiio,s,bteattu,ti,

ec,n,u

F (a

_+

r) n (r

_+

a)

tDopuy.n5r

(lr

-+

r)

A

(r -+

m)

NrolKHo

3alrrcarb

KaK

z

-

,s.

cutrno.n

"

-

"

,

fiprr]ieHgei\.Ir'I}i

e

sroNt

cl\{bICJIe,

He

tBJlgercg

CI4IUBO-

.rrorr

rr3blKa

paccrrirrpllBaelubrx

reopr.rri,

a

cJTy)KIrr

,Tl1rub

ycJIoBHbrI\I

('oIil);IIIICHIIeII.

flpnnrep

22.1

llo,nalrcervL,

umo

lfi

-

I :

lBr:

er-+{

aIV.2

t$z:

ti-+s

aIV.3

!31

:

2t

-

lt

tS1,

!82;

BK

lt7

C

uorrorqlro

oupeAeJlenr{s'

22'I

Ha

MHo)KecrBe

Bcex

droplryl

uc-

rlr{C.neHr{fl

BrrICKa3ErBanUft

SaAaercfl

HeKOTOpOe

6rlnapnOe

OTHOIile-

gne.

ono

rra

caN{orr

AeJre

fBnfleTcf

OTHOIIIeHIIeI'1

sKBI{BaIeHTHOCTII'

To

ecrb

p

e$

n

ercat

er[o,

c\'LJwJvLemPuLdtlo

u

nlp

aHsurrlu7Il'o'

!'oxa;xelr

erz

ceoifcrea.

1.

F

g

-

q.

oveell,qno,

TirK

KaK

I a

-+

2(;

Aailee

geitcreyet

npaBI'IJIO

BBeAeHI{fl

KOH'broHKqr{I{'

2.

g

-

*f

I

-

g.

3ro

ceoficirBo

JIefKo

AoKa3blBaercfl

c rlol{o-

IIIbIO

np aBITJT

RBeAeHI{fl

I'I

yA?}JreHI',I

f K

oH'broHKIIlI}I'

3.

%-

!3. 2j-CFg-C.

!8r

r!1

o

B3

2t

-

tB

/(o[yu]eHue

2l

-+

tB

l$1;

VK

tB

-

C

AorlytqeHr{e

ts

-+

c

ls3; VK

2t

->

€

a'2,E.a

llC

C

-'

ts

l$3'

VK

A-+q

!$1,VK

C

-+

2t

!86,

!S7;

fIC

2{

-

€

!35,

l8g,

BK

8q

8lt

ls6

87

l3g

139

Mo:Ntlo

TIOJIyIII{TI,

[poll3BoArroe

[paBI'{JIo

BbIBoAa'

(popN{arE'Ho

rro3BoJlfrolqee

3a\IeHJ{Tb

B

B}'IBOAaX

nro6yn

$oprlryly

Ha

efi

sKBI'IBa-

JIeI{THVIO.

3ro

rax

Ha3blBael\{o

e

npasu'no

3KaLlaarleHmHocm'u

(nO):

ltr:ltt-i9

il

u(212)

P acclrorpraru

HeKOTOpbre

rrptrruepbr

rrplIIueHeHI4rI

IIp aBIlJIa

sKBlI-

BaJreHTHocrn.

flpn

3To\'I

AoKalKeNI

HecKoJIbKo

I'IHTepecusrx

cfop-

T,IYI:

118

flpnrvrep

22.2

ts

a -+

a

-

n

-+

zt

rsr

: (a

-+

r) -+ (A

-+

a)

r.zi

(e-+a)

-r(d-+E)

-]93:

2l-?/

84: (r

-+

a)

+

(z -+

r")

!9S:

!S-tS

rso : (r -+

a)

-+

(u -+

ll)

137:

2t-+t8-l$-+[

flpr.rmep

22.3 ts

F

-+

s

a IV.l

a IV.1

,rcrrrHHafl

$oplryrrzr

133,2s2;

fI9

Ircrr{Hnaff

$oprury.na

!S5,8a;

fI3

231,

56; BK

131

A2

133

A4

135

a

I\,'.1

HcrlrHrrafl

$op

r'ryn.1

ls2,

a1; fI3

rrcrr{HHa{

$opnry.na

Aa, !s3;

fI3

flprt

wep22.4FlsAE-F

ii I.1

a IV.1

!31,l32;

fIC

rj; IiCfI

IrcrlrHHar

cf

oprrry.na

lSa,

l35;

BK

Jlerxo

Br4Aerb,

rrro

rloc.rleAoBa,TeJrbHocrr,

$opnryn

E.t_Bq

[peA-

craB.rrser

co60ri

AoKa3areJrbcr:no rloprrryirbl

t$4.

Telr

calrr,rlr

Ilonyr-

Ho

ycTilrroB.ireHo,

trTo

F

'3

A

E

-+

F.

(a-+r)+(F-+d)

?xN'I,

(a-+")

+(F-+u)

E-+T

F

-+s

ts-+(T-+ls)

(7

-+

r)

-+

(B -)

F)

r$

-+

(tr'-+

J7)

rs

A

tr.-+ F

F-+lsAE

'sA'B-F

131

132

233

B4

135

2$6

ll9

flpuvrep

22.5

t sY

A

2t-+2-v'J

(u-+nvu)

-+(qvE-+tr)

nVE

-+

{

?t-+9lv2l

(A

-+

2r v{)

-+

(s

vIt

--} tr)

2t-21

(Qr+sv?t) -+(2tvg

+s)

2Iv2t-+a

(2I

vE)

-+

z)

-+

((ttE

'-r

{)

-+ (?t

v ta

-+

s

^

q))

(a

v fl

-+ tr)

-+ (zvIi

-+

snli))

2tv 2t

4

2t Au

gAzt-+F

'Iv%-+

!

(av{-+F)

+

(7-+zv{)

T -+uv9,-

2tvIr-?rv2(

T

-+

ry-vil

T

?Jvry

lr

IiI.1

a, IV.1

tBr,t$.:;

flil

n

IlI.2

il l\/.1

r'rc'r'. <ll<-lprt.

!36, lS5: fi3

!S1. !$7; [13

a, Il.l

l3s,13r:

[[iJ

!8rq,

!S;l; IIil

l.rt:r'.

<|x.rprt.

!)311,2)12:

fl('

l IV.1

!31;,812: fll}

r'rt:'r'.

<lrt-rp:.r.

816,

!315: [l

J

rrr:'r'. tix4lir.

!81s,

!317: [[13

3alterr.rlr,

rITo

KalKAag

I43

AoK?r3irHIII)rx

B

IJToLI nirltarltrrclrt:

<|lo1r-

r\IyJI rlpeAcTaBirfieT

$oplra"illuo

:lilrll{calrnr'rr'l

gaxou

JIoTIIKI{, lI\Ie-

rur4uft

ruecro

B a.Ilre6pe

BblcKa3blBanurl.

Tax,

B nepBol\{ [l)rl\Iepe

JIoKa3aH

3aKoH

4noiinoro

orprrqtrnrrfl;

B rIpeArIoc.IreAIIelvI

-

llil,Koll

flpoTllBopeqfifl;

B rIocJIeAHeNI

-

3irKOH

I4CK.IIIOIIeHITOIO

TpeTber0.

Boo6rqe,

ann,apurn

ucvuc.ne?"ttn

(tblc?i,(r3'bt,6aHuri

n'o3IoJrfi,ent,

(hop-

AuAJI',t)llO

nbLlecmu

ace

pasH'ocu.nbTtocm.u

rt'Lt,ze6put,

6btnna3bl6alt,'tt,'t'l,-

9to

6y4et

AoKa3aHo

HI,Ix(e.

Пайсон Б.Д. Математическая логика

Подождите немного. Документ загружается.