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

J+

ffpurraep

9.2 Qopn,yrLa^4,'u,

c'trzHamytr)bL

o

:

(

o;

fl');

pl'', pl')l

na.n.fl,tom,c.n,

Ha,nplrrdep,

c./Loaa (Yn)(f (r,a)

:

,), (Vr)(3y)P2(y,r),

(1y)

(v

z)

(

P1 (a,

")

n

6=4)

C,noea

(1

:

0),

(,

--

y),

((("

+

y)

:

0) n

(("

.

y)

< 0)),

(Vr)(((r

+

y)

:

0)

-+

(lz)(

z

<

y))

n6rl.ruomc.tr

gop*ry.na*tu

cuz?ta-

TnAPbI o

:

(0.1;

1(2),

'(2)'

<(2)).

He ae",r"aetnca rfiop,uynori

ctr,oeo (Vr)((12)(y

<

z)

-+

(z

:

:r)),

nocKoJt"brtll

z daem,

KonJtuslrro

nepeu4eulrblr.

Ha npaxnaKe

rrpn 3arrr4clr

$opl,ry"n

qacro

ofiycKarorcfl

BHerrrHr4e

cxo6rlr; [pnMegflercff

Tor )Ke

fiopflllox

4eficrnnft,r{To

rr n

a-nre6pe

BbICKa3bIB?rnnft ($

2). Kporrre roro.

cqr4Trlercs)

r{To

KBar{Topbr

cBfl-

3F,IRi}K)T

Cr{JrbHee,

qeIU

KOH.L,X)IIKUI1fl,

A}I3.bIOHKqIIfl

II IINIIIJILIKIIqUS.

s

Q6,'1gpx<a;r'(.r.ilr,ill,l\l a,ltiulol'oIillol)ua,

rttr.;r2(.)'rcu

cu'pu:)t(:enrr(.

\itllilxttlllrrtr-r

tlt:tl6t'ttttocfl,to

ttt,t1-lil;t<cttt'nYt rrJirrcl(:r

lo.

ruo

Itpr.r Ilrltt'r'iur(Jur(c :;,irc\lcrlon

1g-

lio'loJ)ol'o I{rloxicc'l l}il,

lJllcgfo IIL'pc\rclrilr,tx

H I}tnilo";iltcilHh

lt(icx

vtiil,:Ji}lilil,Ix

.,\ct"{-

c luuii ttt.r;lv,trtc'tcx

'lxlJ1JJlunlazr

(:;na.lcrrr.rc

ntlll)a,).I(clrtta),

'r'r-l

cc'r'r,

orrlreulc;tcrrrrr,rir

t;6'r,crit.

rfit,nprrr{cp,'rr.rc;ro.

f,Ill,rvr.r c,;ror}il,l{Hr'tr:1-lr.r (rr,r1ra;,ricrrrc)

3,to o6rre.7nt,-

rna rfop.r,r,u.

Co4cpxille;rr,rrr,rri a,rra;ror' <!o1r-r.r.1'.;rr,r

-

nltc0Ltouu:?r?rc,

Ko'r'opoc

npn

:lil.rrcrrlc-

Ill'lh llCI)C14Clllll'lX

HX

:lllil,tlClliltllt{

Cj'lil,llOIlll'l

C1r

}l(:'fllllltlt)l

ltillt

";lOXIlt

lxI

Ill,l(:Kil-

rll,tl!?llr14cll

"o

trt,tpzl,>xelililtx". Tiltr.rtr

o(tlrrllolr, lr

ourrilrUc o'l

'lcJ)1.{it!

<.}oplr5';11

(rr1xr,'1;rorr<cll.rr:)

-

:t'ro

6'bt,cl&:JL,t,6o'ntc.,tt,tuta

(i4nul,,

\

Ta,xralr o6pa:olr, nocrpoeu

tfoTttv,anu'n'atttr

A,ar*n

1 noytadna.

V

J{t}trrl<.lc

ll:}:ltJil,llHC

(;l}tl:Jil,ll()

c ol

IiiIIlr'l'lCIltlOLl

lli\ r(ttil,U'fOpr,r.

C0l'.;tttCilr) oillX)-

.;(o.jt(.rrt{ro

dlolrray;tt,t,

rilJ?rn'lopr].rrl

eltl:lt,lnil,lolcH'l'().;u)tio

c}rtIt()"rl}t

Itcpc\{clul,rx,

ItO It(l Clr't:ll,ltlill0lCtl

(;t'l\lll(J;tt,t

Ottci.littlttii tt

l)tlrotttCillrir.

B <fr4rrrn-;lr,rtrnX

N:Jl,tKa,x

6r.r-;r(x-.

rr,rct)xolo n(JI)n,,lriil,

/()lrvcr(irc'fcr

u

'l'ilKoc

rtphrrL.rclrnc

xrarr-r'op<)n.

-\

@oplra,rsubrit

q3brK

1 nopx4xa [pr{r\reurrru

npu

ilocrpoeur{r{ pa:]-

.nI4qI{bIX roruqecKltx

r{ r{arer{arl{qecKrlx

teoprafi,tax

KaK

ero cur-

HZlTypa

AolycKil,eT

pa3JrrrrrHble

Kor{KpeTHbIe

r{oTOJrKoBaHr{fl

-

r{rr-

Tepnperarlr4u

(no4po6nocrrr

-

B c.reAyrouleN{

rraparpa$e).

.flnuo

rrpuBeAeHlrbre [pirBrrJr tr c.nonoo6;ra3oB

arrHfl

ycTp

€l,r]fl ror rrefl

cHocft,

pr

.rlRyc\IbrcJreHHocrb

B

nocrpoeHlrr4

TepN{oB u

$oplty"u,

o6ecne-lu-

ezrt{ Heo6xoAI{I\,IbIe

B lrIa,Teiuarr{Ke H JIofIltKCl

roLlHocl,b

fl:lblKa,

rr or-

HO3Hi}TTHOCTb

ETO

IOHIII\'IAHIIfl

,

ii:

5

10

Cel,ranrnxtr

cleqr{aJIbITEIX

rI Jlorl{qecKr{x

crI[{EO.[oil

droplra,rr'uoro

r3blKa

I

nopagxa

Oco6enuocrr,

$oprltarblrofo

fl3blKa

cocrour B Totvl)

'ITO

(tlr\tBo.;tlI

ero

alcfarura

rloryr 6E'ttI'

a6c'rpaKTlrtlh{I{

:JIIaKal{}r) Ilc I{\'{eloIrU.I-

MI4

Cpa3y 3i:IAaHrlOfO

KOITKI)erIIO|O

CI\'IEIC.rra,.

flO3rOlty BOIIIIIIKI),OT

ljtl-

/{aqa.co,qep)Kare.rrbHofo

HC'r'oJlKolliult{9

c.;InD

rllopltlt.rnttt)fo s:il,llia.

HHaare

loBopg,3aAaI{Lrf

ero ce,MaHrrLu?cu

("cr:rtiltttttt<a."

lJ'r'o

(iur,r(;.;r()lil'l

(j'ropouir,r:f

Ln{il,) o r' r'pc,r. sr:r ttarrtikos

-

"

o6ortua,'

tit.tLlr rlr,r ii"

).

flpexge

Bcefo

nocrtrBireHHat{ 3aAarrz'1.

Kilc:rercf crICI{IIi-r,.IIlHbIX

clrr{BoJroB.

A6cTpaxrrrbrr"l

xap:}KTep 3TI,rx

CI,I\IROJTOR rIO3B(J.lrtreT

IIc-

'roJIKOBL,rRaTb

LrX nO-pi)3HO1\{y,

B 3I),BIICIII\IOCTII

OT KOI{Kp€THOI-I

('If-

Tyaqrru.

Tax,

uanplrNlep, cuI\IBO.[

orlepir,I\uv

f(2)

]\I())Kcir 6r'trr' rrt:-

TO.rrKOBirrr

KaK 3HaK Onepaqrru

c.IIo)KeHll'1

rluce.rl)

.nr.r(lti c;roxicrrt.rg

l)eKTOpOBr

Jrn6O

yNIHO)KeHrrfl

rrr{Cer

H.[n

N{arpl,Iq,

.,'1116(),

cKti)K(]I\I.

KOl\,Irro3r4rlrrrr

feorlrerprrqecKux

upeo6pa:or:?IHrrti. Ct.rrrRo.n Brr.rle.[(]E-

IIOrO

SJIe\{eHTa f})

B CBOrc OqepeAb,

I\rOiKeT rro.[.y1lr1Tb.

AOny(;TIr\[.

(:MbrcJr

0,

r.r.rlr 1

(unn

.[ro6ofo

Apyroro

rrno.[ir)i

I{yJIeBc)i'o ReK'ropi).

TO)KAECTBCHHO|O

NPEO6PA3OBAHIIfl

II'I.N.

Paccl.torpn\'I

HeKoropLIri

c[]IcoK

crleqrltulbrIIrIX ctrIr\IBo.[()Ii,

('o-

6paunrrx

B

cr{rrrarypy

a:

(o1.o2...

.,a,,;

f["t', ;j"'',

....1"'), 1/"'t).

pJ""'.

...,r1"'-').

Co4ep;NareJrt,Hoe

l{cro.ilKoBrlI{LIe

crli\ rBo.rIOs

r-r:roti

cilf

Hi}TypI)l

(l);IK-

'nlIqeCKU

COCTOI/IT

B COOTI{€C€HI{Ir 3T[IX

CI,INIBO.IIOR O

FIeKOTOI)I)I^lIJ

KC)II-

l(l)eTHbI\ItI

O6t,eXralrU,

3:l.I\zIHHbII\lI{ Ha

KOHKI)eTIIOtrl lrtrCl;Nt:t;rre.

(l

NtaTer{aTllqecKoil

ToqKu

3peHIIfl

perrb

r{A€)T o IIcKoTopolvl IlI{T,eK'lIlB-

ltotu cooTBeilcrnultl

), conoctirB.ilgloll{elu

Ka,)KAo\ry

(]rr\IRo.il\r

lll)r-

/I().[eIIHOTO

3.]IeIIeHTa

ai, m3 Curl{aTypbl

.r

KOHKpeTIIbII"I

3.IIe\ICIIT

ilcKoroporo

rrrnox<ecrea ,L/; cu\{Bo"IIy

"f)"''

ot"lroqlllr

Il3

o

--KOII-

Kl)erHyro

olepaqrrTo Toft

)Ke N{ecrrrocrl{, 3aAaIIIIyrO

rrir NtI{())KecrRe)

M;

npe4lrxaTHor-r5l

crrrrBoJry

P,!."") tt=

rr

-

KoHKl)err{oc orrrolrlc}Il.Ie

't'<1fi

n<e \{ecrrlocrr{, 3aAarlHoe

IIa, \IIIO)Ke(\r,t', IVI

.

't'o

ccrr,

pil.l"'rlrqtlt,Irl

ctfr{Bo.trarr{

cotrocritl}.;I)rIot(rH

Pil

J,rIIqrIIJo

tt6r'oxrtr

-16

flpunrep

8.L

Ha A4,IloutecTnle R u,w,ee,*t:

a)

[(Vr)((r

-

1)

(:r

*

1)

:

:t2

-

I)]

:u,

TnaK KaK

paeeHcm,so

(;r-1)'(r+1)

:tr2--7

ucmumuo

npuBCer

r

€

R

(e

ca*rou)en'e,

(;r

-

1)

.

(r*

I)

:

12

-

r

*

:r

-

I

:

r'

-

t),

6)

l(Vr)(r2-3:r12:

0)]

:vi,

maK: rco;tr;

paseHcmoo

4r2

-3r+2

:

0

ucmuH,rlo ?te npu aceJJ r

€R

(.,noucno,rr,anpuJvrep,

ntrtu r

:3;)

e)

l(1r)(r2

-3r*2:

0)]

:

rt,

'nLaK

Ka'K

c'g'ulecrrl6'lJtoTn,

rrlarcIr.e 31da-

'\LeHu,,fl

:r

€

IR,

npu

Korrlop'bt'J;

[)eeerlcrnuo

n2

-

3r

12

:0

ucmttttuo

(uanpu"uep,

r:2;)

z)

l(1r)(r2

-

3r

*

4

:0)] :

r, m,aK K&K

He clJr4ecm7yem magur

:r;

€

1R, npu Kom,opblrucrnu?7tro

paaeHcm,ao

r'2

-3r*4:

0

()a,n'nafi

neadpamnw,ti

mperu,rt,eH u"Meern om4)uup?nettauutti

ducxplu"vltuau,m).

3aue.larrrre 8.7 Oco6o

o6parrtu,u, nHu.M,auue Ha m,e

cJlyuo,u, xozda

BbttKosbtnaHun

(V.r)P(:r)

u

(3r)

P(r),nouttrbl.

Tom,

$arcm.

4tm,o

[(V:r)P(;r)]

:rL1

BoBce H,e oaHaldaem,

urno P(r)

rl,Oa)tc?lo TLp'lI 6cer artayet-tuar rl.

(m,arc,

6

npu"Me[)e

8.1(6)

p&aeHc?tle,o

12

-

3r*2:0

ucrn'unno npu

r

:

I u"qu r

:2).

[(:r)n(r)l

:,/t,

rLe

osl7e,lnnm,,

\LTn'o

Gcezo rlu,ub cyut,ecTne'aeTn

maKoe s?7a4!.eH11e

x;t

'n'prr,

Korrlof)ohi, P(r)

"notrc.no!

(pacc.u,ompe?r?roe s np'ul,reT)e 8.1(a)

I'blcrca3bLaa?tue

ucTrlu?rno Hec.hdo-

m,p.n, Ha rlo, HTno

p&Gerrcmso :rt

*

3r

*

2

:0

not*to nytu

:r

:

3.

)

3n

axeu,ue

".nocrc'rt"

6 ablc?calbLaaHu'u c ltsaHmopor\,r, onposepzae'nl

./IU'U,b

m,Ot

v,mo AbLp&)lt€HO CA,M'lI.^,'t, KA&Hm,OpOJvt, m,O ecmb

mO.nbKA

c.no6a

"d.na

BCer

r:...t' u.nu

"cyuqecrnc3leTn

:t: m,arc,ori, H,Tno..."

flycm

renepE, 3ilAaH

AByrvrecrnrrrfi

npe4nxtrr r

<

y

Ha r\,rHolKe-

crBe

R. Tor4a npeA.IIo;KeHvx

(Y:r)(:r

<

y)

v

(lr)((r

<

y)

ecu

oAHOIUeCTlrr,Ie

[pe.,4AKaTbI,

He

3aBr{Cfltrlue OT nepe}IeHIrbIX, lrprl KO-

Topbrx lrrrerorcfl

Kr]i]HTopbr

(nponeputr'

caNlocrosre.nr'no) . flpe.4no-

x(eHr{e

(Vr)(ly)(,

<

y)

-

onpe.r,eJrenHoe BbIcKa3bIBaHrre

(racruH-

ncre)

,

ne 3aBlrcfiutree

HrI or

iI)

j

:utr

or

y.

"t7

[na

ygo6crBa

B

Aa.[buellurerur

6y4elt lrtHofAa

crllrrz]TE oili)e.qe-

JIeHHOe BbrCKa3brBaHlle 0-lrecrnr,rlr

IIpe.llrIKtrro]I.

Boo6u1e,

flycrb

AaH

n-Iuecrustft

npe4lrxar P(r1,

:I;2,. . .

,.xp)

I{a

lvrHo)KecrBe M. B

peay"nnrare

cBs3bIBaHIrj{

?r

KBarrropavll4

(p

<

tr)

r.rs Hero iloryqaercs

(n

-

p)-rrecrnrrit

npe.ArlKtll'

(Qrr)(Qrz) . . .(Q")P(rtt'r2,.

.

,r,,,),

(1)

rge

{21

,22,...,2r,}

€.

{*t,*r,...,:L,,}i

(Qr)

-;ru6o

(Vz), .nlr5o

(32).

B aanncu

(1)

ra

qacrb,

x xoropoii

orrrocfl'rcfi KBaIrropLI) To

ccrb IrpeAlrxar P(r1, T2t.

. .,:r9r,), na3rtBaercl o6.nacm'ttto defi,cnt,au,a

rc,BaHTnopo+;

rrepeN,reHHbre

AeJrrrrcir

Ha

cB,flBaHHbLe

(xnarmoparru)

n

ceo6odnarc

(or

xna,Hropor)

.

flpurvtep

8.2

B nped",toucenur-t

(1:)(t:

i

'y

:

2z) o6nacnn, dcri'

cm61rfl,

Ks&rrm,opa

(1r)

-

nptedu,rcam,

:n'lu

:22

'

:r;

It'U

-

crxt(tod'

rtble nepel4eHvble; z

*

ca;BqllHan nepe.M,e?1,?Larl. ?ml

n,ped,nocrce?t,'u,c

-

dayu,ecm,uadi npedunam,, saeucau4ttt,

oIn,

It,epeh4erntbt,:t; :L

'tt,'u

'u,

'tt,(.

itaaucnu4Lrl-1 om,

nepeuuennoti z. Hn'np'u,u,ep,

tta .M,ILoilrcecnt,ce l\

rt,yttt,

x

:

17,

U

:3

[(]z)(:r

f-y

:22)l:y

(z

:10);

nqu r

:

17,

Y

:

4

[(]z)(r

*U

:22)l:,a.

Ilpedn"ocrcerute

(Yr)(Ja)Fr)@

*

y

:

2z),

I

Kortlopo^4 rtent, c6o-

6odnwr

nepelvt€,TLlt?ttz, irzJLnern,ca onpede"neHlL'bL.M lbLcaalbrcul{u,c.M,

(u,cmuttttut.t.t),

m,o ecrrtu

0-,uecrn,Hbt,u,

n,pedurcu,m,orvt,t H,e 3al'Lr,cnut;rtrA4,

HI;

orn odnoil us c6ou,r

Irel)eJvreHltbt,tL.

Boo6u1e,

eca,ttuti npedu,rcam, 3aau,curn

rlorlbvo

orn ceo6odubt,T

n,e-

perv,erTHbLr

(u, ne aaeucuTn otn c6fl3aH?{blr nepe,uetmam).

tr4usrlrlr

cJroBar\rr4) .M,ecrnrl,ocrnu npedttx;a,m,o, on,pe0e.naent,cfl,

\t.It,-

t:,n

oLrt ca o 6 odn'am nepeu,eHHblT.

V Crxr6r.,,'\tu,to

rl cr]rr:lil,nrir,rc lr{)p(}lronrtr,r(t

\roiriuo rri16;rro.,1a:r'r, n l},;lJ)vlux \r;r.-

'r(lr.{rr,'r'Htrccr'rx :lil,'r.lcrx.

T.x,

'

rr,rp.iri(irrril.t

Iiur,,

,*

(;

-,)

rcp('\ror'a,,

,

t'

t'tt.6or'1tta,a.

:I

?l

--

(:r]fl:lil,'ltil,r:

i),'il.il()l'il('t(r,

ltl.t(xr\t tr t',tl)il,)t(c',t.I

.f

{t)rt,

,urr-

fxyqlryro

Ilcl)cr{cnnJ-ro

:li 14 cr}r:Jilnnvro lrcl)(!\r.rrn'ro

l.

J

rr

*

3.3

V

13.

AHx, Bana,

f:r"rra rr

Aaurz)

3i)HrJIr{ rrepBbre

rrerbrpe

i\{ecra B

copeBHoBaHrrflx I]o fI{I{HacTrrKe,

I]puqeNl Hr{KaKIIe N{ecTa

He

Ae-

.rIrrJrI{cE,. Ha nonpoc,

KaKoe \{ecTo :ri)r{flJra Ka)KAafl rr3

AeBoYeK,

Tpr{ 3puTeJrfl

AaJru

rprr

pa3HErx

orBera:

1) AHx 3aHs.rla BTopoe

rrecro,

Aarili],

-

Tperbe;

2)

Ana salrr{.[a [epBoe N.I€]cro, B:r"'rs

-

BT'opoe;

3)

I'a.na 3aHsJril

BTopoe lrecro)

fl,arua

-

r{erBeproe.

Izlsnecrno,

r{To

B

Ka)KAo\'{

u:l

:irrrx

orBeroB

oAHo BbrcKa3brBir-

rrr{e

BepHo, a

/{pyfoe

r{eBeprro. Kzrxoe

\recTo

3i'l,Frs.[a Ka)KA,at

4enouxzl?

14. A4rr,ruurrcrtr)aqrrs

trropcKoro nopra I{3AaJra cJ-reAyrorrll{e

pacflo-

pfl)KeHrr.fl:

il,) ecJrrr

Ki),nr{TirH

rroJryrraer crrerlrla.irbr{oe

yKa3anue,

To

oH

Ao.[-

x(eH noKIIHyrh

nol)T Ha cBo('u t<opa6;re:

6) ecllr Karrr{Tar{

He noJryaracr crreqr.rairbHoro

yKa3aHrrfl,

To oH

Fre

.{o.[)KeH

[oKr{Aa'rb nopTil, ttJTI,I oH JII{uIaeTcS{ BlpeAb Bo:]-

ruo)KHocTrr

saxoAa B 3ToT lropT;

n) xanuran

H.irI{ ,rll{Ilrarcfl B[peAb

Bo3r\{o}Kuocrn:]axoAa

B

ifror

IropT,

rr.Ilpl He

rro.]ryqaeT cfrerura.[brrof o

yKa3aHr{q.

Kax

rnro>xno

ylpocrrlTl,

gry

olilcTer\ry

pac[opfl

xienurl?

15. flocrpofire

$oplryny

or rpex BbrcKa3brBirreJrbHbrx [epeNreu-

Hr,rx,,rr{eroulyrc

npu cTz}HAapT}roru

paclpeAeJ-IeH}II{

Ha6opoB

snaqeHnil

nep e \,r errrbrx c.rreAyxlrr1yro

ta6,rnqy ucrr{Hrlocrr.r

(ceepxy

nnr.rs)1:

it)

.n.n.n.nnnwu'.

6) .nu.nunvnv,,

r) unuuuu.nu;

A)

lrlr,'rn.nrur-rr.

l*,tt

t,". a. :lo

-

:J9

16. floctpofire

$oprryJry

or

rpex

BbrcKa,3trBareJrbnbrx rrepeNn)rr-

HbIX, ITpHHIIN{aIOU{yIo

SHarreHrre

"u"

Torga I{ ToJIbKo Tof.4a,} Ko-

I.4a

B

TOI{HOCTII

ABe

ee IIepehieI{H},Ie I]pIrtHIIN{aK)T 3Ha'{eHnt:

"U" .

17. Tlaftgure raKyro

$oprnry.ny

or rpex BbrcKa3brBarenl,Hbrx rrepe-

\,IeHHbIX, KOTOpafi BC€lrAa rrpUlIHIlraCT TO )Ke

3HatIeHI{e.

lrTO

rt

ee [epBafl rrepeilfeHrras.

18. Haitgure raKylo

$oprnry.ny

or

rpex

rlbr(:Kit,sbrB;l,Te.rrbr{brX

rrcpc-

NIeHHbIX, KOTOpag BCefAa IIpI{HI'IIIaeT'Ia,KOe X(e :Jrlaqel{r4()7

rrTO

n 6onr'urxncrBo ee

ueper{eHrrr,rx.

19. Haft4ure raKyro

Soprnry.ny

o:r rpex

rJbrcKa3brrJa'reJrbrrr,rx

repe-

l,IeHHbIX, Koropafl rlprrurr\Iuer

3narlelrrle

"ut'

Tot4il I{ ToiII)Ko

Tof.qa,

KOfAil, B TOTIIIOCTI{

ABe

ee nepCI\{eIiI{bIe npI,IHlII\{aIOT

3IIa-

-IeHtrIe

tt

J-I'7 .

20.

*

Hexufi

ocrpon

HaceJreH

)KrrleJrfl\rrr,

xaNi4rrfi

rr:l Koropblx Jrrr-

6o ecer4a

roBoprrr rrpirB,q,y?

ru6o

BcefAil .irxier

r{ Koropr,re

orBe-

a{alor

Ha Borlpocbl TOJII;KO

tt4at'

Ir.[u

t'Hert'.

K

ptrsnlr.nl(e

Aolx)f,

rI3 KoTopl,IX

OAHa BeAeT

B

CTOiII{qy

ocTpOBa, zI

Apyft}fl

TVAII

He nplaBo,q,ur) rroAxoArlT

lryrerxecrBetlr{r.rK. Huxaxux

3IraKoB.

yKa3brBarou{r{x,

KaKaf I{3

Aopor

riyAir

IleAeT, H:}

pi}3Bn.ilKc

IreT,

HO

TaI{ c?Or{T

lrectrtr,rii x{rrreJrb. Ktrxol:t

Borrpoc, [peAycr\r:rTJ)rr-

rroqltfi orBer

"

ga"

Lr.nrr

"

Hcr"

,

AoJI)Kerr

:laA:ITb erly rlyrerrro-

cTBeHHr.rK,

qto6u

onpe.qeJrrlTb,

KtlK?rfi

Aollofa

BeAeT

B CTO.I]IIIy

ocTpoBa?

Ey71cr,r

pa{:c\rirr'punillr,

gjrcrlr-pu,r{y:rtt,l(:

rlcru! ro(:ir)rlru.ro !r:} rion'li).r('r()rr.

1i'1x1.'p,rfi Korr-Ia,K'r' r{oxc'r' 6t,t

ll,

:;:rut<rr_v't

r,rrr

(u1x-rru.r.,1u

lr, r't-rN) ;r116o

lra

ro-

rrKrry'l'r,r\,r

(rrc

rrpouo;1n'tr,'r'ol<).

Bcr

rrcrrr, \lo;'ric'r'6l,r'n, ra,ri>xc:lil,rrrilrr.''roir

Hjrr

pzr3o*'rr{lry'tofi.

Ec;tu ofD:lrra,,rirll,

Korr'r'?r,r('n,r 6o;rt,rrntt.tn

irilil'uu(;rir\rr

6vruilttn,

coc11)tuttc rlcttlr

":lill.n<tty'tot'-

()vttttoi.t

"lr",

"iril:lovxttl"tri'-

6v-

KnoIl

"jr",'rn

-l(

n

)'. o,rcurr;pro. o:lrrir(lil.("r' n()c.;rcl[or]ax'eju)n(.x'.

(.:o{li{rnr(:nn(l

r(on'r'ilK'rour XV)'

-

Ilil,piurjrcjurrr{)c

(x)q\Hrcnr.ro

r(ou'lil,ri lorr.

X

-

rir'rrrrl,x'r.

:la,r'txrry'r'1,rfr

'l'ol)(rl

H l'oirr,K0

1'o|i{;l^ Kol)(i1,

J)il.:lo\lr(rr.v1'

rtorn'itt<'t

-Y.

n) ,r.nu"nruLr.n;

n

3.1

")

(AvB^C)^(B-+CAA);

,")

((B-+CY B)

-r

AAB)-+C;

1.

C$opnrynrapyfi:re

r{

AoKir)Kprre

ycrroBr.re

rox(AecrBennoft ucuru-

3)

(A

-+

B) n

(B

-+

C)

-+

(A

+ C);

7.

flpulrene-Hr4e Hoprv{:}JrbH},rx

Soprr $opr,ry;r

anre6pu

nr,rCXaAbrnattufi

Hocrrr sJrer\{euTapnor?

4nsrroHKrlrrrr.

2. C$opnry"rrrapyftre r{

AoKax(rrre

ycJroBr{e

ro)KAecrBenuoft norN-

H

ocrr{ SJIe\.{eHTapEoft

xontroHKql4u.

YNPA)KHEH'{fl

,r) B;

C;

D; B)

Xr; X2; X3 Xa

2.

Cocranrreta6nrqrr

r{cnrHHocrr{

gra

$opuyn:

a)

Tn,B-+An(B-+BAA);

6)

-Y

v

l-^

((X

-+

Z)

-+

YTZ);

n)

XnY

-+

Z;

r) X

-+ (Y -+

Z);

")

(AVB-+C)AB-+C;

")

(A

-+

B)

-+TA-(VC.

c) A-+((AvC)

A(BvC))

!I AABYA,\C;

rr)

(AvB)

A(BvC)A(Cvl)

,r

'4ABvBACvCntr,

rr)

(x -+Y)A(Y-+Z)n(Z

-+X)

-+,f

rr

)-vZv-f;

n)

.4

-+

(B

-+

C):

(A

-+

B)

-+

(A

+ C);

'')

((X

-+

Y)

-)

((X

+

lz)

-+ ;t))

+

-x

= X;

ir)

.Y

-+

(Y

-+

Z):Y

-+ (X

-+

Z).

5. Vrrll<lcutre

$optury.nr'r:

,,)

(/j-;Q) /\(QF),

6)

(P

-+

Q)

n

(Q

-+

P)

n

(;? + P);

r,)

lsvQ-+PV(PvQ-P);

3. C$oprtty.ilnpyitre

rr

AoKir)Kr{r'e

y(;JroBrre ro)KAecrBeHnoft racrlrrr-

i}. llpoeeltlre

paBHocII.IIbHocrr,

$oprr'ry.n:

Hocrx

$opr'ry.rrsi.

orr{rur{Te

zrJ'rfop}rrr\{ rpoBepl(Ir

$opnylsr

ul

a) A_+

(B

_+A\

H Av

(B

-+,4);

TO)KA€CTB€I{HyIO

IICTI{HHOCTI'.

-_-l

4"

c$oprurynzpyitre

rr

AoKa)iKrrre

yc.lroBr{e

ro)KAecrBesuofi.noN-

6)

xvY

-+

x nY

'r

X AY;

Hocrr{

Sopr,ry"nrt,

ornulr{Te

aJ-rroplrrr\I upoBepKr.I

$opr,rynu

na

n)

B v C

-+

A

v

(13

-+;{)

A

(Cr

-+

A);

TO;IKAeCTBC HHyKr JIO X{rrO<'rr,

(

USt nO.A trn rrtOCrl

)

. TnY

AzvY

Az;

r)

XnYAZ

tr )

5. Our.nur.nenprrer,rbrnocrpoeuprr{$oprtry"rrno3aAaHFroftra6.nrrlc

,r)

f-+TVXVy

\r XAy-,

(}'-X);

r4cTrrHHocTII, frpl{Be.Ar{Te IIp]I]IepbI

1.

Onpe.4e.nrrreqr{c.rocrpoKnra6;ruqerrcrl{HHocrlrI{BbIrII.IrIur€

r)

(AVB)

A(AVC)

A

(BVC)-+

A

rr A-+

B nC

craH.r{aprHbre

pacflpeAeJ'r€lHr{f

u a6opoa sua.{elllIfi

4"ua

<f op

rry

Jrbr co cJrelLvrcur,rrr\{u BbrcKa3brBare.rrbHr,rrr}r

neperreHHbndrr:

'1.

Tloxarxlrre

c lroN{orqlro

upeo6pa;:oe;rtltrii:

r) X; Y; Z; P:

,q)

Xr;

Xz; Xt; e)

h;

Zz; Zt; Zq; Zs;

6) X

-+

(y

-+

Z):

X A\"

-' Z;

A)

A^B-+Av(BnA);

:12

B

OrrPOCbr 14

3AAAH I4tr

AII'{

CAN{OCTOfl TEJTbHOT4

PABOTL,i

1. Br,rcnagr'rBilHl{rl

rr

Jlolr.lqecKr{e

orrepaql.ll{

()nurun're

rtor{f

rrre BbrcKir3brBit

HIrf

,

yKA}KI{Te

ocHor]Hbre

3aKo-

I IbI

A.Irr1

RbICK

II3bIBaHI{I"I.

ila4aiite

c nor\rotrlr,rc

.

Ta6.iruu

I{crlrnHocrrr

.lrorlt.{ecKrre

onepa-

IIIIII "KoIIT,x)IIKr1trrfl",

"4I4irbIorIKr1rrfl"

,

uIrlrl.tlr.rKiulrlr{"

lt

ttorpu-

rulttile'.

2.

(Doplry;rr,r

anre6plr

BbicKa3brBilHr.rrl

()nlrurrmer

fiorrsrr.Ie

BbICK?]3bIBi]r€rrbHoii

ueper"reunorl.

(

)nlrunrre

troHrrrrrc

d-toprrry.ntr

a,rre6pr,r

Rt rcxast,re:rHtrrl.

.],airre

()rri)e;1e.ircHr.re

cltoirrrry"rr,r

ri,.;rre6psr

Br,rcKa3brBannli,

ltac-

x1roitre

cyulrro(;TL,

[HAyKTrTBrlr,rx

onpe4enerurfi

.

lVxa,xir.rler

iloprl.qoK

nr,rlo.ilrrenl{f

.ilorlrrrecKlrx

oncpaqr.rii

n

cfrop-

I IV.IIiIX

"

()nlrur'rre

[ocrpoeHne

ra6.nlrq

rrcrr{LrHocrr{

4.na

$oprryl

a.nre-

61 rr,r

nlrcxzr:lsrnanuft

.

JoxiuNr.ne,

.uo

rtr6.nrlq:)

r{crr.ruHocrr.r

t{Jrs

dtoprly"nrr

c n, Bbr-

(

iKaI3LIBil,Te.[bHITItrIII

fIepeIIeHI]bIl\I

II II\IeeT

2,,

Cf

lf

OX.

()r

rnunue

nocrpocurre

ora,rr.rlilprlrof

o

paclpeAe,TeHr.rfl

ua6opon

:;llil.reHut'r

BbrcKit3brrji)Te.rrbl{brx

flepc]\reHr{Elx;

rpuBeAr.TTe

rrpr{-

] rel )bl

.

;{aiire

orrJ)erc.rrerrrre

'ro),r(reorBenHo

rrcrrrHr{ofi.

To)K.rlecrBer{rro

.ir ox<rroii,

Bbrrro.ilrrrlruol:r

<f oprry.u.

3. PannocrrJTbno(;Tr,

droprrry.n.

3trxorrlr .rrorrrKrr

J,;u:tre

oilpeAeJrerrr.re

p?lBrrocr{.rrr,nrix

r}oprrryr

anre6pEr

BErcKa-

:rr,rRalrlrr"r,

yKax(r,ITe

trroco6

npoBel)Krr paBHo(:I{JIbnoCrn

$opr-

xry.n.

(,'ciroprtry.ruupviiTe

rr

AoKir)Krrre

reop€Ary

o Kor{rrronKqtriT,

Arr:lb-

IOIIKIII.III.

IITIIT.]]I,IKIII{IITI

II OTPIIUUIHI,IU

PiIBHOCI'.IIIIHbIX

C}OPrrrY.N.

33

flpnre4ure

I.I

AoKa)KI{Te

ocHoBHbIe

3aKoHI)I

JIorI{Kr{'

pacKpoifTe

ct\{blc.[

uan60lee

tsa)KHbIX

3UIKOITOB.

florax<ure

npxN{eHenl{e

3aKoIIoB

JIorI{K}I

n npeo6pasoBarll{fix

clopnry,r.

Onnurure

rIoJIHbIe

cllcrerlbr

iloruqecKl4x

olepaqfifi

u o6ocnyii-

TE

IIX IIOJ'II{OTY,

NPITREAI4TC

IIPI{IIEPbI

HCNOJIHbIX

CI{CTENI

OilEPiI,-

qnft.

4. 3arion trBoft

crBeHHocrI'I

Ourrmnre .[Boftc'rBen]rble

JrorrrqecKrre

o[epaqlrrr.

!,aiire

olpeAeJIeHI{e

ABoftctBenur'tx

<fopr'tyJr

Ir

pacKpofiTe

efo

CI\{EIC]JT.

C$oprrrynupyl:ite

I{

AOKa>Kure

reope\Iy

o

cBfl3l{

orpl{Ilan}Is

r,r

4rOitcrneHHoit

rfoprrltyJrbr,

orurrrr{Te

C\{bIC-rI

AOKa3aTe.IIbcTBl

uH4yxqrteii

no

rocrpoeHllro

o6T,eKra

(cfoprrry;rsr);

npranegure

fiprrrrepEr

npuN{eHeHr{f

sToit

TeOpe\IbI.

C$opr,rynnpyrtre

r

lloKax(HTe

3ar(oH

ABoft

crBeHHocrrr'

5.

Perynaltnndi

nu4

$oplryn

alre6plt

Br,ICKa3bIBaIrnft

1. onranure

pery.irfl

pHr,re

droprry.nr,r

anre6plr

BL,rcKa3brBaHufi ,

o6'l-

flCIII{TC,

I{TO

SHII'IIIT

IPITBCCTI-{

I}OPITY.NY

K

PCTVJIflPIIOI\IY

BIIAY'

2.

C$oprry;rHpyitre

u

AoKa)KLrre

reopcll\fy

o

rplrBeAenurl

cfoprt'ry-

nbl K

pefyJlflpHo\Iy

BI{Ay,

IrpxBeArrTe

[pr{\IepE'r'

6.

Hoplra.nr'nsle

$opnu

$opr'ry,r

a.nre6pr,r

BbICKa3bIBaHI{iI

1.

flaiire

oIrpeLeJIeIIIle

sJle\.IelrrapHofi

KoH'broHKrlHrr

H

3JTeMeH-

rapHoii

AI{3'broHKIlrru,

npllBeArrTe

rlprl

\{e

pbl.

2.

lafir

e olpeAe.rrerrr4e

KOH.b

rorrKrus

H

Or'lt

I4

AlI3'L'IoHKtraenOft

uop-

r{a.rrbHbrx

$oprti

Sopltylr't.

3.

llor<ilrxrare

Ha

rrpr.rNrepe

r{

ofitrurrrre

i).[roplrTrvrbt

fipr.rBe.{eHllfl

$oprrymrxKH(DnAH(D.

1.

'2

tl.

1.

2.

J.

I.

2.

')

,.

5.

(i.

lt.

8.

4.

1.

90

fJIA

BA

I II.

O

OPMAJ-I

bH

L,I

E

AKCI,IO

MATUr{

ECKI4tr

TEOP14I{

ocuon

noe

coAep)K,,Hrre

npeAbr/Lvrqeii

r.naru

cocraBJrs

Jro y

r{eHr{e

o6 racr:unnocrra

$oprvry,r

(npe4nox<envfr

trer<oroporo

$opuarsaoro

asuxa)

.

flplr

srolr

He

craBrr.[cfi

Bolpo(,,

KaKr4r\{

o6paeou ycraHa_

BJIIIBI.IeTCg

IICTI{HHOCTb

TOIO

UJII{

I{HO|

O

[peAJIOX(eHIrfl

.

Mex/qr

rer{

)

Iicr,HHocrt,

r\rarer\{il,Tl4trecKr4x

yrBepx(AeH

utt

y

cta_

HilB.rlraBaercfi

c noN,rourtw

dorcaaam,enbcrnaa.

fonopat,

qlno

N{are-

\{arr.Irrecxrre

reopr{r4

sBJrflrorcr

dedynmu,ennt",n,tu

(or

na,r.

deductic

-

BblBe.reHre)

n

ronr

cNIr'IC.[e,

.rlo

cfaxtu]

Koropbre

nprBHalorcfl

B

3TI.rx

reopl4flx

lrcrr{HHEINII{,

BbIBoAflTCt

c Ilorrotr{blo

JlornyecKrrx

paccy)(AeH[ft

Ue

nexoropr,rx

r4cxoAHbrx

[pe.qJro)KeHUfi

-

axcvor,r

re-

opuu.

Hactorrq:rx

rJraBa

nocBfrtrIe'a

ugyrrenurc

florlrrr{r

t'

goKa3arers-

crno" ("nolrr'ecxuli

Br,rno4t')

n

nexoropr,lx

o6n1ux

nprrHrllrnoB

rro-

cTpoenrrg

AeAyKTIaBHnrx

reopufi

B \{are\r:rrl4Ke

n

J.Iorr{Ke.

5

15

Kax

4oxasbrBarorcs

reoperru?

Bsaqale paccN{olpr.rl\{

ABi)

[ptrNrepa.

flpzuep

15.L

forco,JtceJvt,

v,no

ca^4,it,a

c.^A€ctcrtrbL'

yzllo'

paeua

LB}r'.

()

[aao:

zBAD

n

zDAC

-

crue)KHbre.

!,oxasam:

zBAD

I

zDAC:

l80..

A

B

91

.{,oxasatenrcrno.l

flycm

zBAD

n zDAC

-

cMex(I{ble,

rorAa

IAB)

u

IAC)

-

.qorroJIHETeJIbHbre

Jryqr;

orcro.4a

zBAC

-

pasBepl{yrltii. flo:.ltoi'lY

[AD)

nex<ur

NIe)KAy cropoHalv{rr

AB

u AC

yrna

BAC. flo

art;llot'tt-:

rr3MepeHr{s

yrrroB,

IBAD

*

zDAC

:

LBAC.

Vron

BAC

-

pa3Beplrvtstil; no aKcuolue

u3l\Iepeuufl

yr.noB

I{\le-

eM:

zBAC:

180o. Otcro4a

zBAD

*

zDAC

:

180o.

u

!,anuoe

?qoKa3arenbcrBo

N{o)Kno

3arll{cirrb

B BIr"iIe

[ocJleAoBir-

TeJrbnocrrir

yrBepx(Aeulrfi,

npuno4s

o6ocnoear{He

Kax(Aoro

pr3

IIrIx:

L:

zBAD

u zDAC -

cN{e)'KHr,Ie

Yc-rIoBIre

2:

IAB)

xlAC)

-

Aorofl.

ryqr

r-rs

{l)

H onp. crIerK.

vrrtorJ

3:

zBAC

-

pasnepnyruft

u's

(2) !r orp.

pirsBep.

yf.rrir

4:

[AD)

npox.

Iuex(. crop.

zBAC

r.rs

(3)

tt

ceof,tcrea

pi]3n.

yf.

5:

zBAD

*

zDAC

:<

BAC

ns

(4)

I{ aKC. tr3lu.

yrrloB

6:

zBAC

:

180'

ua

(3)

II aKc.

I'r3I\1.

yr.noB

7:

zBAD

*

zDAC:

180"

ns

(5),(6)

rI cB.

paBeIIcrBiL

flplrrvrep

L5.2

/l

orcacrce

*t ca oticrn+

o

^t"t

t

c

JLo abllr n

ep Q'6 eHcrna

:

EcLutalb,rn,ob<a.

!,ano:

a

)

b.

,il,oxaezrrb:

b <

a.

!,oxasa:renbcrBo.

flyctr

a

)

b,

TorAa, lro

otlpeAe.leHrll))

a-h

>

0. Orcro4a

IrrIec\I,

ur:o -(a-

b)

<

0.

Tar<

xax -(a-

b)

:

l, - u7 To

h -

a < O

Cne4onareJrbxo?

ilo

onpe,q,eJleur'Iro,

b

<

o,.

n

3anuureu

H aro

AoKa3areJIL,crBo

KtlK

e npultepe

15.1:

tBcc

cnc,rcrrsx tr3

l;Ilioirr,Iroro

Kypca

fcor\lcrplrlr

npln]o.;lqrcrr:.i,;l(clr

no rqcfittoltv

tl(x:t)fittttr

A.B.

Ilonopc",rr:na

"fcotulcrpux

7-11".-

flpocncnttrrrlc'

trf

.:

2000'

92

1: a,)b

2'. a,-b>0

3:

-(a-

t)< 0

4:

-(,r-h):h-o,

5:

h-a<0

6:

h<o,

yc.rroBr{e

us(1)nonpeg.a>b

n:l (2) n csoftcrna

nporlrBorl

qlrceJl

rrp?IB.pacK.cxo6ox

ns

(3), (4)

u cnoficrBa

paBeHCrBa

rrs(5) uonpe4.b<a

Hcr;rror:px Hi]

I)a3J'rI{rIHoe

coAep)Kr}Hile

reope}I,

ilpoqecc

AoKa-

'r:lte.rtbcrB?)

n o6oltx cJlyrraflx

ll\Ieer o6rqne

qeI)Tl'I.

flo

cStrqectny,

rlBel)N(/{errrre.

Ko:r'ol)oe rpe6yel'rcfl

AoKa,3ilTIr

,

artBodu'rncfr,

c noJvto-

u.r.tito .ttc?ullect'Ir:n paccgucdcntftt

uz roro,

tITo

Aa,rlor

Ir

Apyrl{x

I{3-

Dc(ilrrr,rx

drerxron:

i)Kcrlor\r)

l)aHee

rT,oKtt3ilnnblx

reopelr, otlpeAeJle-

uuir.

3ro BrrArro

[pII

:]irnn(;]I

AoKr]3i]'re.rlbcrB

"B

cro.n6ux"

c o6ocno-

lliiIIll()I\I.

fllx.rner4eunbre

AoKil3?'lTerbc'rB?r

npeACTaBfl fl rorca

y6e4ureJTbHbr-

rur

(oco6eHlro,

ecflrr Bbrrrlrcarb o6ocnosartIae KalKAoro ultrra) . llpu

rJ'ro\'r

\rbr

yBepeHbr,

lrTo

p?lccyx{I\eHrr.tr1

rrptr rTorroultr.KoTopbrx no-

.fl\r(ri]rorofl

oc:rtornoit rr npolue;KyrorrHEIe Br,IBoAbI, .floruqecKll

rrpa-

BIl.iIbI{bI,

Il LI:l

TOrO,

IITO

Ha\r

I{3BeCTHO,

B

CitN{Orr

AeJIe

CJIeAyeT

nO-

.rrv'rixjrrrbrit p(-r3y.lrbritr.

Tilxas

yBepennocrb

orpa)Krlercs B npou3-

IIoor.I\{bIx

B rlpoqecce

AoKt}3ar€1.[r,(jrBa

cJ.roBax:

"cJlegoBarerr,Ho...",

"

r)TCIO.r1a...

",

"

ro:)Ttllrly...tt

rI

I4tnI

nogo6urtx.

Ornaxo cr rorlKlr 3pellr'Ifl .rlofl{Krr

tto6nt.{tlblett

lrlarertarurrecKr{e

;.{r)Kil,i}ilT€.rlbcTBi}

fB.nflIoTcfl HeIIoJIHlrlrn. B caL{o\t

,I{eJIe)

i\IbI,

Ha-

rrprr\repl

(irllrrae\r,

rrro

a

-b

> 0

qengercg

cJIeACTBLIe[{

ycJIOBrIfl

rt.

)

b u olpeAeJrer{Hfl:

"ec.[u

o, >

b,

To a

-

b

> 0"

;

r{HTy}rrr{BHo r\rbr

rtorrr.rrrae\I.

rrro

BbIBo,( ilo.iryaleH

.irofarIecKIr rlpaBllirbHo. Ho

.{err

aro

l\rr)N(rro

noATBepALrl'b, KpoNte

vI}{T'yttt\vlttl KoTopaf r\rox(eT noABecTrr

B

6cl.nee cJro)KHbrx

r;ny.rtrtx? flo.re*ry

oAHlr JroruqecKr{e

paccy)KAerrr{fl

(:tIIITa,Iorcrr

[pirBlr.]rbr{bll\rl{,

a

Apyrrre

*

He[purBrIJTrnr,rlru'/

Oreetrtrr

rIrI i)r'u

Ronpocbr

lloruox(eT

aHa,_[Lr3 Tofo JIOI'r{arecKofO iIlI:IpaTa, c

fto\Io

rrlbro

KOToporO npoBO.qIIT,ct

/{oKi}3aTe.IIbcTBO

Teo

I

X)Ar.

93

ii

16

!,e4y'rtnnuble

cpeACTBa

AoKa3areJrbcrBa

flplr

auanra3e

AoKa3areJtbcrB

BI{Arro?

rrro)

AoKasblBafi

Te

LIJILT

nrrble

yTBepx(Aelrut'

[p[xoAI'{TCs

OlupaTbca

na

$axrbr'

KoTopble

K

AaI-IHOI\{y

trIoI\{eHTy

CIII{TaIOTCS

II3BeCTIII'IMU'

Te,

B CBOIO

OqepeAbt

TaKX(e

ilorlrqeHbl

r{3

KaKI',IX-TO

Ir0CF'IJTOK

pI

T'A'

o4UaXO

STOT

IIpO-

qecc

He

Mox<eT

6sITs

6ecxoHeqHL,rN{;

IIOSlroMy

ueo6xo4untbl

IIeKOTO-

pble oTnpaBEble

r

nepBoHar{aJlbHE're

IIO

JIOX{eIrI{g'

cxasauHoe

no3BoJlfleT

IroHflTF')

rrTo

K

AeAyKTI',IBHbIIvI

CpeAcTBaIv{

AoKa3areJrbcrBa,

nPe)KAe

Bcero,

orHocsrcfl

&KCuoMu'

B

nrx

t!op-

I{yJlrrpylorcs

[cxo/IH],Ie

croft

ctsa

I{3yqaeMbIX

o6lexron

I{ oTHoIIre-

nufi

ltex4y

HnN{I{;

I43

3Tflx

csoftcrs

BF'IBoAfiTcfl

Bce

reoper{r'I

gaunofi

Teopru.

Cal.rra

aKcrroMEJ

6es

dorcaaarne.rm,crl\a

I

c'rHTatotcs

[epBo-

HAI{AJIbIIbII!{I{

I{CTI{HHbIIUI4

NPEA.IO)KEHHflLTI{

PACCNIATPIIBAEI\{Ofi

TEO-

pfilr.

Axcr,ronr,r aeJrflTcfi

rla

ABa

nraAzr,.

flepnble

oilucIJBaIOT

IICXO/qHbIe

Csoitc,Isa

CO6cTBeHIIo

o6lexror

11

oTHoluerlUft

uay.raelroil

teoprau

r4 Ha3brBaroTcs

no3To\,ry

cn,e'r4uo,.nbvbLJ\,ru.

Ectectneulro,

B

pa3JII{q-

Hbrx

Teopuflx

cnequaJrbHbre

aKcr{o\,rbr

pa3JI},{UUlr.

Tar,

Hallpl{luep,

B SJreMeHTapnoft

reoueTpl,Ix

C[eqI{a.IIbHbIl{Il

aKcI4O

NIaMI{

fi BJISIOTCfl

aKcIroMbI

IrpIIHa,II,JIe)KHOCTI{

t

[OpsI'Ka

14

Ap'

cneqraanlnbre

aKcrrorvrbl

MOryT

SarrIICt'IBaTbcfi

I{

na

$opr*'Ia"rs-

HoM

fl3blKe,

To

ecrb

B

BIIAe

$oplryn

uexotopofi

curnaryplr

(crtr'

$

9).

Tar,

aKcnoMbl

Teopun

rpymr

NIolKHo'

KaK

y)Ke

roBoprrJlocb'

3arlucaTr,

B Brl.tre

crr".4ytot1""

$opr'lyn

cvlrnaTypbl

o

:

\

";

*(z)

)

:

CA-r

(Vr)(Vy)(Vz)((r

*

v)

*

z

:

r

+

(a

+

z));

CA-2

(Vr)(r*e--r);

CA-3

(Vr)(3a)@*a:e)'

Arcuourr

Apyl'oro

Br4Aa

Ha3brBaroTCA

JIO

2 Uv"ecKuJvIU

AIiCUOJilAMU.

OnU

OTUCS1BaIOT

IICXOAHT,Ie

CnOfiCtna

IO1I{!{eCKIIX

CIIIUBOJIOB'

KOTO-

pbre, or{eBr{AHO)

r.rcrroJrb3yroTcg

upn

tovnofr

3a[I{CI{

Teopell

}I ux

'q,o-

Ka3aTeJIl,cTs

n

IIO6Oft

TeopHlL

Jlortlqecxue

CI{IVIBOJIbI'

KaK I{3BecT-

-ffirt,cnc.'<popuit;aI,rIIf1!1':loKiI]iITC;-IIrCTBo}vlaxc.nout,r'',llo.

r(aK

Mo)KIfO

6vrtCr

3aucrNrrrl

:)To

IIC

6y1Cr

npottrnopccfiTr|

CKUL3aJIIIOMy

3ICCI''

1.

2.

94

rro,

BcIoAy

CoxpaHflror

nocroflHHbrri

clGrc"r.

flosrotry

Jrorl{rrecKr{e

il,Kcrrol\{El

I\roN(HO

BbInI{C?}Tb

"pa3 H

HaBCel4a".

r{ro6sr

o6ecne.{urs

yHI'IBepCaJIbHOCTb

3afracH,

c,4eJraeNl

3TO

Ha

tlOpltatr,rroN.{

J{3F,IKe.

flyctl

B

fl3r,rKe

I nopa4xa,

nexoropofi

c.lrrHarypr,r

o

:

21,

B,

e

-

nporr3Borrnrr,re

$oprrynrr;

u(:r;)

-

rpor{sBoJrbna,a

$oprry;ra,

co_

Aep)Karrla.fl

cno6o4no

nepeN{eHFryn

$i,;

0

*

replr

curuarypbr

o,

Ile

CoAep)Karqr.rft

uepelrer{Hyro

r,.

,ilorn.recKrrr\,rr4

aKcr{or{alfr4

6yzryr

c.ire4yroqr4e

<poprtry.nu :

I.

Axcr.rortrrt

IrtruIrJIrIKirIIIrrI

2{

-+

(r$ *

*);

(z

-r (r

-+

a))

-+

((s -+

r)

-+

(a

-+

c)).

IL

Axcuolrbr

Korr.brcHKur{H

1.

qA18_-+a;

2.

ztAE-+r$;

3.

(z

+

ls)

-+

(("

-+

c)

-+

(z

-+

r

n

c)).

III.

Axcuorrrbr

Ar{3.broHKrlur{

I.

s-+erVrs;

2.

s-+ uVls;

3.

(z

-+

c)

-+

((r

-+

c)

-+

(z

V

r

-+

a)).

IV.

Axcuorrrbr

orpr{q:tHr.rt

r/

r.

(s

-+

a/

-+

(r5

-+

2tj;

2.

zt

->

4;

,5.

v,

-+

9,.

V.

Axcr.rorrbr

KBaHTopoB

i. (Vr;)a(r;)

-+

a(0);

2.

u(0)

-+

(1n;)a(r;).

9;

VI. Axcraorurbl

paBeHcrB?l

1.

(Vr;)(r1

:

ri);

2.

(Yr)(Yr)((q

:

ri)

-+

(a(:r1)

-+

q("r)))

B

4a-irlnefiruelr

6y4eu o6osna.{arr: }IB

..

cnncoK

aKcrroM rp-vTrn

I-N;

I4il

-

cflr{coK axcuon I-V; I4nP

-

cnncoK

axcrorr I-VI.

3aueqaHne L6.1 Kacrc)aa us npuee0eu,?r'bL:D

:tantt"ceri neJlfl,erncrl'H,e

o\noil

arccuotaorJ, a

cxeuoft aKcuolvr damrnzo

auda a aaallcuJvlocrn,,tr

om

Sop*tytt,

%,

B,

A,

A(ri), nepeJvteHHoli x;i.r nlepJvro,

0.

H anpuu,ep, &l{cuo Jvt

aJd,u

n

a Jlfl,loTncn rfi

op

tuy tt,t t,

(z-+c)

421

-,t[+(a-+c)

u

(z+

(cVe'-+

aAz))

-+

((a

-+

cVtr) +

(a

-+

cAr))

-

coornaen'LcrngeHHo,

\ctcTtltTa,e

c,nlJaluu c:J:eln o"?ic.?to,u, II.1

'u

1.2.

V

He'r'py;1rro:laMc'l'n'rb,

rrro

Jrolr{rtccrclc it,r((:rro\.rr,r

()nu(ihrrril()r'"o6hr,rrrr,rt:".

x()lx)-

tlto

fi:lllcc'l'llllttt

Ctx;fic;'t

lta

,itol'LtttccKHX

tItcpil,tluii,

ritit,rr'tolx)B

il

pa.lx)rt(.:

f lr:t,. Ha,trlttt-

McP,

r\r(c14or{r,r

II.1 rr II.2

$ar<'rlr,rccr(u

y'r'ncl))!(/til,ro'r','r'ro

14:l

}ic'rnllroc'l'r.r riorn,-

tOItKl(llH C":tClQ"Cl IIC'l'HIIllOCf

l, Ki'l,)l(i\Ol'O c(l

'lilollil:

il"li(:l.lo\ll,l

IlI.l rl III.2 rrorta-

SLlllil,lo'l',

rlrO

LlClI.lIlllOC't'lt

OTlrtOii il:l

/tllyX

<lxt1x.ty"'t

/rKX:'tajlOrtilO,rtitlt

nCf!triltOclr.r

t{X

l(Il:l'l}lorlKItl{l.l;

CO/lCp)Kilt'e.;lt,ttt,tfi

CMhtc";t il,KCuOrrt,t \''.1 B

'l'()\r,

,t'tO

ltCt'Hlilt{)t;r'1,

DrcKo't'opofo

cnoilc'trta,.;(ilrt rtcc,\

jt;

Irircrrc'r'lc,r'r,rnu()(:'l'r,

.;(iuulol-o

ctro!'l<;'r'r;r" u

,;(.;ln

KouKpc'rllofo o6'r'crra 0 u r.;1.

Ta,rutlt

<l61rtr:rov.

";rolrrlc(:r{l,ro

rII(cnolrr>r lrcl)uo or-

pa)Kitlol

o6nlcttpntrxL'r,tfi

cr.rr,tc.;r .;ror'n'rL'cKHx cnl.nro.;lor.

fIlln

7qr-rxrura;r'cilt'c'l

ttc t('-

opc\i

ua

"06r,r'rrol,rt'

yponrc

c't'I)ol'o(:'ru, r(.l,ri nJ)il,nluro, ,rino

rrJ)Hr,rcrlrro'r'cu

'r{,.;nr-

Ko

cncrlna";rr,rrr,rc il,Kcr,roNhr

(crr.

il1lrrr.rr,pr,r lr:l illxtlrn.;(viltcl'o

nit,l)at.1xr,<lra,). flrrrrrxr

tlCnojllr:lOlla,tlHC JlOfntlCCI(t{X

A,KCrl()Nl H\lOCl t,tC(ifO

t'OjlLl(0

II;1, IlO,'ltl(Xj'l'l,l(}

(l){)J)-

I{:rJ..llt:lollAtllIOl\{

yJ)OllllC,

IIO CyllICC'l'l}y.

ill.{lllh'l'ol)\?I,

liol'.'lil

(:il,Mo

/,[oltiuJ?rlC'.ill'(:'lll(,

;r.Bilra\(.x

o6't'ct<'tov

lt:ly.rcrrHa, a, uc cl)cj{c'r ttou no.;r.vrr(irrnl

norr,rx l,r?llfovirl rrrro-

cr<ux

$arr'<lrr.

A

Kar

yx<e

orMerraJlocb, JIorI{tIecKrIe

paccy)KAen[-fl

B

AoKa3are.[],-

cTBax o6ggarft,I

6r,rtr taxltttru, vro6l,r IIo

Bo3HuKaiI<t

cotr.rnenuir

g

trx

[paBnJrbHocru.

Irlnunal{ cJloBar\rfi,

]t{L,I

,q,oJlx<I{st

6srTr,

yBepelrbl)

rrro

I{3 TICTTIHHLIX nOCbIJTOK

BCetAa I\{O)KHO nOfiyrIHTb

I{CTltHHbIe

BbrBO-

gu.

Storo N,to)KHo

Ao6I,ITbcs,

ec.nlr

norpe6onart,

trro6br

.rroruqecKrre

96

tsbIBOAI,I

AEJIA,.IIICb

ilO

CIICq}IAJIbHbIIU

UPARV.IIAI'I)

KOTOPE,IC

B 3TOI\I

cr\'rbr(:re

cqlrri)Jrr{cb

6rr

"na4e;NHbr\Inr'.

flosrolry

RbIAeJIflerc,

er{e

olrurr

BrrA

Ae/{yKTr{BHbrx

cpeAcrB

-

npasuJL,

eArcoda.

flpaeu.na

nrr-

eoga

c$opuyJrr4pye'r

na

$oprr,r:r.nb'or\.r

s3brKe

I

nopx4xa

Hexoropoff

crrfuirrypbr

AJrq

[por.r3BoJrbubrx

$oprryn

3Toft

crrruarypbr.

O crrc

enatuu"

n,p

aau,rlarn"u

eare

o

d

a

6y4elr

cqrrrarb

:

I.

ITpaa'u",to

Jo,1tJrlo,ve?flta

(lI3):

I4s

droprrry.n

2t

rr

2t

-+

I BbrBoArrl,ra,

$oprr,ry,ra

t.

{itnrroe

npaBl{Jro

cir{IuBo.nrlqecKlr

3

a[llcbrB

aerc-fl

B

r.Ir.[e

:

2r;

q-+a

,3

(D,iptrtv.rra,

cTornlag

no4

.reltror:r)

crltlTaeTcs

CJIe.ACTBI{e\I

sop_

rr\"['

(;Tosrqr{x

}raA

.lelrrofr.

B

raxorr

nn4c

6y4eru

3anr{cbrB?lrb

rr

,Tpyr' l.re

[pnBr4J'ra

BbrBoAil,.

2.

If

p

ao

u,,na,

ca,fl,3'bll

e11,u,n,

K

6 o,HTnop

a^.tu

(rrcK):

s(rr) -+

n

(1:r1)u(:ri)

-+

B

1

TIOK-i

!s

-+

2r(rr)

t

-+

(Vr;)rr(e;;)

'

r'.;1t'

rll<lpr.rv.,ra

!5

ltc r:o,,1cit;,t(il,t,

ltcl)crrclrloii

lr,.

V

llrlitrl'r'llr"rr'

otltotlttt'r.\

rl)ilrJH.rr

rl,lio,:lir,

rr()xirro:lir,r{c

fu.r.r}

l

,,o6r,t,rttt,rx,'

lrtlL.c-

N|:r'i'ro('rirr-\

P;1.(:(:.yr(/r[oir'rfx.

flvc'r'1,,

rrrl,nJ)r,rxr(]l)r

.r.1c6.ver.r.c:a

orl)cllcj1.l.r.r,

:lIri.l,K

riil,-

;ri"il()r'()

(:.rril|il'c\rol'o

ilo(:.;rc

J)ircr{l)rr.t},r2

Cx06clx

rJ

rJr)rpa,)KcrtLilt

_(t:2

*3.r+5).

1uU

)'l r)u

I'ilK

u"tr.t

Hlit,'tc

ItJX)u(rut.t.(:rt (:";l()(vton(lc

pilcc.v)l{j{ct11.tg:

,,\41,t

rtrr,lUrr.

.tr,o

ilt'1x','1

r'r<06xa,MH

(:'r'oM':lua,r(

r,rurr.yc

(lt).

Ec.,rr.r

nc1,lc.,1

cx<l6ravlr

c:l.on.l,:Jrrir,r(

\lH-

lr\'('^',o

ilj)t{

l)il,(:r(J)r,r'r'1il,t

(:ri<160x:lurlr(

I(il;r(i()r.o

(:-tr?),r.rl,cr4()r.0

14cure.r.c:g

(u

_+

r).

(l;tt'''(ttltt;ltl;lt,tto'

tll)t{

I).,r.:Iipr'I,.ilu

cxO6cltt

3nilK

Ka,)K.r{(Jr.o

c"'lilt.i,cr{ol.g

l{(}1rc.l.crl

(tl3)"'

Pa'u'v,,K.;lctttl(t'

l(il,l{

riH,irt'r.r.

rrr)o'c.r(cr()

r} lu,rr{)c,rrr

rro

rpil.rrHjr.\-,:lil,K.;rrorr(j-

l

lll,.

jlciic:'r'Brrc

tICK-r

nr)orr}"irro,r'(:r

ll p:l('cy)r{/;tcrrrnx

,r.r.rni),:

,,flyc.r.r,

rr:J

).cjror}r.rg

B

{:.;r('.jl\'c'r'

fJr,rilo.ril(!llno

(:rt<)ri(:.r.rril,

Dl

r),na

rt?o.r;;J6o./tbrLoao

:Jjr(_rtrcu1.itr

.r:i.

13

clt;t.y

rrlx)rf

:lrrorf

r,lf

o<:'r'n

:t:i1

cB<lt'i<.:'tBO

2[ I]rtil()iilrr{c,rc:.y

r)la

Lt,n60?0

l;;r' .

(Dil'li'ttt'tt-'cxorl

ItJ)orrrircur.tc

tlCIi-2

rr \rir,r'crri1'l

u!r(:cro.rx

pitrcc)'ir(l{crrrrrx

rroxir()

illx)iu'\roil(:'r'J)r,ti)otr?Il.r,

ilrr

cJtc,jly.rorrtcM

ili)ltilclx).

'fJr.6.1'11'11r2

iror(ir;lirjn,:

"E<.:.;rr.r

r<ril.,urnr',,,ufi

,-ir,,*,,Jrcr

H\rclc,r..,1efrc.r.rqr.t.;rr,t1,rg

I(()l)llt'|,'lo

oll

l)il:l.ililt'tlill(:H

lt;l

.rtrtilC!ilr,rc

lut())<il,foitil

Ititl\

Ito.;tc:\r

11el.i{:,t.3t.t,t.6;tr,-

ttLtx

,tLtt;r:;|".

NCK-2

97

flpc.ilc'r'atniut

ycilorr'rc

lrptrllcllcllttot'o

llpcltitor{(ctlurr

rr rn71c

(32)z(a)

("cyrr1e-

C.l.UyC'r

Z

'litKOe.

tt't'O

z

-

KOpCrlb

t{tlil,l\pir'fttOt'O't1,rCx't.,ltltta");

laX.;ttO'tCttlltl

oftO-

3na,lflr{

lS

("xrraTqra'r'lu,tr-r

'r'pcx,urcr

pa:liril,t'ac'r'ctt ttit, .:lltttclittt,te

vttoixlt't'e.;tu")'

'Tor)ta

y'fllcp),K,ilcllflc,

Ko1'opoc

lly).t<Ilo,;(ol(il:lilil'b,

tlpllllll\{itr{l'f

ttttita:

(12)z(z)

-+

ls.

,I[,Ortr^ra;c.trr,C't-uo

O6lil'tltO

ttpotroll]tTcrl

CilclLvtOll{u}l

O6pa:ttXt:

IIpcTtltOjli}l'fl.ll,

'l'l\)

Kgpetlb

't'pcxrtilctlil

lt

g1I{ON{

/{C-ile

Cyll(CCl

Bye\

,ht'bL e?0

p&cctlyrnplll1eJvt"

PtX:Cy-

111/{Cllut{

l4trrtt

fipI,l O1O\t

IIA(IntlAtOt'C11

co CiIOlt't'ttltil:

"llyC't'1,

Z

-

KOpcItb

Kt}a/:lpal'-

luofo

rpex'r.;rerra

(z(z))...t' B

pc::y;tutarc nocite./tytotllnx

Itl,IKiliV{oK

lto;yrliLctrl'

,l1o

.r.pexrurerr

paSJrarilcl'cn

rra ilnrrefiuhrc

r,rlro)r(t4'r'tr-;rn

(13).

B

lrrorc

ltoKailil,!to:

"E1ttu

Z

-

Kopeub

Klla,lll)a'I'ttol'O

'rpexttitctlil, 't'O

l'pCX'UlCIl

pa3jlafan'l'Ctl

tlii ilH-

tfeftl{l,te

\,tttox(tt'l'e;tn".

Uttr,tlrlt cJtotJat{tl,

rloilyrlclla

14}lllilnl(al(ufl

Z(z)

-+

tl

.{,orasalutt,tl't dra,x't'

tto:no;ltlc'I'

y1'l}cl))Kllarl'1,,

tl'fo

ccJlH cylll(:(:1'tl}cl

KOpclll:

KBaApiuiloro'rpcxrurcll:I,

'l.o

31.o'r"rpcx,ritcl|

i)il,3itil|i1,c!f(:t

tttl,;tutteiitlt'tc

MIloit(H't'L--

jrr4:

'ro

ec.t'r,

rro.;rv,telo:

(12)A(z) -+

n.

B

"ctx.:1.tlty'tr)r'r

tltt;1ti'

xo;1 llpolici\clttlol'o

paccyx{/Iclllir 14 olptlx(ilc'r

nCK-2.

A

tr4s ocnosHblx

TIpaBI.IJI

BbIBoAiI

noryquTb

n'poussodHbLe

npajuJl(r

'BJIflIOTCfl:

flpanH.no clulnoru3l{a

(ilC)

flparlrlo

[epecri]rloBKlr

[ocbIJIoK

N .IIOIXqECKI{X

UIKCIIOT{

[{OX(IIO

6bLeo0(r.

Bax<nefiurn\{x

I.I3 Irtlx

2r

-+

t8:

'$

-+

C

2{-+C

(ililn)

lr

-+ (rs

-+

a)

r-+(a+c)

flparu"no

coe4lrnear{fl

nocblJroK

(ncn)

2(

-+

(rB -) a)

flpannno

pa3teAuneuIrs

rocl,Irlox

(IIP[I)

2rnr8-+C

2tnrs-+c

q

-|

(ls

-+'a)

Bne4enrae KoIIL,IoHKI{I{}I

(

BK)

q;a

A AB,

unrs

2{nrs

V4anenue

KoHtronKqnu

(VK)

Bnerqeur.re

Au3'L,roHr(quu

(

BA)

uvr$

2[vt3

a

c,

g

2l

l"f,Icxarrr.nu"

o6panona.urra'raKllx

nMn.ryI{Katlnfi

nonpo6no

ongcarl

n

$

21

98

flporasnoAnble

npaBrrJra

BbrBoAa

flBJrfiK)Tci{,

B

ocHoBrroM,

Bcrro-

I\'IofareJlbHbur{u,

"TexHu.recKL{1vIU";

C vx

nol\{oqbro

np}r

[poBeAeHT.IIA

40K

a3

areJrbcrB

fiprlrB JreK

arorc

fl

cn oficrs

a

roruqecKrlx

onepaqnf,r.

Izlrax'

K

AeAyKTIrBHr,rrI

cpeACTBaNI

AoKa3areJlbcrBa

or'ocsrcJT

:}KcHor\{FJr

("norravecxue

r4

cfieqEa.nrurre)

I{

[paBr.rJTa

nsrno4a.

Bsr-

ff

BJIEHIIC

AEAYKTHBIIbIX

CPC.{CTB

NO3BO.IIflCT

BOCCTAIIOBIITb

JIO|IIqE-

cxrae

npo6eJlbr

B

AoKa3areJlbcrBax,

o60cuonan

",Torlr.tecKfie pa.ccy-

Ni4EHHfl'';

C IONIOII{bIO

KOTOPE,IX

I{3

I.I3BCCTHT.IX

$AXTON

BbIBOASTC,I

CJ"I€ACTBIIfl.

I.

Teopeua

o

cAh4A4,e

c.AneJrcHbLr

!/z/Lo6:

(1),

LBAD

u

lD^4C

-

rj\rc)r(.

-yc;ounc

2:

(tB,4D

u zD.4C

-

cr.rr:;rt.) -+

([.aB)

u

[.,1C)

_,,lorr.

;11,,111)

rr:ru. <irax.r.

(uup.)

1f ),

[AB)

n

[AC)

-,,rorr. .r],,nr

(i),(2):

fl3

4:

([AB\

u

[.4C)

-

,,rorr.

;ry...rr.r)

-+

(zBAC

-

pins.)

rrrr.

$ax,r.

(orrp.)

(5),

LB.AC

-

r)a,:lr.

(B),(a);

|I3

6:

(lBilc

-

irrr:;rr.)

-+

([An)

rpox^

.\rcx(.

c.ro1>.

l]].[C,)

,:rrr.

$ilr.r

(7),

[.4D)

rrlnx.

]rc)r(.

(:r.op.

tB.4C

(J),(6):

n3

8:

([AD)

rrpox.

r,rcN.

t:.rolr.l8

AC)

-+

crrcrt.

irKc.

-+ (tBAD

+

tDAC

:

zBAC)

(9):

IBAD

+

zDAC

:<

BAC

(7).(8):

II3

10:

(zBAC

-

pi.r,:3trcprr)"u)tii)-+

(lB.4C:

1g0")

clclt.

il,Kc.

(11):

zBAC

:

180"

(5),(10):

n3

12:

(IBAD

+

tD;LC

:

tB.4C)A

(tB.tC:

180")

(9).(1r):

BK

13:

(tB.4D

+ tDAC

:

zBAC)

A

(tfJAC:

180.,) -+

rnn.

<lrn,r.r.

-+

(zRAD

+

IDAC

-

180,,)

(crr.par.)

(1a):

IBAD

+

tD.4C:

180,,

(12).(13):

|I3

99

8:

2. Teopeua

o cloricrnee rrepe,6eHcrn6:

(1),

a> b

2:

(">lt)-+(a-b>0)

(3)'

u-b>0

4:

(o-b>

tl)

-+ (-(a-1,)

<0)

(5)'

-(c

-

tr)

< 0

(6)'

-("-t,):b-u

7:

(Vr,)(Ve)((r

:'!t)

+ ((,

< 0)

-+

(iy

< 0)))

(Vr)(Vy)((:r

:'s)

+ ((r

<

0)

-+ (y

<

u)))

-+((-(u-b):b-u,)*+

--+

((-(u - i.,)

< 0)

-) (1, -

u

< 0)))

9:

(-("-b):b-o.)-+

-+

((-(" -

r)

< 0)

->

(t,-

u <

0))

10:

(-(u

-

l,) < 0) -+

(b

-

"

< 0))

(11):

b-a,<0

12:

(b-u<U)+(lrca)

(13):

b

< u

5lcuo,

qro

raKrre

AoKagareJrbcrBa

rre

AHeBHOft

lraTer\raTrrrrecKoft

[paKTrrKe,

TaK

vcjlorlHc

n:lrl.

drirr<'r'

(orr1>.)

(1),(2);n3

r,r:rr. rlrar<'r'

(r:r:.

rrpo't'nu.,ut:.)

(3),(a):

il3

Ilr]lt.

(l)'),K't'

(pircrr.

r:r<o6rtr<)

,ror'.

a,xr:.VI.2,

r;1c

a(.r)

ttt:'il, ;r;

< 0

;ror'.

irxc.V.l

(7),(8);

r:l

(0),(e):

n3

(5),(10);

tl3

r.t:tu. <lra,x r'

(oilp.

)

(11),(12):

tl3

Tarul,r

o6pasorrt,

AoKa3areJrE,crBa AaHHr)IX

Teopc\{

craJILI [oirrro-

CTbIo o6ocHoBaHHbIMI{

c Jlofl{r{ecKol,l

ToyKr{

3peHrrfi.

t'florHble"

/{oKa3are.IlbcrBa

or.Irlrqarorcfl or

"o6brqxblx"

Te}rt,

TITO:

o

B

tt[oiIHLIx"

4oKa3areJlbcrBax

t{BHo ilpl;IBo/qgrct

Bce tlcxoAl{ble

yTBepx(Aelrus;

.

r

B

"[ornblxtt

AoKa3areJlr,crBax

flBrro trprrtileFlfirorcfl

npirDIIJIit

BbIBO,IA

H JTOT}TI{CCKUE

AKCHOMbI.

rlcnoJll,:ryloTcfl

B rloB(:e-

KA,I(

"iTJI':I

CO6CTBCHIIO

TIt}-

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

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