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

140

r3rz.r3 : (91

:

0z)

+

(02:

0)

rytt,rzi (IIK),

flo-ny.rranra;

F (Al

-

0z)

+

(gz:

0).

flo

ytnep)KAeggro.

o6par-

Horly

K

cJIeACTBITIo

I reopelru

,qelyKI{tIH,

IrMeeIr.I)

rrro

(0t:

0z) | (02:

0).

l)rr-,

no:nortfl

er r{trr*t

[prrrleg]rrb

cnoeo6p

trsHoe

,,paBIrJIo

BsIB

od,a

:

0t:02

or:

or

HascrRerr

3To

npilBr{.n

o cuM-Mernpuy?rocTnb

p&Beltcrnaa

(Cp).

Arra.ruo'.r.ruo,

npoAoJrx(Et\,r

AOKiLSareJrbcrBo

rrs

upurrrepa

30. 2 :

rsrz-r+

:

(d1

:

0)

A

Qz:

d:)

-)

(il

--

0i

15rr_r.li (nI()3

.t:15

:

(0t

:

A)

+

((02:0s)

-+

(gr

:

ds))

r14;

llpll

j{rixasano,

.rro

F (0t

:

0z)

+ ((9,

:

dr)

+ (0,

:93)).

IIo

\r

r [i(]l

)

)KAer{lrro,

o6pil:rnorry

c.ireACT

rjtrro

2

Teopel'rbr

AeAyKqrrr4

:

(0t

:

0z), (02

:

Oil

ts (0t

:

0t1.

B :xol.r

crTyqae

raK)Ke

noryr{Hrn

rrpaB}iJro

BbIBoAa:

0t

:0t

l)rci

rrprrnnJro

Har3brBzle

rcfl.

mp o?rs

uTnuaHo

crnb

pas

eHcmla

(Tp

)

.

,fj

31 ]vfatel,rtrru.recKrre

Dr'er\rerlTapHr,re

reopn,n

u flx

r\roAeirrr

Milrelraru'recKrre

g.rre^{eHTapHbre

reopuu

ner<oropofi

cr{rHil,Typbr

.'

crposrcfl

KaK

pircrunpeHr4e

[I4IIP]"

go6anneulreru

HeKoT'pbrx

<poprtryn

4annoli

cr{fHarypbr

B

KalrecrBe

crrequaJrbHr,rx

axcrzorrt.

flo

TpiIArrIu{Ir'

creuxaJlbHble

uKcrloN{},r

\{a,Ter\.IarrrqecKr{x

oJIeI\,reHTap-

HnIX

Teoprrft

npe4cran.ilfrw\

KaK rrpaBr4Jro,

B BrrA€

:aruxuyrsrx

$op_

rryr.

B cantaa

"A4am'eJ,,orfru,\LecKa

a

rn

e opufl,,

6y

d,yuu

g

JLe

Jvter,rnapttoti

me-

r

tytt

t

eti,

a

arvt Krlyrrla

om,H,o

cunt

ellurto

e,t

te

o d a.

-03

:0zl

02

01

141

B na.recrne

lprr]vlepa

paccrlorpl'Irt

$oplrallHylo

reopl{rc

rpynrr

KaK oJIeNIeHTilpHyro

Tcoplrrc

curnarypbl

o

:

(";

*(z)),

r4e

*(2) -

Cr{\rBOJr

Onepaql{I4.

Kar<

yx<e yno},II{HaJIoCb

Ha C.

58, cneqIlanbllbllul{

i'rKcrroNla\{rr

sroft

reopru'I

rBJ'Isrorca

dloprtry.nu

I

CA-1:

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

*

y)

*

"

:

r

*

(y

*

z));

CA-2:

(Vz)(r

',

e: r)l

CA-3:

(Vz)(ly)(:r

',

a

:

e,).

c

nolrorqtro

AeAyKTr.rBtrbrx

cpeACTB

ncarucJ-rerrr{r{

npeAlrKrrroB

c

paBeHcrBo\r rr upuBeAeIIIIbIX

CleqrlairbrrElx

aKcrroNt

rrto;Nno

<|op-

t\Ia.ilbllbl\'I

rlyrer,I

[oJTyrrarE,

Teopelubl

eroii

reopuu'

Teopeltsl

r'Iare-

\{aTrItIeCKI{X

3Jlelv{eIITapHbIX

TeOpI{ii

rax;Xe

e 6O.nrUUHCTBe

CIyLIaeB

npe,I{craB.IlflIorcs

B

BrrAe 3a\{KII}TIIX

cpoprry.n.

llpunep

31.1

F

(Vt)((Vr)(t

*

r

:

r)

-+ (l

:

e))

(codepcrcam€tlb1l,o sma

$op.,rtyJla

sbt,r)awa'em,

mom'

$arcm,

47rno

actr'

rcuil trceapi

rterimpaLtarntil

snemeum,

?pAn'nbt,

coertadaem

c etLden'en-

I:;b[Al a

cuzrffi,TnApe

o

uetimTtatrbrlbt,M

ene,,rt'en'mo"v

e).

1.

vro

(Vr)(t

*

r

:

r)

|

(t: e)

:

-

r) CA-2

!,oxarxerr,

(Vr)(t

*

;r

t,Fe:t

!s1

B2

83

!s4

B5

!36

lsr;

nK

(Vr)(t

*

r

:

r)

AonyqeHrle

t*e:e,

Fl;

nK

t:ttre

8z; CP

+

-

..

!55,

13a;

TP

2. florzrsano)

t{ro

(Vr)(t

)(

tr

:

r)

|

(t: €).

llo

c.ne'4ctnnro

2

reopeNrbr

Ae,AJrKqr{I{,

F

(Vr)(t

*'r:

z)

-+

(t

:

e);

npurteune

lIO,

no.ryqr{N{:

(Vt)((VrI;)(tx

r

:

z) +

(f

:

")).

D

fct*""

at a."*t C-,\l

r{Br.

rcrrroil

o6rrlenplln.*,t'otlt

ilKcrloNfaf,}Il(c

rooplll{

rpvnn

j

n xOrOpOr:r

fBtrO nOCTyJrJpVCTCfl

ItaJl{qrrC,.ICBOr(J

II OIIIOBpONICITItO

nl)aBOr.O

rICIiTpaJr'IrOrO

3"-lC-

treTrTa, a

TaI()r{C JCBOTO

tI O;1IIOBpCh{CIIllO

11plBOpO

O6parrtOrO

3JCNICIITa

ii-]fl

Ka?*<itOrO

3-aCMCItTa

rp\:rtrln.

142

flpa

usyveru4r4

oJreMenTapnbrx

reopr,rft

orreub

Ba)KHyru poJrb

r4rpa-

er

finoHsrl{e

.*r,o)etu

nxeopuu.

Onpege"rrenrae

31.1

Modenarc

ollerrLeu,malnlo{r

meopu"

[A],

Haabr-

aaemcn

Tnana,fl'

11'Hn'Lepnpem'o'U1rfl

cllJt/t?oJloa

a-tanarnApbl

01

6 Korno-

poti

ucrnuuHbl

ece

cne14,uo,JlbHu,e

ancuoul"w

damuoti

meopuu.

tr4s

onpe4e"neur.rs

c.ne4yer,

qro

htoAeJrb

sJrer{eHTapHoii

Teopuu

co-

cror{T

rm rreKoropofi

anre6pau.recxoft

cr{creMr,r

tJa

:

(M;

E)

"

r{rrreprpernpyroqero

coorBercrBus.

),.

Ecnra

aurepnpernpyroulee

COOTBETCTBIIE

I{3BECTHO7

TO

I',IO/4CJIbIO

TEOPHI,I

O6SI-{HO

CqI4TAIOT

HE_

rlocpeAcrBe

nuo an

z e 6p o,uue

cKEto

cucme,MA

rx.

B xypce

anre6pu,

no

cyrqecrBy,

rroKa3brBaerct,

qro

r\,roAe.rrflr\rr

rlopuanr,norl'reopuu

rpyln

flBJrqrorcs

a.rure6pauvecKne

cr.rcrer\{br

(n -

{0};

.),

(z;

*)

"

rp.

Teopevra

3L.L

Ecnu

aalv(,KHAnxaa

$o,p"u"yna

dorcaayeua

a r{evomo-

poti

snetvtewmapnoil

tneopuu,

Tno

orrl7,

(toyt,t,tyna

LLCTTtlttrHa

ao ecer

.u,o)e.rt

ar cm,oil

meopuu.

V

-f

or<

it::ir:r'c;r

r,(:'l'rlt).

IIyc'r'r, F

2{ It:!rirL'rrcrrl-il,pnoit'r<.'opurr

[A]"

n

ur

--

lrpo14:ll]o.;rr,rrtrl

rrrylg;rr,3,r.gii

'tc()pt.rH.

!,oraNicrt,'rLr:

[Z]

:tl

rj u(]r((.:j1t

Dt.

C.:'r'ofi rlejlt,ro pa,cc\to.r'p1.\t

r.rr,rrro/{

dxtp}ry;n,r

2( Hi aKcHOr{

,'lil,trtrr)li

,I,(x)])Ill.

Hvcroltll!-t

un;1:

lS1,

8,z,.

.

,f.rn:

Z!.

I. Brra,'ra;re noK:l,xiLr\r

urr;1yxr1rrcr.i,

rt'l.o

rrl)lr

;rro6orr

i:1.2,...,TtL1

[go]

:n

n

l.lo.;lcif rf

,Il,

ac.iu4

l$;

-

:3i}r'il{fl}'r'tu

<lroprr.y.;rrt.

.;rH6o

15,

'tr_r>x71cc'r'rrL.11il(]

Ltcl-nrutit

ri

''a.

cci[l

t3i

uMcc't'

cll06r_ttt|l,rc

ncJx]vcilrrr]lc.

1.

llvc'r'r, i:

1. floorrpc,r(cjrcrruro

17.1,

l$1

-a,Kcu0\rtr.

Ec,rr

Elr

-

.rror.l,rccKr),e

tll((;tlol'ltl,.

1'O

.V'l'llcl))lii(ltltlC

ltl,lIIo,:lll'|c'fU'|

It

Ct{.ilv o6ttrc:Jrrtl,ttttroC't.u

'3r

tt

jtot.HKc

tlJ)cllfiKalloll:

{-'cilIt

)lic 981

-

cllCI(t'l2ull,ilil,fl

it,r(cilol{rr,'to

llzl,rriloc.\rrircp)K/tcrrHc

Il(lpllo

IIo OIIpC/(cilCIIHIO

r.lO/lc.illl.

2. II.Yc'rt,

l"t'llcJ)>t{.4qltIt(-r

uc1'}.t1ito

7q.;r1

;lro69r'6

I

< lr.

lloxax(c1r,

r1,y.6

/latrrroc

vllr(lJ)ri,lcrr{c

nr'1lrro

nllrt

r

=

l'.

Erjm

'B7,

-

iu(cr'torril,,.ro

tlcc

l\ot(a:1a.il0

B rt.1.1.

Pit.cr:rro.t.1tur.r

cjr),rtitrrt,

r(ol)(i.I,

!Sk ItOil.vtlctta.

u:l ill)Ci'tr'r,tvrrlrrx

tlxt1trr.1.;t

(:

il{'}Nr)rr[rrtO

OCltOt]fir,rX

ItJ)at]Hjt

ril,illLr{il.

C.n'guu'it

1. l$p ilo,tt,t()ilil

rro fl3

u:l

$opv,y;r

B,

u

P.7, rip

j,lt

<,i tr

8n:8j

J l3r.ftrr rr1:t.rc.r'txll,r

6y,,qr:rr

c,tH.l.rl.n,

o.r.n <lroltny;rr,l:lilx,tKly.l.rn\{,.t:

,1;ta

dxrlxtv;r

co crro602ltrr,rr{!r

ncJ)cl,rL\rrlr'r.\rr.r,;{()Kil,:lrr-rc,;rrrc'r'lro

ilrril.;rofntrrro.

l{3

IIo rrl.rt:..1o.rox<unr.llo

nrrlLvKltuu,

It7]

:11

n

[!3;

-r

B*]

=n

rr rrr),rlcirn

:lJl.

TotTqa, r(ar{ Ir()Kir:lilro rrpu

l\oKa:liylc,inrullro'rcolrcrrr,r

24.1,

ig^]

:u

rr:r'roii rru-

l{c.'[|.

C.try^aa1';t

2. !36 rro";ry,rcrril

rro nCI{-1

lr:t <l>r4rv"v.;rr,r l$r, r'.rrc

j

< A. I'or',,ta

8j:8

-+

A(r); lSr: !S +

(V"r)!t(:r),

r',1o t3 1r coilol))r(r{'r'rrclrcr.rcrrloii

.r;r.

Nft

-l>x

r

ro c

r

rrl'ilil r, <lxrprr.v;rv !8

:litr,r

r< r r.1"ror:r

-

flo npe.;1no"'rr-rirrcnr.uo nrrllyKrlnu. tlrol-lrry;ra B;

:

l$

+ fl(:r)

rt))ri.;lc(-r'rrcrrn()

Hclunrra, rt r{o cir}r

!Jt.

flor<axcr,r.'r'ro <lropr.rv.'lir, lS1

--

!$

-+

(V.r;)2I(.r;) ut;rtrrrrra

n

o'ruii

rro;tc;ru. B

ctt:.ror,r

l(cilcr

npe",{roiro)ror\'r,,r'r'o

It

-:

(Vr)z(:r;)]

:.';,

11v'-,,

[tB]

:u

l

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

:;r.3rrzr,.rr.t.r'ni)t"t.;lc'tc:r:).itc\r('l'r

a'r'a,xr.rii.,r'ro

[U(c)]:.;r

O'r'cro,r1a,

lS

-+

z(a)]

:ir,

'r'ro

npo'l'r'rriol)crr!r'r rrl)c/ir.no.;r(,7ri['nl.n() o

'l())r(l[(]crrcrrnuii

ucrnrrrrocl-u

<lxtlrrr),.'rr,r

Ai:

lS

-+

2l(.r)

s \{g,i\c.,1r

lJl. C),r17163a:r'{rilr,1().

llsrl

-',

B Nrolleiril

tJt.

C.n'yuu'it" 3.

l3p IIojr,\"rcili'1, Ilo IIClli-2 u: thoprty.'rr,t

13,,

r'.;r.r:.f < l.

'l'ot'.'ur

|8l:21(t')

-+

t:

lS1

:

(3.r)Z(:r;)

-+ !3

,

lTlc ,3 rro

co;[ol))rin'r

rrclrclrcrrrroii .r:.

\'Itlx< no'ra,r(;,t<c

(i,

plral

r,

rlutpr'ry;ry 13

ra,r.r

rr l.'v'.r'o f

i.

flo rrpc,'1rro.;ro)rierrilro nn,i\yr(rUul,

droyrrrri;rir

!t(:l)'+

23

'r{)7r(/r.c(:'nr('urro

l(:-

'l'rlnra,

n vo,;lo.,rrr

lJt; r'or71a

[(l.r)Z(r;)

-+

t8]

-r'i

ll:r'rrii rroz1rr.,nr.

rl{ciit;'r'nr.r'r

r'.;rr,-

Ito. cc.:Ir.t ni)clllI0.'to)t{ilt't,,

'1,,,

It(J('itc-|'ilr{t <llr'ltrtr';ta, ,t())tiiltl, B tJa. f()

rr(),;rvtrrr\r'

l(f:r')Z(:r)]

:u

r'

[t3]

:.;t:

no:Jto\.ly

litfr,;lclcl:r.lcr't(.nl

ilr

iulrii,'r'r

o

!u(a)]

:11;

'Jn:)itu1.

lZ(a)

-+

E]

:r,.

,nr)

u]x).l.nnolx'rn.t

f

upl'.illt().toxclnro

()

'l.o)r(.i(t(:

trl,rrrroii

HC'r'nrrnocru

{xrpr'r.y;rr,r

2t(.r) + r8 r, v(r/\('.rn tlt.

I,Ii'rr,x,

[(3,r)A(:r,)

--] t$l

:

r'r,

.r'o

o(: rrr

ll3u]

:rr

rt rro.\o.;1; 9;1.

l'111.,nt<tlttrt

:lilBcJ)

I

I lc

tr il,.

II. ll:r npqlr,ri

lyrrtclo

ryrKlir

(;.ir('.:tyc

l n(:'nlrrr,{)(-r'r,

.}"l

rrcJ))r(,;()rl.rrI

{rol)('\lr,l

lrllrr ii

:

rl. Tctlpcrr:l

itor(a:la.nil.

tr

A

Teopenra

31.1

ztaer

crporoe o6ocHostrsrre Bno.'ur]c

HCHoro

(;

rrrr-

Tyr'ITrrRr{or? ToqKr4 3perrns

$axr;r:

ao nc.fL.,',o'r"r, hr,ode.n.u HcKont.opo'ti,

3./Le,\ne?L'rnapHotl meopuu

'uc'tTt,uTLl1'ttL,

kpo.M,e o,Kcuo,M,,

'u,

gce.

Tn.(:ope.h|u,

darnnfi,

m,eopu'u.

B

4a"rruuefirtteNI

Tar\r, rAe

sro

cner(Irir.rlhn() n('

yK;u]irgo.

5\'.'lt'rrt

paccl

raTprrBaTb To-rrhKo 3alu KHyTbftr c]oplry.nr,r.

IMoN(Iro ecrecrReHHbr\r

o6pa3or\r

olpeAe.r[rrb r\roAcj.rrb

rrpc]rrirBoJTr)-

HO|O \{HOX{eCTBil cfOprry.n f

.

Tor4a

r.Il\reer

rrecro o6o6rqeHue

rrire-

AErAyqeft

Teoperrbr:

Teopeua 3L.2 Bcanan sa,^4v11!)m,(ra

(fop.M,y.no,,

cbtsod:t,M,un

1t,:t l.

11,Crn1r?111& 6 rmo60fi JvrOde.lLU f

.

t

O6o:lraqcrnlc cno6onrroir

trcpcNrorrrroi:r

3Jc{:r,

noc\'trto(:TRorrrl)

1tl

.{oxasare.nr,crBo

reope\{Er

3

1. 2 npaxnr{qecKrr noJrHocrblo

rroBTo-

pqer

AoK

a3 are.rrbcrBo

npe4E rAyxleit reopeur'r.

llongtre

lvro,qeJrrr

HCrIo"rrb3!€TCfl rlplr

AoKa3areJrbcrBe

l{e[porr4-

BoperrrrBocrr{

gJreruer{Tt}pHbrx

reopl{ ft

.

9n

e.ueumapvA

rc rne o

p

urc c^ru-

rn,

u

o t

n Henp

o

mu

n o

p

eut

t e ort, e c JL'u,

?r

enp ornu

s

o

p

e,-t u s o rt aa tt a

e m c fl cu

-

crn,e.M,o,

aKcuoJtt

:lmod,

m,eopu,u-

Teopevra

31.3 (reopeua

le4e.ns

o rroJrHore)

Bcarcaa

3,,reJvr,e11-

'm,o:prloa

m,eop'u"tl

Henpomuao'peHuaa

m,oz)a

u, ntoJlbvo

mozda, rcozda,

'r

r,M,e

ern, u,o d

e

"+'tt.

l.

H eo6ro

d'tr.M,ocn t,'b

rrpur-r€rrr 6ea

4oxasa.reJrbcrBa.

'2.

/locmttm,oH?roc'rTt,'tt.

llpe.gnono;,rilrlr

rrporr4Bnoe,

qro

rreKoropilx

3.ircArorrrirpHarr

reopur,

lri\relouil,r \{o/{eJrE,,

[por].rBopeunna.

Tor.rla

r)

r)'ror"r

reop[n

AoKr],3yeru?]

cfoprrry,nrr, !s

n

!s.

flo reopelre

31.1, era

<DoPrrr\rntr

rrc'rr{IrH:l

n .rrrc6ofi

rroAe.rlr.r

4annoir

reopu}l,

.rero

He L{o)Ke.f

irr,rlr,.

flo.nyqss*roe

[tr)orrrBoperrrre

AoKz]3brBaer

reoperuy.

tl

Tirxl.rr,r

o6pa3orr,

nocnlpoua

KoHNpe?rLl7Aro

nodenu

?tenornopo.tr

)ltt.MnHm,apmo'tt

rn,eopu,u,,ArbL

rneJvL

caA4,bt,"M,

dorcaaat

aaelvr

HenpoTnu-

6o'pe'\,'Uelcrrl't

ern,ott m,eOpuu.r

B

qzrcrrrocu.r?

rrpr4Be.AenHbre

\roAe.nu

$oplrarbuofi

Teopull

rpyrrn

c.lrv)KAT

AoKzl3arerrE,crBolI

Herrporr.rBoperrr{Bocrlt

sroft

reopNra.

lkrcrpocnrer\r

noAxoAxrqefi

uo4e.[tr Nro]KHo

rroK:Bar],

Ir

He3aBlr-

cr'rlro(;Tb

uexoropofi

aKcrrorrbr

o,1.

ApyruIx

aKcnor\r sJrervreH:rapHoft

Te-

ol)utr.

fl1'cr:r,

2r

--

aKcrro^ra

!r3 cnrrcKzt,

A.

Ecnu A

-

{"}

F

z, ro

ro

Teop€rrre

31.1 clol>rrry.na

a 6y4er r{crrirrrHa

e

nrc6oft r{oAeJrr{

Teoprrr4 c

"trt

a,K(:r4()\r?I\rr.r

A-

{et}.

lloarorry,

[ocTporrB'raKyro

ruoAeJ'rb,

n rotopoff

BCe

aKCIrOI,IbI,

KpOIUe

l, 61'4yr

I.ICTIIIIHbII\II4)

a CaNfa

A

-

no>xHoft,

\Jbr

AOKaI)K€NI

H€BbIBOAT{I\{OCTI,

2l tI3

Allyftrx

aKcrlorr

TeopI{Ir,

To ecTb

(-r(-r

IIeiIABIICIINIOCTE,

OT I{LIX.

Hanlruruep,

n

<foprra.nsnofi

recpnn

fpyrtr

He3aBr{crrl{ocrr,

CA-3

ltox(rro

AoKa3zrrb

(]

rror\roull,ro

]roAe.[u

(X;

.).

TI.;;'r*;"^*rr"-",-

,r 6"-a

.roKilfarll

rn.nporlrBopcer{Bocrr,

rcoMcrprnl

.Ilo6aqcn-

crtolr:

l).Bc;r,rpaurr

(1868).

Q.K:oirl

(1870).

145

N4ox<uo

c IleKo'ropoit

r:o'rxfi

3penl{s

yrBep}KAarb)

rrro

BcflKas

lre-

Irl)oTllBope.-II{8afl3-rIeNIeHTapHulqlreopHflIIO.IIHI)BII]upoKO\ICI\{I,ICIe.

3ro

c.ne4yer

Ir3

Teope\{bl,

o6parHoii

x

reopeue

31'1:

Bcarcaa

r$op,t*y'na,

ucmu?L\aifl

Go acen

Jfloderrn't

ner;omopoti

s'ne-

h|,e?7map\

nil

rne opuu,

d

oxasy e

"tt

u'

s sTnofi

rn'eo'pL'Lu'

V

A;rn l{()KillAjlCirr,C,t'Ba,

lt'lrtii'I'COJ)C\,tt,l:lil,Nlell'll'11

rl10

/l.ilt

tlpOlt:lttttortt,ttt-li''t

3.rlC\telltapllOt-t't'COpttLt

ttNICC'I

\{CCl0.il(lIlI{il'

26.1.,prif:iltlllilt

IIzIN't'l

l\il'{

UC.IU-

Cilgrrrrfl

I1;tCKiIl;tui),Itltft

(C.126). C

y'rC16rt 3'l.916'

/rlOKillarCill'C'l

ll9 llarllCl'O

y'l'lxrp-

)ltl\cltl,l'|

Ilo.|1.!l

I|11JIll()(:.l.l,Io

Ilolt'l'()p'|c.1.

l10l(a':]a.l.c"iII)(:'l

|'0

1.c0pcll1't

26.3

A

'Iar<urr

o6paaou,

$opa,ry

"'ta

dorcasy

e.t'ta

6

.|[eK

omopo'h

enett'e'nrnap

-

Ttoil'rneopuu

moz)a

u

rnortb'tdo

nro?da'

T;o?da

oHa

ucmuwHa

ao

acer

A.to

delln

r 7wloli

lne}P'uu.

Cyulecttytor

sJIeI'IeHT'ilpHbIe

reopurl,

HerIoJIHbIe

B

ysKol\{

ch{bl-

c.ne

. TaKoBoit

fR'nflercfl,

B

rlacruocrl'I,

d)opNtt].rlf'Has

reopus

rpyln'

B canrou

.IIeiIe,

rrpucoer,uHl{B

x CA-1

-

CA-3

B

KzrqecrBe

HoBoI"{

aK-

cno\rbr

$opuyny

(Vr)(Vg)(.r

*

y

:

y

*

r),

\'{r'I

clroBa

nonyrrl4tu

HerrpoT}IRopeqprByro

Teopr'Ilo

-

TaK

IIaSbIBae\IyrO

TeopI4rO

aoeileBr'Ix

rp)rnn.

Henporunopeqr{Bocrr,

noc-rlc"q,Hel'f

N{oiKHo

,troKt)Barb

xors

6bI

c

uoL{orr,r,rc

\IoAeJIfi

(Z;

+)

.

S

32

@opr'ttrlr,Haa

:rptlcprtteu{Ki}

IIiITyp?}'[]'HbIx'ruce'r

Pi,lcctrto'rpr'rtI

3.ile\{eHTapHyro

reopurc

ro.q

Hi}:JBaHMen-t

"tfop'M'a'nt'-

u,aa

aptt'rf"ue'rn1,L1{o,

H(firLApallbl1b['r

''!'?.-LC7LL".

Ey4ertr

o6o3Haqarb

3Ty

Teopr{m

6yxnoft

,5; rax

Ni€r

o6o3Har{urr

II CIIucoK

ee

cneqIIaJIE,HbIX

aKc140IU.

.fl:lnrx

Teopun

s

-

3.ro

$oplra,.nuur,1r"r

lr3brx

I nopa4xtr

(rnruaTypbl

o:

(0;

I (1),

1(2),

.(2)),

rAe

/

-

cut'IBo;t

yrrapnofi

(o4norrecruorr)

onepauHl{.

C

neqr.r a,rr'

nbl

trl Ia aKcllo

tr{ a\Iu

reopl{r4,9

gnnsrotc

a

cpoptr'ty;tl't

:

Sr

:

(Vu)d:T'

Sz,

(Vu)(V'u)((tt":

u)

-+

('u'

:

u'))i

Sr:

(Vu)(Vt')((z'-

u')

-+

(rr: u));

,S+:(Vu)(z+0:u);

i.18

llo

c.ne4c;rnrro

2 reope\{br

/{(JAyKr{r4rr:

r--,s

((rir

:y)

-+

(r

-tt:

lJ

+

't))

-+

((*:

y)

+

(r

*

1,

-

y

*t,).

Ilpurrenlrrrr

IIO:

F,s

(Vf)((,r:y)

-

(t;l_t:y+t))

+

((:r:y)

-+ (r*t,:y*t,)))

B lrrore

rto.[yr{lrru:

(A)'

F5. (z

:

y)

-+

(,r:

*

0

:

y

+

0), ro ecrb

Fs

z(0).

iEi:

rs

(Vl)(((;r:

:

!t)

+(.r;*

r:

9

+

t)) -+ ((,

:.y)-+

(;r*

r,

:,y

+

t))),

f() i'c'NI)

F5

(Vt)(u(rt)

-+

z(i),).

fllrur'renrrr

lII4: Fe

(Vz)u(z),

ro

ecrr,

15

1Vz)(("

:

y)

-+

(r

*

z

:

A

*

z)).

.{nax<4r't

[pl{rren}rB

fIO,

oron.rareJlbHo

I{i\teer{:

F5

(V:r)(V.q)(Vz)((r

:

y)

+ (r

*

z

:

y

*

z)).

Herpgrro

Br.{Aerb,,

tlro

:rKcr{o\rarr{Ka

,S,

xax

rr

AoKa3yeNmte

$op-

r\rv.tbr

(reopelru)

3Tor'r

reoprrrd,

Bbrpil,)Karor

"o6br.rnbre,r

croitcrBir

H:rrv])il.rrbHoro

pflAa

BK-lrK)lraq

0. 34ecr ,r',

noHr.nutaercfl

KaK

qr{cro,

nerro(:peACTBeHHO

C.neAyroIlee

3it" r.

xcrpouro

lr3Becrr{o,

.tro

aplt$ltertrKa

HaryparTb}TIJIX

rr'nceJ-I

fl,-irfl-

er(ir

ocHoBoii,

na

xoropoit

$a,xrr.ruecxrr

crpoflTcs

Bce

Apyrue

pz}3_

.qe.irbr

^.r?lrel\rilrrlrKrr.

Ilosrorury

crpofoe

nocrpoeErre

srofi

reopn14

v ee

r{c(:.IIe4()Ri]Hrre

HTIeIOT

na:Nrterluree

3lri).{eHrre

A.|Ifl

rorr{r{ecxoro

o6-

(]C}IOBT}HHfl

\II}TC]'{ZITIIKIT.

O4UAXO

sAECb

IIPEXOAIITCfl

CTAJIKIIBATbCI{

c r{eKorol)brl,tn

oco6ennocrrl\{u.

Bo-nepnr,rx

1

meopl,rr

S trcno.nna,.

B 1931

r.

K.

fe4e"rlb

rroKa3aJr,

rrro

B

fl3brKe

:;tof,.r

reoplrrr

cyqecrByror

coAepx(areJrbHo

lrcrur{Hbre,

rro

rre.AoKa3yerubre

npeAJro)KeHrrx

($opr,rynr,r)

.

Eo-tee

roro,

TaKr4e

clroprry.n-ur

6yayr

r{\{e'rb

ruecro

npr.r.nro6onr

rrorroJrHeHrr}r

aKcrroN{arrr-

xu ,5.

3ro

r:IK

HilgErBileNri\fl

nepaan

m,eope.Ma

leden,a

o HenoilLom,e.

149

Bo-ntopr,rx, apu$uernKa

HarypaJIbHr,IX

tII'IceJI

cJIy)KI{T

lrcrot{-

HrrKOr,r

Airfl

[ocrpoenlrfl

tuoAeneit

Apyr[x

sJle]\Ielrrapnltx

teopufi,

rrocJre

qero

citr{Taercfl

AoKa3anrroft

Hx Henporr{BoperruBocrs'

IIo-

srotrry

BecbN,ra Ba)KHo

6rrrt'

ynepel{Hbl\'I B HerrporllBopeY}IBocrl4

co-

-rr,toil

meopuu S/

Brtrecre

c rer{.

tr

sAecb

4e.no

o6ctol{T

He

rlpocro.

llpuvuna

B Tor{,

r{To

Lfls

reopl4l4 HarypaJlbHblx

quce.lI

Tpy/qno

no-

4o6pa'rr

Aocrarotruo

rrpocrylo

lr

t'Hi],gextnytot'

tolo4erl

I{, cJIeAoBa-

TeJrbHo

)

HyxGbI

HHbIe croco6u

4oxa:areJlbcrBa

He[porl4BopeqllBo-

cru rrorl Teoprrl4.

B

1931

r. fe.4elr'

AoKa3?IJr

GInopArc

meopeM'A

o HenoJmome,

co'

AepxaHl4e

xoropoft B

Tor\I, rto cpedcmaa*ttt'

"o6atn+H,ofr,"

JLozuKu

H,e-

aoalvto)tcno )orcaaam,a

nenpornusope\'uaoc'nlb

meopuu

S.

flo.lrolty

AoBo.rrbH.J

Ao

Jrro Helporr{Bopeqr{Bocrb

4annoft

TeopI4I{ rlpr{Hr'IN{aru

6*

4oxa:ate.[L,crB?])

cr{IlTafl,

Lrro

B etortt

y6e;xAaer N{Horonexosofi

orlErr

[paKTur{ecKofo

mcro.IlE'3oBi),Hnt{

HarypaJIF,HL'IX'rlrce-n'

Bno-

c.rreAcrBl{Ir

Herlpor}IBope'{rlBocrb

$oprtra.nsrtofi

apu$r"letl{Klr

l{ary-

parrEHbrx

.ruceir

6rrna

4oxasana

(f. leuqen,

lI.C.

Hoenxon)

c no-

rt{Ou{t'rc HC'K OTOpOTO

CII€U]IaJTT,IIO

CO3AaHHOTO

anlap

aTa.

B

O

nP OC

bI 14

3AAAH

vrfl

il[I

n

CA

IvIOCTOSTEJI

b HOI4

PABOTbI

1.

Cyrqnocrb

N{arer{arlrtlecKoro

AoKi}3areJlbcrBa

1. B

.{eNr

3?IKJIroqAercfl

rlpollec(:

AoKa3arenbcrBi[

Teopel\tbI

B

l\tu-

tenrawrxe?

2. Ha

ilpmuepax KoHKperHbIX

Teopcrl

npoaua'Ill{3upyftlre

Jlorrrqe-

cKylo cTpyKTypy

/il,oKa3aTeJlbcTBa.

3.

llpr'ree4nte

tto6nqnoe"

u

tt[orHoett

AoKaSareJIEcrBa

paccr{a-

TpI{B?},e}I},IX

Teope['I,

IIoKax(I{Te

CXOA(jTBO

I4

pa3Iuque

tto6slq-

Horott

u

ttlorHorot'

.[oKa3ateJlbcrB.

I.

2.

150

1.

2.

[e4yxrnBHbre

cpe,ACTBa

AoKa3areJrbcrBa

Onlrurzre

pa3Hlrrly

ts

Ha3Har{eHrILr

lr

tlocrpoenl.It,t

rorl{rrecKux

u

c[equaJrbHblx

aKcrlo\{;

olnIxIITe

J'IorUqecKLIe

aKcLION{bI

I{ IIX

cIubIc.[.

Haeoente

fi olrrurl{Te

cyrrlHocrb

ocHoBrIbIX

ra

Hara6onee

pac-

rrpocTp

aHeHHbrx

[porT3BoArl],rx

[paBr4Jr

BbrB

oAa.

3.

(Dopua"ur'ntrit

nueo4

tr3 coBoKyrrHocrrr

$oplryn

B

-relr

coAep)Kare;nurrft

cr\{ErcJr

BbrBoAa

$opr:urynu

r43

coBoKyrr-

Hocrl{ r{cxoAHr,rx

$oprr,ly.n?

fafire

orpeAeJreHrre

BF,rBoAa

$oprurynrr

lt r{3

rrcxoAnr,rx

$op-

rly"rr

I

Onnmure

coBoKyrrHocrr'

f.

C$oplrynupyfire N{

AoKax{r4Te

ceor1crn:l

BbrBoAr{Nrocru

B1-

Ba.

4.

!,oxasarenbcrBo

rr

AoKznyer\rocrr

$oprryn

r{ro

raxoe

AoKa3areJrbcreo

$oprryasr?

LIro

raxoe

AoKa,3yerraa

(ucrr.rHnax)

$oplrv"rra?

B

qerr

coAcp-

Niare.nL,nr'rit

CNIbIC./I

3Toto nongrug?

lI

puee4nre

nprlr repbr

.r{oK

a3

irre.rrbcrB a

ucrr.rHusrx

$

opr,ry.n.

5. CyrUnocr:b aKcrro\rt.l,TrrLrecKoto

rreroAa

B rrarer\rarr{Ke

C$oprtrynupyftre e o6rqeu

Br{,qe cyrrlHocr.],

aKcrro\{arr{rrecKoro

r\,reToAa

ilpr4 rro cTpoeHur.r

AeAyKTr{BHbIX

reOpnfr

.

Onnumre coAep)KareltHtrit,

no"iry$opnransrrrru't

lr

$oplra-rrs-

ulrft nu4r,r a,Kcr4or\rartrrrecKoro

NIeroAa,

IIx xtlpilKTeprlble

rrep-

TbI.

Oxapaxrepnsyft re rpe6onauna

Herrporr4BopeqrrBocrr{,

He3aBlr-

CI{ I\,IOCTI4 I{ IIO.IIHOTbI

AKCIIO

LI

ATII-ICCKHX

T'COPI{ft

.

2.

J.

4-

f

l-,

2.

J.

l.

2.

2

2.

J.

4.

6.

5.

lil

6.

(Doprr.r

a.nbHl,It:i aK

cIIo IlI z),TrrtlecKnr1

r'reroA.

SnelteHlapHF,Ie

reopl4r4n cxfl{aryp},I

o

llo4po6no onulr?rre

3TaTrbI

pc?r.irrr3al\H

lt

<po;;lta"n u HoI'o il

K(

:II

o-

I\,IaTlrrrecKof

o N{eToAa.

B

.relt

cyrldHocrr,

rronflTrlrr

"rle4yxrrrnHilfl

Teoplrl{"?

9:ro rilKot)

$oplramnafl

aKcr{or\,rnrlrqecKafl

reoprla'/

Or.rnnre

coAepN(aHrre

uor{llrllri

tt

o.nertt-'tlrapltirr{ Tcol)Ilfl

l

il

"

.

B

.{eNr

pa:lJlrlqrle

i\Ie)f(Ay Jtoln'tecxotYt

rI \IitreaIL.r,TI{LIecKoI"I

Teo-

prralru?

C$oprrry.iurpylire

II

AoKax(Irrc'

cIJoI"rcrBo'.lirrrKIryro(r'rH

t)J'leI\{cII-

rapnoii

Teopr{r4 orrrocl{Te.nblro BbIBOAi).

9ro taxoe

reol)e\{a

rf

olrlralrrrol"I

tr,KCIIONIirnIriecKor"I

reolxrtr'/

Pacxpolire

coAep)Kare.IlbHvru

clrllllrocrtb

e'rof

o notrgrrrq. Ontt-

urrrre tr{eT:rTeope\rbr

reopIIrl.

flsbtx L{

AeAyKTr.rBrrbIe

cpeAcrB?r

trrcircI{./rclrtr'Iti

Rbi(:Kil3llRilIIIII"1

Ounrura're

g3bIK

ucqrlcJ'I€rHrIr{ BsICKi}:JLIRa,IIIII"T

IIeK(lrcllitlii

<;nrrtll-

TypLI u ero

".'rucTr)

JIo|tIrrecKIII"I"

Bil,plt;ulT.

Onlrrur.rre

AeAyKTrIBrIbIe

cpeA(l'fBi).

Llcrlrl(t.{eIrtrIfI BII(tKiIuLIBIII{}IiI

I/I nplrBe.l,r{Te

npr.rrrep Teope\{

(Aoxal]yetttt,tx c}roprty.n)

l;trirYt 're-

oprrll.

B.

Teopcrrtt-l

AeAyKIIrrfl

A.IIn

I,I(]IIIIcJIeI{IIfl

BbIcKz}3F,IBaIII{ir

Ccpoprrry.rrrpyfi

re

I.r

AoKuN(rITc

reopelly

Ae,IyKrIrIu,

c.[()A(]T Il Irt fl

u o6parurre

IIpe/T,.IIo)'I{eHrIfl

.

O6r,scnure

coAepx(arenbHylo

.irorrrrlecKyIo cyulllo()TIr

Te(

)i)eN

tI)l

A,eAlrKurrrr

I{ cBfl3aHrrrix

c Herl nl)eA.iIoiKeIII{I"I.

9. 3xerea,.I€H

rllocrrr B rrc\Iuc.ilcH

lIIr BIICKtIilEIeaHrrti

,{a,rtre

olpeAe.[eHrle

IKBI{Bi}JIeurHbIX c}loprry;r.

!,oxruxure

cBoiicrBrl

pec|,lercnnHo(lrll)

cLINIrlerpr{rrHocr}l

II TI)tIII-

3rrrr{BHOCTIl

OTHOUreHrrfl

SKBUBa.rrerrrl{ocTrt

ciroplry.n.

7.

l.

].

2.

1.

L.

'2.

'{

1

-..)

3. flpune4nre fipnlrepbl

AoKa3are.nbcrBa

3KBrrBatentnocrrr

Sop-

\ryn.

4. Ccpop r'lynnpyfi re rp ?l,Br4Jro

r)K

BI4B aJIeHTHocrH

LI [prrBe.Ar.rre

npli-

I\repbr elo fIpI4\'IeHeI{us.

10. Teoperrra o6 oqeuxe

$oprtry.n

r{ctl}rcJleHr{s

BtlcKa3blnanufi

1. PacxpoiiTe oyulHocrb orleHKr4

$oprtly"rr

llca{Ircireur{t

BbIcKa3bI-

nanzft.

C$opuy,nupyiire

r{

,qoKilxr.rre

reopervry o6 oqeuxe.

(

)

$op

rtry"rrupS'ft

re rr

AoKaN(r{Te

cJIe/crBIIe o ro)KAecrBeHHori

rlc-

T'rrr{Hocrrl

AoKrr3-ve\{oft

cpoprrry.nlr.

1 1. Henporr{BoperlllBocu axcnor.t

I4B

I

"

j

]trrlre

orpeAe.[eHrre HelporplB o

peqnBoro

IuHo

)r(ecrB 2]

$oprrry"rr

UcqLICJIeHI{rt

eStCXtl,StIna,Hit.

2. Iloxa;NIlre,

trro

Ir3

nporllBopequBoro N.IHolKecrBa

$opl'ry"n

rr.rox<-

IIo

BL'IBecTu .nlo6yro <poprryny; o6t,gcnrare cyqHocTb SToro

t'noitc;rea.

.1.

.i{oxa;Nlrre

HefiporrrBoperrlrBocrb crrcreiutr arcaolr 14B.

12. Hesasucarrocrb tr,xcnolr tr48

1.

(hurulrre

r\reroA

AoKa3a,TeJrbcrBa

He3aBrrcu\{ocrrr Ha ocHoBe

l'eoperrbr

o6

oqenxe.

2.

1],ox;uNlrre

He3irBr.rcr{rroc'rb

cxe\{

aKcr{orrr II.1,

iI.2, iV.1 or

()C'IiIJIbHITIX

trxclrolr I4B.

13. flo;ruora trxcraorr LIB

l

Ccfoprrry,rnpyfire r.r

AoKil'r(rrre

Jrehr\ry o Henporr.rBopeqrrBorr

tr rHO)KecrBe

$oprtry.n

;

2.

C$opnry.nnpyfire

reope[Iy

fe.4e.na o rroirHore,qJrfl

IlctrLICJreHI{fl

ribrcKa3brBauufi

;

4oxaxcure

o6parnyro

reoperue fe.4enx.

3. C$opnry;nrpyfin: rr

,qoKax(HTe

reoper'ry o noJrHore tr48 e mrl-

l)oKoru

cMEIcJre rr

c.[e.4(:TBI{fl I13 Hee.

153

4. C$opiiryirrrpyl-ITe

u

AoKa)KHTe

reope\{y

o ronHore

I4B

n

y:xou

C\ItIC,ae.

1 4.

Anarue

AeAyKTtTBHbIX

petc

cy)Kaelul'i

cpeACTB

aN'tl'r

JIoTHK

I{

BbICKA3bIBAHI{II

1.

C$clplry.nnpyi'rre

yrBep)K.4eIIlIe

o cBtI3lI

nous'ruii

AoKa3ye\Io-

CTr{

B

I{cqIIcJIeIlIIn

BEIcKa3bIBt}nnr1

u TON(AeCTRenUOif

nCtllHUO-

cru

e arre6pe

BblcKa3biranraft;

2. C$Oprrlynupyfire

yTBep)Krr{eluc

o CBfl3u

nougrufi

3KBI{BaJIeI{T-

IIOCTI{

B

trICI{IICJICHU}I

BbICK?}3bTgANTAit

I,I

PABHOCIIJIbHOCTII

B A.[-

re6pe

sttcKa,3sInaHlait.

3. Onr.rrur.11e

u o6oCuyftre

cnOco6

upoBepKLI

JIOIII.ISCK6fr

npiIRpIJIb-

rrocT[

AeAyKTlrBHErx

paccy)*iAennrl

n o6llteri

BlI.4e

14 IIa

ilpI{NIe-

pe.

1

5

. P acrulrpeHtre

nc

qrr

c.lreHrr

fl

BL,rCKII3

brB ilnlrt"r.

L[ C.IUC.]reHI4e

IIp€rArIKaToB

1.

lloliaNllre

neo6xo4l{Iuoc1'b

ptlc11lnpeHllg

IICqI{cJIeIIIlf

BbIcKa-

3bIBttHrlit.

2.

lloclpoitTe

fl3blK 11

/I,eAyKTr'rBHbIo

cpeAcrBi)

I{caIHcJIeHIIs

rrpe-

A,I{KaTOB

KaK

paCUIlIpeHIle

f:lbiKil

II

AeAyKTIIBIILIX

CpeACTR

IIC)-

tIIlCJIEHI4fl

BbICKA3bIBAIIIIf,

,

3.

!,oxarxr.rre

npI,IBeAeHHLIe

B

TeKcre

reope\{I)I)

rIpaBI'I"iIa

BbIBoAa

U

\leTa,TeOpeN{L'I

UCTIIIC.IICH

It fl

nl)e"tr

IIKaTOB'

4.

Oxapaxreprl:yrlre

cBoiicrBa

I{cquc;relrxfl

IrpeAI{Kz}Toe

xax

$op-

\raJrbHoii

tlKcl4or{arfi

qecKoii

Teopl{l{.

16. Uc'rrlcleHrle

npe/Ir{Kil,ToB

c

paBCTHCTBO\'I

1.

Onlrurnre

Hcrrr{cJ-reHr{e

[peArrKaroB

c

paBeHCTBor{

[I4rIP]'

xax

paculul)€)Hue

rrcr{Llc.[eHr{fl

[peArIKZITOB.

2.

.[,OXarxlrTe

CBOTYICTBI

C[N{r{eTpI,IrrHOCTI4

LI

TpaH3LITLIBHOCTI4

p?r-

BeHCTBa

rrocrpoenl,Iert

$oprtalll{blx

BbIBoAos

e

[I4|IP]"'

06-

ocnyiire

npaBltna

BEIBoAa

CP

ll

TP.

2.

t54

1

7.

M arelrarr{rrecKr.re

sJreN{egTapnbre

Teop

prr4.

@ opir,r

a,nruafi

Teopnr

1.

fpynr

onuruure

nprrHrlr4rrbr

rrocrpoe'rr{s

sJre[reHTapHbrx

lrareN{

ar'r{e-

crrax

:reopuft.

flocrpoiire

r3brK

rr

nprrBeArrre

cleqrraJTbubre

a,KclroNrsr

$op-

rranr'noft

Teopr{r4

rpyfln.

3. flocrpofire

$opr'ranbrroe r:toKa3areJrbcrBo

xaxoft--nr.r6o

reope-

I\'{bI

TeOpI{I{

Ipyfln.

4.

llpnne,gure pa3Jrr{rrnbre

r\roAe.[n

$oplra.nrnoit

reopr,lu

rpymr.

5.

Oxapaxrepueyfire

:),Kcrror.rarrrxy

Soprura_rrsuofi

reopnu

rpyrn

c

IOi\IOUIbIO

IrrOAe"rrefi

.

18.

Molenn

oJrer\{errrapHux

reopraft

1.

{:rftre

onpeAeneHne

rroAe.rrn

sJrer\renTu4)Hofi

teopnrl.

2.

C$oplry.nrapyfire

u o6us.cmvre

cy[luocrb

reopetr],r

o6

lrcrun-

Hocrr{

B r\{oAe.[rr

ncex c]oprrryrl

AoKa3yer\rbrx

B

Teopr{rr.

3. C$opvrynnpyftre

reoper,ry

fe4e.nx

o rroJrHore,

AoKa)Krrre

ee

Ao-

cTaToqHoe yc.rroBrre

r,r

pa3brcrrr{Te

ee

coAep)KaTeJIL,HyIO

Cyu{_

HOCTL.

4.

Onlrrunr€ npfi€r!:rEr

rrccneAoBaHrrfl

c rrot{oqbro

]\,roAereft

He:a-

BT{CIIiUOCTI4

I,I IIOJIHOTbI

AKCI{ONI

3JIEI\{EITTAPHUX

TCOPZft

B IIIII-

poKoM

r.r

y3Koru

cM[,rcJrax.

19. @oprrranr,nax

apucf

rreTHKa

HaTypanr,Hbrx

.IHce"rr

1

.

o nnmu:re

rtpr{Hru{r'br

rrocrpoer{r{fl

oJrerreHTapgbrx

]\{

arer\,rarrrr{e-

cxux

reopxfi.

2.

onraurare

fi3trK

rr crrerlr{aJrbHE're

aKcr{orrrr

cfoprra.rrs'ofr

apn$-

\{eTr{Kr{

HaTypa.[bHbIX

rrIIce.II

3. llocrpofire

cfopr',ra"rrL,Hoe

AoKa3arerbcrBo

o4noft

r43

TeopeNr

clropuansnofi

apu$uerraru.

4.

Oxapaxreprayitre

aKcr{oN{i}Tr*y

$oprra.rrsH<1ft

apu$rrerlrxn

I{ aTypaJ'Ir'HbIX

qUCe.[.

1,rl

1.

YIIPAX{HEHI{fl

fl eiulerci{ Jru

AoK

a3areJlbcr

Bol\

t B Llctll{cJlerru I.I rJ I)IC;K ?rilt,lt*ltt tui

c.rreAyroqar rrocJreAoBarerE,lrocrL,

droprryr:

a) t1

:

A--+ AY B;

rirz: (A

-+

AvB)

-+

(B

-+

(A-+

Av B));

rs3: B-+(A-+AVB)

6)

mr:

A

-+

(A

-+

A);

ls2:

(.{

+

((..1-+.a)

-+

-a))

-+

((.a

-+

(,{

-+.1))'+

(-4

-+.4));

ls3

:

A

-+

((A

-+

A)

-+

,4);

leq:

(A

-+

(A

-+

A))

-+

(A

+ A));

a5:

A

-+

A7

Vxa>rcrare,

BbIBoAar\{H I{3 KaKTIX

4ori"y,-u1etrnfi

.flB.lrgrorcr

(:.[c-Tl]'-

rorqr4e nocJreAoBareJrE Hocru

$opuy.n,

KaKrre [pirB]rli]

Brrrr]r),{i)

B

HI{X

IICIIOJIb3OBAHbI:

le1: A;

r,2

A

-+

(B

+ C);

:C;

n;3:

B

-+

C; t,1

: B:

n1:

(A

-+

F)

-+

: B;

le.r,:

A;

n1:

AAB;

82

(B

-+A);

'l,2:

.4

-+-B;

la3 : B

-+

.-l;

n1

:

A-+B;

Bz

:

B nC.

: A: let: B; til: Bn,'l:

:

AnC; rjr: A; lr+: B; a:r:

C)

;

!,oxaxute

I,ICTIrHIlocrb B

lrcqrlcJlelil{rl BblCKil3sIBtttutt:t rr.ne,rfy-

rcqrrx

$oplryn,

flocrpor.rB

.trJrfl

r{rrx

AoKasare.rlr}crRi}:

a) Av A-+ A;

6)

,44 B

-+

Av B;

e) ,4+ AnA

r) ,4AB-+BnA;

,q)

.4v B

-+

BY A;

a)

!35

6)

84

n)

r)

lB6

I

'rC

e)

(,4

-+

B)

A

(A

-+

C)

-+

(A.+

B

AC);

x() (A^B)^C-+An(BnC);

s) ,4V

Art,B

-r

A;

u)

T

->Ti-E

-+

C;

x)

AvB

-+AnB;

n)

ZnB -+Av-B:

rr)

.4

nT

-+AvB;

H)

f

-+

TnB;

c)

I

vB

-+A

nB.

'1.

/dox

zpxlrre

crell-vlou{r{e

B brBoArrrrocrrr

rrocrpoeHrrerr

BbrB

oAr} :

a)

.4

+

(B -+

C),A

-+

B,At

C;

6)

A-

B,B

*+

C,Al

B

AC;

n)

X-+Z,Y-+ZIXV),-+Z;

r)

,4AB,CvAtBVC;

A)

A

-) B,C

-+

Dt

AAC

-+

B rt,D;

.') T,l

F-

l'

-+

X;

iK)

:{,

B I

Tn

B;

:;)

A

v B,

At.-t

n-B;

rr)

-Y.l'FXV)-;

x)

r

+

(), -+

Z).7.Y

r

Z;

;r)

A

-+

B,E

Ae tsTTe

.

5.

fl,oraxcure

[prr

r]or\rorqr{

Teoper\rbr

rxe/ryKrrr{u

rr BCex

r{3BecrHbrx

rrpulBr{.rr

BbrBoAa:

a)z-+(r-+c),rFer-+c;

6)

F

a

-+

((a

-r

ls)

+

os);

e)

u,rsF(z-+r)

-+B;

r)

z-+rs,rs-+cF((a-+c)

-+c)

-+c;

157

a)

F

((z

-+

r)

-+

c)

-+ (a

-+

(ls

+ o));

e)

Fa-+(z+r);

x,)

F

((z

-+

lo)

*+

rc) +

(r

A r

-+

c);

e)

Fz-+(r-+zAls);

u) FzVls-+(a-ir)

r) Fnrvls-)(a-+z)

,r)

l-

(zA ls

-+

cVo)

-+

((qA

lc

-+

c)

-+

(zAn

-+

o)).

rvr) n

-+

c,fl

F (z

-+

t)

-+

c;

rr)

F

(u

-+

r)

-+

(zA

c

-+

r

nc);

o)

F (r

-+

r)

-+

((a

+

z)

-+

(c +

ls));

n)gnrsF?r-)ts.

6.

!,oxtriNure

yrBep)KAeHHe:

Ecnu

f,g F c

u f,t

F

c,

ro

f',ztV

l*

F

c-

9mo

ymeeptx-.)enue

nBrxrrerncfl"

$op'tttltt"tt'tt'ut,.u

o6ocnoaantueA"t'

'taaecrnrlozo cnoco1a

0orcasam,enbcmaa,rlaabLao,e,M,o?o

",t*etnod

notr,nod,

undyrct4uu"

("ne7te6oyt c,nyt11r"utt

1.

7.

!,ora>r<trre:

a) u-+ls,cVzFtVc;

6) F(a-+r)

-+(zVr-*);

n) uVlsVc,lsAe

Fz;

r)

F (X

-+

Y) +

(X

Y

Z

-+Y

v

Z);

,q)

F(z-+c) v(r-+c)

-+(zAr+c);

e) FAiVrs-+?rAE.

Perneuae.

a) I. lloxaxcerr:1)

z-+ts,cFrVc;

2)a-+lle_'2tl

lsVc:

l3r: c+tsVa

aIII.2

1)

le,z: a

Aoryxlelllle

lS3

: tS V

C

!32, B1;

lI3

1J8

AOilyul,eHre

.4olyqeHrre

151,

!$2; lI3

ts-f

rsVa aIIi.l

'SV€

!33, l8a; fI3

II. floxaeairo,

r{To

2t-+

tB,ai-

IVc; a-+B,aF

tBVc.

llpurtreHax

r\{ero.q, [oJIIIo

fi IrHAyKrIrzr{, rro Jryarr{iu :

Qr-+r8,aVqFr8Va.

I

E

lloxarxlrre:

a)

F (u

-+

lo)

-+

((,

+

e)

-+

a);

6) F ((X

-+

I')

-+

T)

-+

Y;

n) F

((X

-+ Y)

-+

X)

-+

X.

VKaaanue.

2],o6a,srre

B KarlecrBe

Aortyu{enrrq

r.rctnuuyro

$op-

r\'ryJry BrrAa

s V Ii

(crr.

sarre.raHlre B KoHIIe

$

1B).

x

[oraxute

neln'ry 27.1:

Ecnu

|

-

Herrporr{BopeqlrRoe

r\{Hox(ecrBo

$opr'lyn

ra I l-

z,

To

\rHoxiecrno

$oprrry.n

f

U

{2t}

HerpollrBopeqllBo.

*

llo"nnr,rlr HerrporrrBoperurBbli\r

pacrurrperrr4e\{

HenporuBopequ-

Boro r\rHo)KecrBa

$opr'ry"n

f (S 27,

c.

129) Ha3brBaercs

N{Ho)Ke-

crno

$oprurY"n

Ar TaKoe?

trTo:

l)fcAp;

2) Ar

HeIIpoTI{BopeqnBo;

3)

Ecnra s

/

Lr, to Ap U

{a}

rporl{Bopeqr{Bo.

!,oxuxnte

cnoftctna

Ap:

1) Ec-nr

Ap F

z,

ro a

€

A1;

2)

Ec,rrir

f F

u,

r:o z

€

Ap;

3)

llycrr 2t

-

rpor43Borrbrrafl

$oprrry,ra.

Tor4a

"nu6o

2t

€

Ap,

mr6o a

€

Ar.

l9r

B2

2)

83

84

!35

u

s-+r5

!s

B.

10.

12.

13.

1A

aa.

l<

1;9

11.

*

,{oxa)Kr{r'e,

r{To

[pncoeArllrenrre

x

tr4B o4noft rr3

yKaiiiItIIbIX

rrrrlKe

$opnry;r

B KaqecrBe

rronoii cxeNIbI

aKcuor{ [pIrBoArIT

K

o6pa:onanuxl

rrporr{Bope.rnnofi

reoplrrr:

a) zVr;

6) zVls-)2(;

n) u-+Ei;

r)

(z

-+

rB)

-+

(z

-+

tr);

a)

(cr

+ ls) +

(r

-+

u);

e) zTE

.

x

I4cc.ne.4yftre

Ha HerlporlrBopcqlTrrocrl)

il.lre\Ierrrilplrylo rco-

prllo,

Ilo.ilyqeHHyro

rI3 rICqI4CJreHlIf

BbICKal]I'IBitttltit

iliti\telttlr:t

yxaea,rrnoli

Hr{iKe

cxelubl tlKclIOI\I

Ha,

ee oTpllqi)Irrle:

a) a

I.1; 6) a

II.1;

e)

a

lil.l;

r) a IV.2;

a)

a IV.3;

e) a

IV.l; x<)

a II.3; :)

a III.3.

*

!,oxarxure,

qro

BcflKtIfl cfoplry.ir;r

lrcqrlc.rrelllln

BEI(tKirlJt'I1Ja-

nr.rii, co4ep)Kalrlitf

ro.irt'Ko KoIIbroHrlI{K)

u

.4t1:J't,IoHKIIrrIo,

Irt)Ao-

Ka3ye\ra.

+

Mox<tro

.iIrI B

ucrIrIC.neT{r{II

BbIcI(A,:]bIBi'trlIII"T

jroKiI:JirrI)

:tilK()II IT(:-

K.rrroqennoro

rperbero

(cfoprry.ry

qt/li),

IIe rICrIo.IIb:3yq

('x()NtI'I

axcuor.r

IV.3?

llocrpoerurel,r

BbIBoAa

3ilKJlrorre]Irlfl

rI:J

1'-c.rtoBrui

y6e4r'rrccr, n

,ro

ru.recxoit

rrp trBrr,{t Hocrr{

cre.l(y

l{)ulux

p

il(]oy

x(Aelrrrl"r

:

a)

"flpaur,te

a, u

b HJIII

rliri)ti.tr.[eJ-Illrbl,

I;t.[rT r]epec€lKi),Io'rcfl,

Il.rtr']

cKperql{Balorca.

flpzuble

o, rr b

.ne;N:rr r o4noit

rr.ito(iKo(irll

]I

He

nepeceKarorcfl.

Ec;ln

a r'r b ne;Na,r

e cl4noli

r.[ocKOorII.

To

oHrr

He cKl)eu{r{Balorcr.

Cre4oitlre.nr,uo,

c'

lr ll ntrpit.IIJI€.IIII{II'1

,

6)

"Ecnu

qeJloe

qrrcJlo

6o.nrure

1,

ro

ono

fipocroe

II.III c()criiB-

rroe. Eclu

rIeJIoe.{!Ic.iro

6o.nr,ruc

2,

ro orro 6o.nr,ure

1. Ec.nu

uc-

Jroe

rrrrcJro

60-rrture

AByx

rr

qerHoe)

To oHo ll(j

flpocroe. I{c.ntlt:

r{rICJIo

6onrure

2 rt

qetlltoe.

C.negonerreJ-Iblro)

oIIo cocril,B}Io(t"

.

V

rc a s ar ru

a.

O6osHa.{brre

g.iler{e

lrrill)

Irble

rJ bI cK a3bIR :l,HIr fl 6y

xt; ;i-

I'III.

t60

I3 u.a) ncuo.nr.syrire

rrcrr{HHyro <fopr"ry"rry r43

yrp.

7(n);

n

u.6)

ucno;rr,:yftre HcrrrHnyro

$oprrryny

us

ynp.

5(n)

16.

C-rrarag

l)ac-cylKAeHr.Ie

roflrqecKl.I

[paBr.InbHbIl\I] ecJ.II{ B Her\I

:l?)KJrroareHl{e

B E I BOAII} I

O

r{3 IIOCbIJIOK, rlpoBepbTe

[paB ]TJTbHOCTb

lra,ccv>r<4eHuft:

rr,)

"Ec.uz

qrrcJro

oKaHr-lrrBaerca

qlr$poii

0,

ro

ouo

Aenr.{Tcfl

Ha

fi. 9nc;ro

re.lIlrrcfl

na

5. Cne71{JBare.]rbao, ono

oKaHqr4Baercr

r1u<|rporl

0";

(t)

"Ec:lru

rrrrcJ'ro

rleiroe,

To oHo

pil,quorraJrbuoe.

Ecru

qr{ciro

-

rrecoKpilrr{t\raa

4po6r,

To or{o He r{eJroe.

!,annoe

qrrcJro

-

Heco-

KparlrNrafl

4pcl6r.

C.ne.4ona.relbno

)

oHo

He

paqrroHa,'rbnoeT?

;

r;) Ec.nr

ilocbiJrKlr

rrcrnHHbl

rr

paccyx<Aerlue

np?r,Bl{JrbHo)

To 3a-

ri.[Iotrel{r{e

rI(;TLrrrIIo.

3rlx,rro.rellrte Jro;*iIIo.

Cnc4onnre-rrl,Ho, rro-

(

:br.rrK?J

.rrox(Ht,r

unrl

paccy;riAenne

uenpan[.nruo"

;

r')

"Ec.nu

trrrcJro

AeJrI{TcJ{

I{a 5, To oHo oKaHrruBaercfl

qIa$ptrrrn

[i

lr",ru

5.

rlnc,ro

He

Ae.rrr{Tcg

na 5.

C"rregoBareJlr]Iro, 3To

rrucro

IIC

()KilrlqprBaerct{

ttH

0,

nu

5";

n)

"Ec;.nu

rrnc.[o

-

llpo6n,

To

ono

pi]qnoHa.,Trruoe.

Ecrur

yr{cJro

ue.[oe!

To

ol{o

pi}qrror{a.[bnoe.

C,re4oBareJrbuo,

ecJIH

r{rrcJlo

I{e-

Jroe)

T0

orro

g1:o6r,";

e

)

"

fleiicrrtrrre.[buoe

qrrcJro

l)aqnoHa.rrbHo.

r{Jrrr upparlr{oH?}.rrb-

rro.

Ec.nrr

AeI"rcrrBLITe.[bHoo.

qrIC,rIo

]rppzlqrlona.rlbHo,

To

oHo rrpeA-

(:Ta,Br{r\ro

6ec:Kone.rHori

nenepno4n.tecxotl

AecJ{Trlrrnorl

4po6r,ro.

I{ eneprro.

-rro

4elicrer.{Te.rr

b [roe

quc,'ro

[peAc.ri]Brrro

6ecxoue.r-

rtofi

nepno4rn.rec:x<tii

Tleclarn.rrroii

4po6r,ro

u

6ecxoue.rrror"r

He-

fiepr4o.qtrqecKor"r

.4ecrr]rrrHoit

4po6nro.

Cle4ona:reJrE,Ho,

ecJrrr

4eitcr:nrlre,rbHoe

rrrrcJro

rpeAcra,Br.rN.ro

6ecxoue.nroft

nepno4u-

-recxofr

AecflTlrqHoii

4po6lrc,

To

oHo

paquonanrnoet';

N)

"

Ec.nlr

BA.TEJTbHO,

:0tt,tub:0,Toa.b:0.

#0ub*0";

a.b

10.

C.ne4o-

:'l)

"[.nx roro,

.11cl6r,1

6nrs

Aofiyu{er{Hbr\r

K ceccuu,

Heo6xo-

AI.{rIo

noJryqlrrb

3aqer rro lrlarer\rilru.Ir-.crKof,r

rorI,IKe.

fl noly.rv

Q,

a

161

3TOT3ATIET"CC,III{HAYIIYCbIIPOBEP'TbJIOTI{IIECKYIC)TIPABIINL'-

flocTr,

p;rccylKAeHvir.

5I He IIayqHncfl

ntr)oBel)flTb

norurlecKyl{)

rrpaBH.rrE,rrocrb

pztccy)K4enllrT. cle.4onareJlbHo,

s IIe

6yAy

Ao-

fiyrr{eH K

cecclru)';

v)

"

fnn

roro

j

.rro6El

cAarE,

:)K3aI\IeH)

IdHe Heo6xoArlN{o

Aocrarl)

y.re6Hlrr

I{JIII KoHCrIexr.

f{

Aocral{y

yve6uux roJIbKo

B Tol\{

cJTyr{aer

ecJ'II{

noApyrzl

He

yeAer.

ogir

ye.u,eT'

To,lrbKo

ec.[pl

fl

Aocrany

KoHcrreKT.

Cne4clnare.IlE,Ilo'

fl cAuu\,I

3K3a['{eH))

;

r)

"Ecln

IxyKIxr{

sR.rrrerct{

ono6o,Toli,

To

oH opzuen.

!'trn-

rrsrrt

uryxrurr opaneH.

C.ne4ontlre,rbl{o,

J\trHHbIrYI

uryKuru

rB'nfl

-

ercrT 0no6oJrorl":

,r)

"Ec"utt

cryr

ffB.lrfleTc5{

TyBe,[o]tI,

To olr

onepa.treH'

!,a'nHltrt

c'fyr

-

T)rBe.rt. C.ne4oralreJlbllo

oH onepaileH"

'

17.

"llc.nu

\Iojry.ilr4

rl.lrclloR

3HtrKor{epeAy}olrleroca

pfAir Iuonorouno

y6rtnarcr I4 crperrflTcfl

K

HyJrro,

To

sTor

prA cxoArrrcx'

.tran-

urrii

pr4

pacxoA,rrrcfl

.

C.ne4onareJrl'Ho

)...')

3axon'rnre

[pe2:l'[o-

x{eHr.Ie

rzrx, uTo6ll

[ony'rl{Jroc}'

flpaBr{irt'Hoe

paccyx(AeHl{e'

18. a)

Ecnn sa4lva

perrerra,

To HailAeH

oTBeT

ll:r

ee BoIIpoc.

Br,t

llrl?]eTe oTBeT.

MO;NuO

.lII{ CKiXlaTb.

'ITO

:la.ltrqtr

peurt'Ha?

6) Cne4yer

.nI4

rrs Toro,

{ITo

"e

xoKKefi

r{fpalor

Ilacrognrlre

NIyx{'IuHLI,"

To,

'ITo

"r1lyc Ho

llrpi}er

B

xoKxeliltt?

HafiAltTe

HeAocTaloill,ylo

[oCE

I.]IKy

3T0 I o

p

ac;u])ti2l,eHlafl

'

19. a) PaccirtarpuBafl

lreKo'ropyro

$ynxqnro

/(r),

\Iarel\'Iarr{K

y6e-

ILITICfl,

IITO

OI{tI

I{N,IECT

Pi}3PbIB

B TOqKC

flo.

CNCAOBATE.]IbHO?

3aKJIK)qLIJ1

OI{,

sTi}

Syrl<qllA

He

tIBJIfl€}TCf

aHaJIIITI{'ISCKOi|

B

TOIIKE

tr().

HA

XITXOC

YTBEP)KAEIIIIC

OH

CCbI.IIAJ'ICfl

IIPII

3TO\I?

ecJII{ II3BeC]TrIO,

.ITO

ero

paccy)KAerlue

upa,nn"nnno?

6)

t'Ko.nsqo

[IrIoror{,IIeHoB

or

cl4nofi

reperlel{Hori

rBr'{ercs

cparropua.nbrrr)r\r)

TirK

KaK

Orr0

r{R.rlfleTcfl

tle.[ocTrrbr\r

Ko.IIb-

IIO1{

rJlaBrrbrx

r{AeaJror."

Ha OCHOBaHI{II

KaKOft

TeOpeI\{L,i

:)TO

paccyx<AeHrre

fl B.rIgcT(lfl

rlp:IRI{.IIbnlrlt?

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

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