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

72

flyc:rr' a

:).[eMeHT

rr3

rlnoxiecrsa I\,[. Tor4a

[t(a,a,

...,a,)\1

--

n

(*).

Pa.ccltrotplnr

unrepnperar{I4lo

/',

uony.reuHylo II3

I

cyrxeHner,t

r\rHo)KecrB:)

M

lo

r{rro)Kec1'Ba M'

:

{a.}.

finx

gJreNreHTzr

.f,, oqe-

BrrAr{r), }rrrreplperaurm 1 lr 1' coeua.qarot.

flo

vcroeraro,

<foprrry.na

?t

,rcrr{HHir B rrHTeplperarluu

1'; orcro4a

[(l;r1)(1r2)

. . .

(3r,,)ls(ilr.

it21.

. .,r,r)]1,

:u,

TO

eCTb

(;vUeCTByI()T

:L1,'..2,. ..

rTt,.

e

Il[' ra]K]I/re,

tITO

[t(;r:1,

tt2t

. . ., r,r)f1,

:u..

Ho

rar

Kir,K lrHo)KecrBo M' ollttoe.neNlel{Trroe, To

[r(o,n,,

...,a)]1,: u

(**).

V.rltTltntlg,

tITo

rlllTeprrl]eTaqr{r.r I

v It

l:tJrg

sJrerreHTa a c0Rrra-

ra,x)T-

uo.nytrlrJlr{ rporr{Bopevne (x)

n

(**).

Cne.gonareJrL,Ho,

Harrre

IrlxrArro.[oN(eHrre

HeBepuo,

u

$oplryfi

a,

]'.4oBJrerBopsrcularr

ycJroBrlro

Teolx)Nrbr,o6ulesntr.rrrlta.TeolrelraAoKa3aH?r.

n

Teopenra

L4.2 [I'ycrnb

sa.Mh:r!,'!Jn1na

fiopat,ynat

uuuelor4aa e IIH@

7t1,0,/t|ttr,0.n\a\mopbL

o6uttncmul

^|IJC.no

fiolnopwT

p'

ucTnutLlta

a

nlo-

6o'ii

u,u,rn,epn,'pern,o"'14'ttu,

?ru

.L6?tro2rcecrn6e, 'uJvde?ou,er\1,

rte 6onee

p

gJLe-

.M,et

t,I I t,oa. T o z 0a

em,a rfu op rvr,'g Lta o6'w,eau,a\rr.rJvt u.

troxaaare.nbcrBO.

fllrcl4no.norxr{N{ nporrrBnoe.

flycrr,

$opliyna

2{,

}rNrerorlas

IIH@

rlrr4i) (Vr1)(V.r2)

. . .

(Vrr,)r(n1,

12,.

. .,Tt),

yAoBnerBopser

ycrro-

Blrfirr

Teoper\.rbr) Ho He

o6[1esrraquMa. Torga

naiigercx uu.iepnpera-

qrrx

.I

:

{(M

I); }}, B

Koropor"r

[*]-"o;

rofAa rr

[(Vr1)(Vr2)

.. (V;rr)t(:,-11:n21.

.

.,

ru)]7

:n.

l)ro

gna.rprr)

rrro

<poprtry.na

B(r1,:r2,...,rt)

Ircrrrlrna B uurep-

rlpeTrrrlr.ru

.[ ne nplr BCex

3I{aaIeHHflX :x1, T2,...,rp

vr3 NI

,

To ecTb

OV[le(iTByIOT

TaKI{e

3.II6]I{eIITLI Al, Q2, . . .

,

A,r,

e

l\4,

r{TO

73

[o(or,

a2,...,a',)11

:

t.

(*)

Ptr,ccl'rorpu\r

rerept,

rlnTeprlperaquro

I', [oJIyr{eIIHyIo

ns

1 cy-

;Ker{r{er\{

rlnox(ecrBa

M

lo

rtno){iecrBa

M'

:

{or,or,...,ap\-

flo

ycrroBrrro)

[r]r,

:H,

rofAa

[(Vz1)(Vr2)

...

(Vrr)t(rr,t12,..

-,rr,)ft,

:vr;

orcroAa

no,ryr{aeNr,

tITo

los(ot,

a2,..

.,a1r)]1,

:

u

(**)

Ana"rroru.rso

reopel\{e 14.1,

no.ny'u{nll

nporrrBopeque

(*)

u

(**).

Teopenra

AoKa3?lHa.

tr

.{oxa:anurle

reopel{bl cBs3aHbI

c

peureHl{ell B JIorIrKe

npL'AlI-

KaroB o4nofi

I43 lrn'repecrrel"{urlx

rr caN'IbIX

o6rqux

i\'Iarel{arl'lqecK}Ix

npo6leu

rroA Ha:JBirH[e\{

npo6J'Iel\ rbl

piBpeIIIu\IOCT}I.

V fllro6lrcrr;l

p?llllclllr.ll{ocln

rJ r'ra,'rcvaifurio

u o6rtltru ntl;1c

{xr1-l,rt.v.'rtll).vc'lcrt

circl{y

loulr.r.\{ o6ptuov

:

C,ytt1t:utltl,yt:ttt,.tt,,Lt,e.du,tt,t,tit'|l,.tl,?0l)lLI|l'^t,||'(),'J80Jl''t'|01|tJ'||,

zol

?e1u,1rnrb

trt1yto

:tu)u'y1

tt:t 6er:x:utu:^nro'?o

'K:./tu,u:u,

:trtdttnt

drt'tttuteo

ttr,tt'rt,u'/

Vx;t'ta.ult,tri

iurl'(tpIrr'r{

rt(Jcil'l tti}:llr?lrr

A(

'pu'iJ?t'ttL(11(rrtt,ttit

rt'tt?ttptt'nt,"rtt'.

Nlorxrro

npr.rrccl'li rrpnuopr,r

I)ir;ll)crrra,rr)rlrix

A,in oJ)r.r'l'\rorr

r,lrl

pa,:l.itrrrrtt,tx <16;ltt-

(:'f

tll-l II i!"l C\l iil'lt l(

rl

:

1. A,nzoptnrt"rttbl BtlL'tLl.r(:.tl(.'t11r,,.r.

Tnttu,rtu,til

Ilpl,r\'lol)ov

lit,t(ot'o ?t,JIl

ol)t't't \la, rlt.iltl-

c'rcfl lr:lllccnlt,tfi t:rroco6

pil:Jirox(clrut

r\c,ror'o

!rrt(:.iril,

IIil Irpoc'l

t'tc \lltox{lt'f(l-

;ltt. 3'ro't' crroco6

nJ)r.r\rcrr14It rt ,,r116ov.y

l\cirouy

,u.'rc:ily,

ttol)'lov)'

ttpo6;tttrttl

l)illll)CIllt{\lOCtrl

j["ilg

lli-t,ltllOM";lil,(:cil

lt:1./;(arl ['l\l0o'l IlO.ilo){itl't'Crlbll(X}

I)olll0-

il 14C.

{pylnrr

Ilpl,r\.{cporl

iun'oprl'rr.{a,

r}r,rru.r(:ilorrnfl

rro)r(c'f

(:.ir})lil{'rl

dxrprrv-

jril jl-rln

pcrrrL\Irnr{

,\'prluncrruH

-l'(:r;)

:

0,

r';1c

-F-(.r)

-

\urol'otrircrr c Kotilt-;tct(c-

rrr,rr.rrl

r<orrlxl)hr{r'rcln'ilr{n. Irl:rrcr:'r'rro.

,1'1'11

1lfi111ci,r <lxr1rrty.,1r,1

i;lirr'r

pcrtrolrlti{

ypilnrrclrnfl

.;uo6oii c'i t:rr<tnr,r u(f cvr[()c'l'rJy(]'r'.

'ro

c(.:'r'r' Irpof)Jlc]ril,

I)tl,:llx)ttlIt\.to-

c'L'tt

)\.;t'A;lallll()l'o

I(ilil,CCa

:liVlil,rl

t! l\oilO\l

Jx)llla,c'l

(:tl

Ol'llLll\?lrrLr,11'1;11.

Q.'1ttiltto

vKil,:itrlrilH

lrpo6;tc.rrir

il.\rccr

prl,\

(!.lrj'iHrrru,rx

pcrrrt.rtttttrr.

Tnx, tt

trrKoillltto\l

K)'ll(:c urlicrririrrr(n ll:l,vrrir,x-l'r'r.:a

<|roplryir)r

l(";rn

i)crncnl'rn

ylrirt;ttr:ttttii

tt<1r-

tutr'r n rrlopori c;'r'cncrrcii:

lrrrcro'lcr <lrcl1lr,ry,u,t

,,lirt

pclttcltltt

l,pa,tttlcllllit

13-r,'t

n 4-l"r ctcttctrcir

(<fopriry";rr,r

Krt.1r,'1a,rto

r'r

(Drr1-rpaplr).

Brt<tct'c c'rcll, iloliiulil-

rro

(H.i\6c"'rr,,3.fa';rya.

20-o

r'o.jpn XIX rr.)^

,r'r'o

yl)arlrcrr.rc.;tto()t.rit c'l('rrctur

rrr,urrc 4-l-r ilc rr\,lo{l'r <lroltr

v;tt't

il-;I'l

I)ciltclltlt

tl

tl6ttlort rtrt,'1t].

2. A,neoltu;tn,nt'N tt,oc'ntpoalLu.z. K

rrtrrr

()'r'r(x:H'r'(:r

o6ttluc ttlrttcxt,t

IIoc't

l)octttttl

'lCX

I'litl.'l t'llll,lX l'(-'(r\{C'l1)l{tlCCl(ltX

\lCC'l fO'l(ll(

,

Ilil'llJ)I'l\ICl),

C: IIo}lOlllblO

I(llJ)t(y-

.;rr rr

jrurciinr.r.

[)1r<t6.'rcvtr

pil,:J]l(:ltrrirloc:'l

n

.;[ill

B'lor'o

I(.;tituci),

:3ill(it,'t

'lilKx((]

l.

II

71

IIItCC'l

illllllr'

rlilc'ftltlllhlC

J)(llllollHtl:

tl:lttcc't'ilt,t

I)itr:litl{,ilunO

ilil-oJ)H'1.\tLI

Ir(.}-

(:'lJX)clltl'l

c llolloll(blo

Ililpl(Jiil:{

u ilHllcllt(tt,

Ilo)

n'fo

)ric

rll)crrr)

9:jllcfj,l.1l,t

ll

llepil:lJ)cllll{r'll,lc:iiv(i).rlH

Il(]-4o6rtol-o

Iilil;t,,

(:r(il,)t{c\t,:lli.l,tlcl}tt.t,rc

lil_ilit.,r[{

/:tpcrlilocl'rr

o

'r'i)Hcerflur14

J'riril,

)t\llocrrhH

Ky6il

H

r(|ra,,tl)ixf),J)e

KJ)yl.a..

3. A.nzoytu,nt'-n'tbt'

p(t'utol.LuailItrtJI.

C ux

lovnttlr)ro

/ra.'r'cr

o.t.rtcr.

1il,

RoIIJ)gc:

IIJ)llllaiUICI(u'r

-;lh

:l"JlC\tCII'l'

Otlp(Tlcjlellllol'o

lll,t/\itr

IJcKo'r'opoMJ

\.trr{)Xcc't.t}},.

fIlxvcl-ror,r

Ito.;toit(H'tllirr'rror.o

pcrlcrrrr

rrlx)6irc\rr,r

prr:lpcr;r{\r;c.r!l

:l'r.ol.o

.l.s-

Ita

'lBil'Ic'lCtt

pa,Cll():lllilllArlHC

Ilp(Xl]'O'l'l,l

Ilcil(JI'O

rtHC,;Ia.

Piltpclti)IO1tH\r

a-;l-

r()pH'fl'loM :l/l{lcl,

tllt.jlttc'lct

'fo'l'

)tc

i),itfopt{'r'r.{

pilliro)t(oilil,'I

rra

r-riloxtl{.I'c.jlU.

B

rrcprofi

rirttrc,

rllilx'r.nrrccKr.r,

npr4Bel\trjtuct,

])i)3pclriltolt(xc;L,rfoJ)r{.l.l,rrrr

,:{ilt

pi}Cll03tlt}ltil,llHrl

'l

OX{/(CCl

l'lCIlllOr''l

,lc'rlltttloc'fll

(r'9>x;1CC,r'ltCtrrrOfi jtO)tiltO-

(:1'Ir)

Ooi)r'lyil

a-ult'c6ptt

tlt,tcr(il,:lI'nliulLrir --cttcLa,u;rcuuc

.l.a6julrl

,t(:.t.hruoc,r.fi.

llpt4lJqlCtlt4C

I(

KOlt'l,lotll(l

lttltttlfi

tt.;tt't

,iUI:l'l,lollK'r'unrrcli.i

rrrtltuiUtr,rr<tfi

{xtprrc..

Ha,tu,rllc.

:)'t

nx iL;ltoi)tt't'r.tott

It1;3no.;tro-1.

:lrl,Kjlto,t1.t.t,,

rt.l.o

Il

a;1 c6J)L,

ul,Icl{il,_

:lI'llrd,rrrrr,"r

rrpo6jrerrir

pillpcurr{vOc,rr.u

pcrrrilc'r.cg

rro;r9xlr.r.1;lr,rrg.A

B

.nornxe

npeArrKir,ToB

npo6.[e

Nr

a

pi*pe

mr{]uocrr.r

d)op

r\ryJrr'pyer_

cfi

TaK :

CA U,eCrnB y

ern

Jl,u

p

asp

eu,a?o

14urt

A.n

c OplJ|

n,A,|,,

n

o 3

a o l7,J1,1OUt,'U1i

dna

nrc6oil

$op.mynut

,xozul{,u

npedu,Kamol

sa

Kol{e^,troe

r.tuc,no

,u-Lazoy

lt3?ram,b1

o6t4eauauurvt&

oHa'ullu

Hem,?

(C y-ler:orrr

BblBol{orr,

rrony_

qeHHbIx

B

KoHr{e

5

11,

NIo;'I(Ho pi}ccN{aTptrBirrb

roJTbKo

3?l,rrKHyrbre

cfopr'rynu).

B 1936

r. A.9epv

(CUIA)

perrurr

ory rrpo6,,reil(y

B o6rqelr

c.r-ry_

'rae

orpI4lJare'[bHo)

AoKasaB

orcyrcrBue

eAI4]Ioro

pa3peilraruulero

ZINfOPI{TTI?}

A.IIfl

BCEX

$OPIrY,r

IOII4KH

TIPEAI,IKIITON.

BITCCTC

C TEI\,I,

OK A3bIB

AIOTCfl

YCNCII]

HbI

I\I II

NOI{C

KI{

PI}3PCIU

Aru

qIIX

AJITOPITT

I\{

OB

AJr

f

6o"nee

y3Klrx

KJraccoB

$opnryn.

Ttrxne

aJ-rfopr{Tr\.{br

cyulecrByror,

B

I{ACTHOCTI{,

AI'T

O6OUX

K.IIU}CCOB

$O1XIY.N,

OII,ICI}HHbIX

B

TCOPC\{A,X

14.l

v

14.2.

cyrquocrr

rra3BzrHHbrx

pr*peuirrorqr.rx

arropurr\{oB

cocror.rr

B

cJreAyarqeN.r.

1 . Iulcc;re.4yercr

rroBeAerrHe

$oprtryjrbr

Hrl

npolr3BoJrF,Hor\,r

KoHe

lr-

HOIU

NIHOX(ECTBE

C

COOTBCTCTBYIOry}IIU

qI,ICTON{

S.NEN.IEIITOB,

2.

Ecnn

$oplryn.

[rcrr{H'.,

Ha

BCex

ri}Kr{x

Korreqrrbrx

r\{rro)Ke-

crBax'

To

IIo

reoperre

r4.r

u.nn

14.2

$oprrryna

o6u1e:ni]qur{:r;

ecJrH

$oprrryn:r

Hcrtr'Ha

He

Ha Bcex

raKux

1v{Ho)KecrB.,x,

To

A:}HHax

sop-

IuyJIa,

pa:y\reercr,

ne

o6u1esuarrtrrtr{a.

7it

Paccrtrorpurr

4efi

crnne

[pIrBe./teHHbIx a.irroplrrl,IoB Ha nppll'r cli)irx.

llpe4e:rpn're.irr,Ho

yKif,;rierr

ABe

oqeBr{rHblc

p?rRr{ocr{Jlbrlocrlr

Iri} Ko-

HeqFro1r

NrHox(ecrBe M

:

{ot,0,2,.

. .,,2,,} :

(Vz)r(r)

:

a(or) n a(a,2) n

(32).a(r)

:

q(a,r)

v a(c2) V

A z(o,,)

V lt(a,,,)

(*);

(**).

flprarvrep

I 4.L IIp o e epuTrl,b

o

6ut,esuuutt.Mocnt,tt

$optt

t,g.nat,

(lr)(ly)(Pb)

nQ(il v P(.r) v

Qki)

Pemerure.

@oprnryna

ArrHa

B llH@ u coAeplr{rTT To.rrr,Ko Kn?rHTopbr cyrr\e-

cTBoBaHrrs.

lloeror.ry

paccr,roTprrN{

3Ty

c}roplry.ny

B npoH3FoJll,rr(rr:i

I{r{Tepnperarlxr{

Ha \'rHo)KecrBe tvt

:

{a}.

Htr cictronttrrnrr

(**)

.

c}rop-

lvryJ'ra

B e:roii rnTepnpeTir,qr.rlr nplrBoArrTcfl K BrrAy

ffi

n

Q(o)

v

P(a)

';

Q(o)

@o1.,n5'-'r61 P(a),

Q@'),

P(o),

Q(.al

n xnNi4oi:r Hllrepnpe'rilrlrlrl

flBJItIOTCfl BbICKa3bIB?IHIlflvtI4, U\IeIc)xILll,Iu:lHiItIeIIlIe

t'utt

l{.lrlr

".il".

O4naxo

rICHo,

.ITO

B

pa3ublx

rrr{Tr-pnperaru4rx

3HarreHrrfl

3TIrx

Ebr-

cK&3brBo,Hr{fr

uoryr 6r,rrr,

pns.nuqrrbrr\r}r.

floorolry xa;N4rui }ri

:)Tr{x

CIII,IBOJIOR

I\{OXHO IICTOJIKOBaTb

Ki}K 6btCw(Iit'til,nQ,171,€.n1trt,!J1o IIepe..M,e?{,-

H,UW, z) Bclo

$opruryny

-

K:IK r$o1t.ur1.ny a,.,t,ze6put nab(,cKa,itbLla,lt,'tr,'t'1..

llpnne.qa ary

cloprr,ryny

x KH@

([

5), rn'reerrr:

(q;lv

P(u)

v

A(o))

n

(Q(a)

v

P(a)

v

A"))

3ra

SoprrryJra

rolKAecrBeHrro r{crrrrr}ri}

n

a.nre6pe RbrcKi}3r,rBrr-

nnft.

gna.rur

ee

flcrprr{HocrE, rre l]zrBl,rcrrr or r.rnrepuperarlrr.

C'.itr:4t>

Bare,'rt,rro, LrcxoAnarl

$oprry,ra

rrcrrrHrri.l, s .nrc6ol'i rrHTcplpcriutrrrr

Ha ruHo)KecrBe I{3 oAHoro o.rreNreHTi}; rro reoperre 14.1 o6rrle:,rr{irrrr{-

N'ra.

n

flpralrep 14.2

Ilpoeeplrm,b

o6ute:tu,o,ultt.tvt,ocln,tt

rfiop.u,y.n,tr,

l

')l

lr,

(lr)P(.r)

-+

(vy)P(y).

Perueure.

fllrvee4err

$oprrry;ry

x fIH@:

(3r)P(r)

-+

(Yy)P(y):

=

{vL:)P6

v

(vy)P(y)

:

(vr)(vy)(tr(d

v P(y)).

flllonepulr rrcrr4HHocrb eroft cfoprrry.rrbr

Ha nro6olr Nrriox(ecrBeT

coilep)K?uqelr

ne 6o.nee

AByx

gJrer{(}HToB.

.{nn

aroro

paccTuorprnv{

nl)olli]Bo.nbHylo llHTepnperarlnro

Ha r\'rHox(ecrne

M

:

{a;b}.

flo.nr,svacr

(*).

rpr{BeAer{ cfopr.ry-rry

K BrrAy:

tP(a)vP(a)) n(P(a) vP(b))

^(P(b)

vP(a)) n(P(b) vP(b))

B lrrore rrh{eerr

$opuyny

e

KH@, no xo.ropofi Br{Arro,

yro

oaa He

r'()>r(/re(;TBernro

rroruHr{a

R

;rnle6pe

BbrcKa3brBarurfi .

OrcroAa

nIo)KHo

rJilK.irrorrrrrrr.

rrro

ucxoAuaa

<fopllyJlil,

B JlorrrKe rrpeAr4Karos

He o6-

IIlOllH;l,aIIII\{it.

!

NIr,r

p:rcc'rrorperlr

4eiic,renc

pa3peurarcxlr.rx

anfopnrr\.rorr

AJrsi

,rBVx

ri.Trilccoe

cfoplry.;r.

C

nolronlbro

DTrrx

aJrropr{T\{on

no ,rxr6ol"r

rloprtly.ne rr:r

/IarrHbrx

KJIaccoB r\{o)Kuo

3a KoHeqHoe lIrICjIo

IrIaroB

.\:l'iirtl:I'b.

o6ruesgtrqlrllrr

oHir r{.[u

Her. Pear[sorarb

orrrrcalrHble aJI-

|OI)IITIUbI

OKI]3iI,JIOCF,

BO3I\IO)KHbII{

nOTOI\Iy}

IITO

TeOpe\rU

14.1 lt I4.2

rro:.rBo.rrflror

rrpn

pilccrrorpeHrru

o6rqe:lrrtr,vnr\{ocrrr

$oprr.ry"rr

orpaHr4-

(IL{Ba,TbCg

KOFIeTIHT,IIUT{

I\IHO}Ke(:TBar.rn

(na

KoTopblx

noo6qe i\IOx{H0

perrrnrb

B npr{Hrlune .nro6oit

Bofipoc uepe6oportr

snelreHron).

Orcy:r-

crBne >xe

o6rqero

pasileuaruqefo

anfopllrlta

o6tgcnt{ercg

reI\I,

r{To

rreKoTopr,le

droprrylr,r

[o-pa3rloNry

Be.Ayr

ce6s rra KoHerrHbrx

r{

Ha

6cr:xoueqnu

x

rlnolr{e(;Tsax.

Taxofi

,

Hanpl{Nr€lp

)

fl RJTa

ercs

$oprrry.na

:

1v',;)(v'u)(V;)(T\;n

n

(P(r.

u)

^

P(lt.:)

-+

P(:r,z)))n (V,u)(trr)p(u.rr).

Ltiunas

cpopr'ry.na

rrcrr.rr{Ha

B

prHTepnpera,r{ur{

{(x;

<);

.\},

to

ecrb BbIfIoJIIIlINIil

II?)

6ecrKolleallror.r

l\IHoN(ecree

N;

Blvlecre

c rel\{,

/{alrlri}s

droplryla

}le BbIfIoJI}IrI\Ia

Htt Iri}

KaKorr KoHerrno\r

\tno)Ke-

t;rec

(s'ro

xoporuo

BnArro

l.r3 ec

"co,i1ep:Nauxf").

Sror

$axr

uorca-

::tbrBirer,

r{To

B o6rqr:rr

c.fiyrra.e

l)?]ccrrorpeHue

$oplry,u

He

cBoArrrcfl

K IioHCqTIbIl\{

AIHOXTC(:TBt}hI.

77

3aue.raHNe

74.L

Ha.mt"que

p&apeumrcI4ezo

uJlzopurntv,a

d"tn

n'erco'

r|t,opozo

K.necca

$op,n'y,n

no3ao,n,'fl'em'

pe'wo'm,b

sonpoc't-L

o 6btrLo'/L?1'u-

JvtocTrnJ

maKur

$oTtrvtytt.

B

ca,uoa, de.,t'e,

r$opuyJlo"

2ti oueeudu'o,

ue'

u'bln,or"LltLrJfla

moeda

u rno,nbrco

moe)a,

rcoz)a

u

o6u,es'u'rtult'"vtu.

[Io'

Jrnol\ly

dna

npoaepvli,

ebLlLol'Lrl1lpuocm'u

rte'rcomopoti

(top,twy.n'ut'

)ocmct'-

Tq,OL}TO C

noJtt'O1\bto

'U3AeCrrL'H,O2o

pa3peulq,toul'e?O

A,/LeOpUrn.M&

rl'poee-

pur

ftb o 6u,ea

na^+u"^,4,o

cmb ompuUal

t

un

sm ofi

tfi op

Lrr,y tt't

r,

-

BOnPOCL,T

14 3AAAHntr

Ail,fl

CAMOCTOT{TEIbHOIZ

P;\BOTbI

1. I Ipc.qnxtlTbl

)

r{x

\IIIOiKecrBir

tJCTlIr{IIocrlI

1. B

.rerr

cylrlHocrb

rIoIrflTIrfl n-\tc'c:THoro

[peAl{Kil,Ttr'/

Ptrcxlloiire

Ha

nprrNrepax.

2. Pitcxpoirre

coAep)*izlHl{e

rlol{flTnfl

"\'IHo;KecrBo

ITCTIII{HOCTII

npeArlKirr:I"

gJlst

olJrlo

-,

,4Byx

-

LI Tpexrlecrl{blx

rrpe.Al4KaroB.

2. Oueparlllu

HtrA

npeAlrKaritllrl

1

f{ari

re

onpeAerJ'IcHrlr

Ko rlblol{ KIIu

u,

AI.Itl'b

IoHK llllu,

r{lvl n.[r{K

illlrrrl

u 0Tpr{qa,Hrrr{

ilpeAlrKaroB.

2.

!,oxa,x<nre

coortlorlcHlrfl

IuHolKecrn

IVI,'(P AQ),

M,(PV

Q),

Iu|,(P

-,

Q),

At,.lP)

c r\tHo;.Kc(rBilr\rn

,1/,.(P)

n ll't,(Q7'

3.

I{r,rtruropr,r. Cscl6ognble

II cBq3:rIIHbIe

[epeN{eIrI:IbIe

1. B

.reri

cyrlluocrb KBtrrrropoB

o6rquocru

rr cyu{ecrBovagns'l

2. Kax ofl

peAe,Tfl

lorcrr

rrcrl{Hnocrlrblc

3IrzIqeHLItr

nr,icxasr'rnzrnuii

(Vr)P(r)

14

(1r)P(:r)?

3.

Kax Nlcl{flclcfl luecrHocrb

[peAl{Kara

rIpI{

cBfl3I)IBaIrr{I.r

oAIIIrrI.

ABJI

\{r{ r{

T.

l{.

KBaH'roptrlt{u?

flpr.ree4ure

rIpI{I\{epE

I.

4. B

.rerr

persJlr{r{ue

rlex(/{y

cno(lo4nltllu

II cBfl3i}HHbllvlr{

[epeN{eH-

rf frf lf U?

78

5.

9ro ttpoucxoAnr)

ecJltr{

rloN{el{trb MecraNlrr oAHoI{NIeHHrrIe

rr

pa3HOI{NIeHUr,re xnarrrOPr't

?

4.

(Doprrra,rbubli.i

fl3F,IK I nopa4xa

1. Oulrurx're

ocrroBHble

3Tanbl

rrocrpoeHrrlr

Sopltarrnxoro

t3blKa

I nopx4xa.

2.

Onuruure

an$anrar

Jlorl{qecKoro

I'I flpe,Al\{eruoro

t3EIKa I no-

pflAKa.

3. Onururme

3ilelvleHTapnrre

$oprrlyJlbl

.rrorr{qecKoro

t3blKa.

4.

Onpe4enrrre

replu

nexotopoft

crrfxarypbl npeAluernolo

s3blKa.

5. Onnruu:re

gJreMeaTapnr'Ie

$oprr.ryJlri

npeAMerHoro fl3blKa.

6. Onpe4e.nur:e

$oprrry.ry

HeKoropoit

crarHarypbl

fl3bIKiI 1 nopn4-

Ktl,.

7. Onuruu:re

coAep)Kare.nbnble

aHaJIor[

TepIuoB

ll

$oprryn.

Vxa-

X(lITe

pa3HIIIIy I\Ie)KAy

BbIpa)KeHI{sN{I{

U [pe.4JIO)KeH]Ifl

I'II'I

Co-

Aep)KareJrbHoro

NlaTeNlarr{qecKoro

s3bIKa.

5. CeltanrraKa

crrequaJll,HtIX

cIr]\IBo,ToB

1. B'lelt

cyrrtrHocrb "npurlllcbltlaltHfl

cI\,IF,IcJIat'

cueqila.nbHbll\,I CI{I\I-

BoJr?lM

cf oprrransnoro

xesrxa? floxtrx<ure

Ha

nprll{epe.

2. kIs

KaKrrx

.rac;reft

cocror{T

lrHTepnperalllrr

cleqrra.IlbHblx cutrI-

BoJroB

Hcxo'ropoit

<'ltrHarypt,t?

3

.

X,airre

oilpe.4e

J'reHI.re

fiHTepnperi]qul{

cleq}IaJIbIrbIX

crrN'IB ono

B

nexoropoit

clrrrlarypbl.

4. B

.{err

3aK,rrroi{aercs

porb

lrlrreprlperllpyrctqero

coorBercrBl{t{

B HnTeprrperaqnn?

5.

floxmrure)

KaK

olrpeAenrercs

B IlHTeplperaqpln

rrcrl{rlHocrb

s.ilet'IeHTapnrx

rpoptty.n.

6.

@oprrry.nu

co cno6o4lrbl\Iu

fiepetueHHblt',Irl

1. Kaxoft

Br{A

LINIeer

$oplry.na

co cno6o4ublrlll

rIepeN'IeHHbIN{pI;

KaK Bener

ce6s

e

t{HTcp[pera\uu?

7!)

2. B

.rerr

pa3nr{rla

Nre)KAy

$oprry.,loit

r;o

ceo6o4ur,rruu

rrel)er.rcrr-

HEu\r[

r{ 3ar\,rKHyroii

$opr,ry.nori

?

3.

faiire

oflpeAe-rrearrs

ro)K/:IecrBeHHo

ncrr.runoit

u Br,rrro.nHmrol--r

B

rruTepnperurrlzu;

o6ulesua.rr.rrroli,

Runo.nru.rlroit

$oprry.;rr,r

co

cno6o4ntrlrlt

[epeNreHHbr\rr{.

4.

Kaxre

$oprrry"nu

flB.rrrro.rcs

He rox{AeclRcrrHo

r.rcrrrr{ubrNrur.

rre

Bbrrro.[Hr4r\{brr\rn

B r.rr{Tep[peraqux?

FIe

o6n1e:Ha.urrrurnrlr'/

He

ebrnO.ntrnlutLrlrLI?

7.

3arrxnyrr,re

$oprry.irbr

JTorr4Klr npeAr{r(

rrroe.

3arrnrxirHlrs

$oplr)rn

co ceo6o4HEirrrr

rroperueHHbrrurr

1.

Irro

raKoe

3a\,rKHyrafl

$oprtiy;ra;

K;tK

BeAer cc6s

n rlHTC.prIXr-

ra{un?

2.

B

.{err

pa:Jur{rla

rue)KAV

$oprrrynoir

co r;n<,r6o4nbrr\r}r

rctpeNr()rT-

rrErlrrr

r{

3ar\iKnyroii

$oplry.noit?

3.

flaiire

olpeAeJTeHLIR

o6u1cl;tra.rrr\{o(:Tn

tr Bbrno.]rrrur,roorlr

'la,-

rrrxn,l'Tori

cpoprvry;lr,r.

Ktrxne

3iuuKrryrbre

dropuy"urr

fl B.irfl ro.r(:d

He

o6rrlesn:r.rulrrrrrn

?

He r:lruo.n

tttrlr r,rrr rr ?

4.

{artre

olpeAeJreurrs

3arrbrKarrufi

<poprry.n

co cno6o4ubrNrtrr

rre-

peN{eHHL,INTI{

I{ IrOKU,;'KIITe)

fJIe OIIII

\IO|V'I

I,ICTIOJII:joBitll)(tfl.

B. PannocuJrbHocrb

$oprry.ru

.rtof LrKr{

npeAr{Kirrou.

Css::r,

N{r{o)KecrB

ucl.rrHHocrrr p?lBuo(-.rr.rrbrrbrX

rltoprrry.n

1.

flzritre

o[peAencrr]re paBHocr,{JrbHocrrr

$oplry.n

o

oAFrr.rrrr{

rT TCr-

rII{ iKe

cno6o4rrr,rIr,tn

fiepelrerrHr,rNlu.

2.

[oxaNiHTe)

rrro

4se

cfoprrry.rlbr

co cno6ognr,rirr]I

ficpe\rerrrrr)r\r]r

paBHoclltJrbr{br

TOrAa

u To.,'rbKo TotA:1,i

KofAa'

e .nro(;or"r

r.lrrT(.)l)-

npeTaqLII4

COBnitAiUOT

IlX N{HOiKeCTBZ}

LICTIrr{HOCTH.

9. Paenocnirbrrocrb

cloplrlr.l .,rrorrrKrr

rrPeArr

Kator.'Ieollerrr,r

o

pa

Br{ocrrJrr,rrr,rx

dro

plrynax

1.

fafire

olpeAenerrlre

I)ilBrroclr.rlt,Ho(]Tr{

cpoplry.n

c o4rruNrrr

r.r ro-

Nrrr ;Ke

cno6o4tll,tlru

[epe\reHFlbrr\{u.

li

I

i

il

80

2.

.?

{.

/{oxaxrute

reope\Iy o cBfl3blB?rlrlltr{

KBaHTopa}Ir4

paBHocrr.nb-

rux

dropuy.n.

!,oxaxcrare

reopeluy o KoH'L'roHKqr{rIr

.qI'I3'r,IoHKqI{I4,

I{I\'ItrJIrrKa-

r\firr

ut orpr{rran}rrr

p

aBHOCITJIru

srx c}opltyl.

floxarxure

Ha npui\{epe,

KaK

,qoKa3bIBaIoTCff

B JIOffiKe

npeAu-

KirroB

paBHocn.rrbnocrll anre6prt eblcxa3rreanuft

.

10.

Ocnonnbre

paBHocuilbnocrrr

rTorr{KH

npeAI,IKaroB

!,aft

re onpeAeJrer{fie

paBHocLI

JIbHocrI4

g

aI{KHyr},Ix

$opuyl.

j]oxuxure

ocrroBn[,re

paBflocrrJrbHocrl4

JIornKIr IrpeAI{KaroB,

(.)nuIIIHTe

CyI{HOCTL, fJIaBHbIX A3 I{IrX.

1

1.

llpegsapenHan Hoprua.rrbHa,n rlopna

$oprnry;r

Onurun:re coAep)Kanr{e uonqrr4s rrpeABapenuoft

uoptr.tanruoil

<

pop

rrmr

<f

op rtv.nnr

Jrorr{K

r{ [peAI.rK

aroB.

floxuxnre Ha rrpn\tepe, KaK

Nro)KIro nplrBecrl{ x

fIH@

"nro6yrc

<[ro1lrrry.nv.

jJ,oxaxrne

reoper{y

o

IIH@ B .rroluKe rrpeAr4KaroB.

1 2. flpo6.rrer\'r

a

p

a3pclur{N

rocrrr

B .rrorr{Ke npe..quK aroB

,{oxax<rrre

reope[{br

o6 o6ulesuatrtr\rocrr{ sarvrxnytoft

$op-

r{yJrbr) lrrrerorqefi

e ilHO

roJrr,Ko

KBaHTopbI cyqecrBoBanns;

'r'o.rrt,Ko KBa,HTopLr o6ulnocra.

Ptlcxpoftre

c;ylrlHoct npo6"terttr

pa3pemuluocrl{

rra npl{Nlepax

rIlS

pil3Jrrrrlnnrx

o6lacreft lrareuarvrlxvr

tt Jrof I{KI{.

C$opnry;rnpyitrc

npo6.nerry

pa3peruur{ocrr{

B rrorr{Ke rrpeAr{-

KTITOB.

()

ntrurrrte

p

a3perxi-r,purne aJTroplrrl{br

AJrJr

HeKoropbix KJraccoB

rpoplry"n

;lorrrK]r

rrpeAr{KaroB.

l.

z.

a"

I

t-

!)

a.

4.

6I

1.

2.

YNPA}KHEHI4fl

Ha rrrnoNecrse M

:

{1,2,.

. ., 10} sa,u,arrbr

npeAr.rKarbl

A(r) :

t'tr

-

He.rernoe

.rl4cfio";

B(r)

:

"

tr

-

AeJrr{TeJIb

.rr,rcna

60".

a)

Cocranrre

ra6.nuqsl rrcrlrnnocrvr

Arrn

3TI,Ix [peAuKaroB

]I

llx

or:pHqanurl;

6) uarl4nre Mrrox(ecrBa HcrrrHHocrl{

rlpeArrKaron

A(r) w B(r).

II aii4ure

ruHox(ecrBa rrcl'r{HHocrn

cJr e.Aylou{I4x npeAIuIK aroB,

3a-

/qaHHbIx

Ha

)rKa3aHHbIX

MHOIKeCTBaX:

a) Pr(r)

:

r

Kparno

3,

M

:

{1,2,3,

4,5,6,7,8,9};

6) P3(r)

:

rKparHoS,M:{2,4,8};

s) Pa(z) : 12

+4

> 0

ua uno:Necrne

lR;

r)

&(r)

:

sin r

)

1 rra

nnox<ecrne lR;

a)

Po(r)

'.

:xz

+

r - 6:0 na

rrnox<ecrBe

e)

Qlr;y)

,

*2

1-

y2

:0,

r,

E

€

ltt;

x)

Qz(*;y):

r

Aeirnr

Aj

M

:

{2,3,4,6};

s)

Qr(";

y)|

nIy:10,

Ar[:{1,2,3,4,5,6,7}.

3.

H

afi

Aure

lrHo)KecrB a r{crr{rruocrr{

cJleAyrofi+rx

[peAI4K aroB,

3a-

AaHHT,IX

Ha I\{HOX(eCrne

R :

a)

&(r):

12-3r*2:0;

6)

P2(r): 3r*8>7;

n)

P3(z)

: 12

-

6r

*

14

:

0;

r) P5(r)

'.

rr

-

8r

:2r2;

,q) &(")

:5r2-3r*4<7(r+1)

.(r-z).

4.

flna

rporaaBorrbnr,rx

qpeAllxaron

P(r)

H

Q@),

3aAaHHbIX

Ha

rlpou3BoJrbrroru

Mrro)KecrBe M,

noxa>xure,

qro:

a)

M,(P

n

Q)

:

M,(P)

^

M.(Q);

6) M,(P

v

Q)

:

M,(P) u

M"(Q);

z) M"(P -+

Q)

:

CM,'(P)u Mr(Q);

r) M,(P):

CM,,(P)'

R;

82

5.

tr'Iso6pasr{Te

rra

KoopAr.ruarnofi

nnocxocrrr

r\,rHo)KecirBa

lrcrprH-

HOCTI4

CJIe.AyIOtq[x

[peAr{KaToB,

3aAaHHbIX

Ha r\IHOX(eCtne

IR :

a) (y

>

tz)v (a.

-t);

6) (*,

*y2

> 1)

-+

(z

<

y);

u)

(r>y)

v(y<0);

")

(r>y)-+(yS0);

a)

(sinr

> 0)

n

(1"

-

2l

< 5)

A

(lgr

>

1);

")

(r'

*

!r2

:1)

n

(y

<

0);

*) (l"l

>

2)

-+

(l;rl

< 3);

=)

(r2

> 0)

-+ (r2-2r-3

t o)'

v)

(r2+y2

>

1)

-+

(*y

<a).

6. Kaxralt

ycJroBnflr\{

yAoBJrerBopsror

r\{Ho)KecrBa

r{crr{HHocrr.r

npeArrKaron

P(:r) n

Q(r),3aAaHHbrx

Ha

Mno)Kecrne

M, ecnu'.

a)

[P(r)

n

Q@)]:u

ilpu Bcex

3Haqenmax

r

E

h[;

6)

[P(:r)

n

Q@)):.rI

rpn

BCex

3Haareuunx

r

e

IVI;

e)

[P(r)

v

Q(")]

:I{

npr Bcex

3Harrenuax

r

e

M;

r)

[P(z)

-+

Q(r)l:u

npr

Bcex

3Har{enuax

r

€

M;

a)

[r(r)

-+

8(")]

:vI

trpv

Bcex

3Haqe:rrnsx

r

€

M,,(P)?

7.

flpouurafire

cle4yroulrle

3anrrcu;

onpeAenrrre

HCTrrHHocrHEre

3lra{eHllq

AaHHbrx

BbrcKa3rlBauuit

(rr

w y

rprrHur\{aror

3uarre-

Hlru

u:t lrrro>xet:r.na

IR,):

a)

(vr)(lrl

> 0); 6)

(:r)(lrl

!

0);

n) (Vr)(.r2-1-("-L)

(z+1));

r)

(ly)(s*s:5);

d Fa)@2*v*

t:o);

e)

(vy)(az

*y*

1

>

o);

B. Kaxralr

ycJroBrrflr\r

yAoB.rrerBop-flror

r\rHo)KecrBa

ucrrrrrHocrr

rrpeArrKaron

P(r)

r{

Q@),

3aAanHbrx

Ha r\rno)Kecme

,4,/.

ECJIII IICTHHHbI

BbICKA3bIBAHTI'

:

a)

(vr)(P(r) -+

Q@))

n (3r)(P(r)

n

Q("));

6) (rr)(P(r)

nQ(r))

n

(vr)(P(r)

-+

ffi);

n) (lr)(P(r)

nQ@\

-+

(vr)(P(r) -+

Q@\?

83

9.

Vra:Nnre, KaKyro

lv{ecrrrocrb r/tNIeror

}r or

KaKI{x repel\reHrrblx

.

3aBtICsT

CJreAyr0[true

[peAr{KaTrrr;

olpeAeJrrrTe,

npr4 KaKlrx

3rra-

,

qeurrflx

cno6o4nsrx

nepelreuur,rx

H:l

L{Ho)KecrBa

lR

onn

(;TaTlo-

BqTCg

IICTI{HHbIIUI

BbICKA3bIBAIIHSN{I{

:

a)

(Vr)(r'y

:

1);

6)

(Vy)(r

+

tl

:

a);

s) (lr)(r.y:0);

r)

(3r)(r.y:

1);

a)

(Vr)(ly)@-u

:

").

10.

VxaNcrare

cso6o4ntre

r{

cBr3aHn},re [eperrerrHbre

n rpoplrv.na,x:

a)

(Vr)(ly)R(s,*)v

(Vy)P(y,

z);

6)

(vr)(l'(r)

n

(ly)P(y));

n) (lr)(Vy)(p(")

n

Q(y))

-+

(Yy)R(z,y)

n

Ii(2,

z);

r) (vr)(P(r)

-+

P(E));

n)

(Vy)Q(",y)

-+

(32)Q(r,

z);

e) (Vr)P(r);

x)

E(r)

-+

Fa)Qfu);

s)

(vr)P(r)

-t

(lz)(lu)@Q)

v

(3r)R(r,y));

u)

(lr)(P(r)

n

Q("));

,

x) (1r)(ly)(P(*,s)

nQfu));

"rr)

(Vz)((Vr)R(",y) -+

/?(z));

u) (3u)(Vr')(R(",u)

+

(lt)l?(t,

r));

u)

(Vr)((ly)

P(h,

a)

-+

(Va)Q@, y,')).

ll.

B nn:reprperarlr{H

1:

{(N;

(,

:);

)},

r4e

)

'

PQ)

*+

(;

g(2)

r-s

:,

3arrrrurrrre

cJre,idyorqne

$oprrry.nsr

n oilpeAe.fir,rre

rrx rrcrprH-

HOCTb:

a)

(Vy)(lr)(Q@,y)

n P(r,y));

(Vr)(Vy)(Vz)(P(r,y)

-+

(P(y,z)

-+

P(r,z)));

(lz)(Vr)((Vy)(P(a,r)

-+

Qfu,"))

-+

Q(:r,

z)).

6)

n)

88

22.

t:)

(Vr)P(r)

-+

(Vr)Q(;r)

v (Vr)(P(r)

-+

Q@));

x)

(3:r)P(r:)

-+

(:r)Q(z)

v (l;r)(P(z)

-+

Q@)).

llpuee,4ure

cJre.Ayrourue

$oprnry,rr,r

K npeABapennoft

uoprram,-

noft

$oprrre:

;r)

(Vz)P(r)

-+

(Vr)Q(r);

6)

(Vy)Q{r,y) -+

Q@,*);

a)

(rs)(P(,r) -+

Q(y))

-+

(vs)(vz)(P(y)

v

QQ));

.)

(Vv)Q(y,z) -+

()r)R(r,z,t);

,1)

(V;r)Q(;r,y)v

((1,r)Q(t;,r)

-+

(Vr)(Qfu,

z)

-+

(fr)Q@,*));

,,)

((]r){fl

v

(Yr)P2(:r))

n

((lr)P2(:r)

-+

(Vr)P3(r));

.N)

(Vr)(3y)R(::r,y)

-+

(12)(Vr)Q(:r,

z);

:r)

(V:r:)(P(r)

-+

Q@))

-+

((lr)P(r)

-+

(1y)Qfu));

r r)

(Vr)

Q1

(

r,

31)v

((1r)

Q

r(r,'r)

-+

(V

z)

Q

2(y,

"))

-+

(1r)

Q

{r,

y)

;

x)

(1r)(Vy)Q@,

y)

n

(lr)(ve)l?

@,

y);

r)

(3:r:)(Vy)QQ.

y)

-+

(32)(Vy1

n1n

il;

v)

(lr)(Vy)QQ',

y)

n

(lr)(Vy)J? (*,

y);

v) P('y)

-+

(V:r)Q@,y)

-+

P(a);

o) (3r)R(r,y,

z)

A

(Y:t:)Q(:r,y).

I4cnolr:ya

r{3Becrn},re

pa:rperuarcu{ue

aJrropnrMbr,

fipoBepb-

're

c.[e.Ayroque

$oprrrynu

na

o6rqegHarrrlMocrl. He

o6rqe:na-

rllrl,rbre

$r"rp

lrylr'r

[poBepbre

eilIe Ha B brrroJr[rr{N{ocrb

:

f

3r)(3y)(P(t:)

Affi

v P(r)

v

Q(v));

6)

(1:r)P(r)

-i

(Vy)ffi;

r)

(J:r)(3y)(P(r)

-+

Q(y));

r)

P(r)

v

Q(r,y)

-+

((P(r)

-+

Q@,y))

-+

Q@,aD;

,1)

(lr)(3y)(Q(r,,

u)v Q@,r)

n

(n(z)

v EO));

e) (V;r)(Vy)

(Qk', y)

v R(r, r));

;x)

(1r)(ly)(P(")

v

Q@)

-+

P(r) n

23

q6

v

Q@));

28.

89

24.

s)

(Vz)(Vy)(Q@,y)

v

P(r)

v

Q@,s)

n

P(z));

ra)

(Vr)(Vy)(Vz)(n(r,

y)

-+

(R(v,z)

-+

R(r,z)));

x)

(vr)(vs)((p(,)

n

P(il.+

8('))

^

(06

-+ P(r)

n

P(v)))'

Vrcaaanua.

flpex<4e,

velt

pa6otatl c

Sopny"noft'

ee neo6-

xoAraN{o

nplrBecrlr

x

fIH@.

Blrecro

lre3aN{Kuyrofi

$oprurynbl

rlpu

[poBepKe

ua

o6rqesHa-

trr{rlrocrb

paccNlarpfiBarb

ee 3aIubIKaHI{e

o6qnoctll;

rrpu lrpo-

BepKe

Ha BbIIIOJIHI{MOCTb

-

3aML'IKaHIIe

CytqeCTBOBaHI{g'

3anuurure

B

BrrAe

$oprvryl

JIorI4'IecKoro

t3blxa

c'[e.Ayloil{He

yTBep)KAeHLIS:

a)

cyqecrnyer

He

6o.nee oAIIoro

oiret\'Ielrra,

o6;ra4aroulero

rle-

Koropbll\{

cnoitctnou

P;

e)

cyqecreyer

e,ql{HcreeHnlrfi

SJIe}vIeHT,

o6.naAarou$'rft

rrexoro-

prnr

croitcrrorrl

P;

r) cyulectnyer

He 6o.nee

AByx

sJleluentoe,

o6lagalou$tx

HeKo-

TopbIM cnoftctnor,,r

Q;

r) cyuecrnyer

B TotIHocrI{

ABa

a.Ile\IeHTa,

o6.nagaroqux

IreKo-

TOpLIN{ CnoftCrnorr,l

Q.

*

flpnne4rare

nprrr{ep

$opuyrrr'r,

BbITToJIHI{\{oft

na

lrroxcecrBe

I{3

AByx

oJIeI\{eHToB,

Ho

lre BbIIIoJIHI{h{ofi

nu

ua

KaKoN'I

oAHo-

SJI€M€IITHONI

IVIHO)K€CTB€.

*

flpnre,4ure

[pIrNIep

@optuyllt,

BbIIToJIHI{I\roft

na

unorxecrBe

lI3 Tpex

SireIueHTOB,

HO He

Bl,I[OnHUlroft

HIr Ha

KaKOIVI

.qByXSJIe-

\,IEHTHOI\.I

IUHOX(ECTBE.

*

flpune,4ure

fipr]vrep

$opllynlr,

BL'rIroJIHI'I1\'Ior?

ua

l'ruo;xecrBe

I'I3

qeTblpex

SJIeI{eHTOBt

HO He

BbIIIOTIHI{1r{OI"I

HII Ha

KaKOI\{

TpeX-

SJIEMEHTI{OI{

\{HO)KECTBC.

*

flpnne4ure

npuluep

$opltynlr,

Tox(AecrBenllo

IrcrllHHofi

na

NIIro)KecrBe

u3

AByx

gJIeMeHToB,

I{o He

o6ulesna'rr'rlnloft.

25.

26.

27.

86

e) (vr)P(r) v (vr)Q(r) -+

(vr)(P(r)v

Q@D;

x<)

(rr)(vyXa(y)

-+

Q@));

s)

Q(r,y)

v

flr)

v

Q6il

v

P(r):

u)

(lr)

(vs)Q@,

y)

-+

(vy)(lr)Q@,

y);

x)

(lr)(ls)(Vz)(Vz)(P(*,

y) -+

P(2,u,));

n)

P(r,y)

-+

(P(s,z)

-+

P(r,y));

u)

(3r)R(r,n)

-+

Qx)(=y)R(r,y);

u)

(lr)(ly)(Vz)(Vz)(Q(u,

z)

-+

Q@,il)

18.

florax<rrre,

rrro

cJreAyroque

$opuynr'r

xe o6rqe:navraur'r:

a)

(3r)P(r)

-+ P(u);

6)

FilF6

-+

$r)P@:

n)

P(r) -+

(vy)P(y);

r)

(3r)P(r)

+

(Vr)P(r);

a)

(Vr)

(3y)Q

@,y)

-+

(3:r)(Vy)Q(r,

y);

e)

(vr)(P(r)

v

Q(z))

-+

(Yr)P(r)

v

(Vr)Q(r);

xr)

(3r)P(r)

n

(lz)Q@)

-+

(lr)(P(r)n

Q(r));

s)

((vr)P(r)

-+

(vr)Q("))

-+

(vr)(P(r)

-+

Q@));

u)

(vy)(lr)Q@,y)

-r

(:r)(YilQ@,y);

x)

(lr)(ly)Q@,a)

-+

(3:r)Q(r,:r).

I

9.

nox

ax<fi

Te BbIrIo JIHITIVI ocrb cJre&vlou$.rx

$op

l,ry"n

:

a)

(vr)(ly) (Q@,

y)

n

Q@$);

6)

(lz)(le)(P(") n F(il);

n)

(v:r)(P(r)

v

Q(lr))

-+ (vr)P(r)v (vr)Q(r);

r) P(z)

-r (Vy)P(y);

a)

(lr)P(r)

n

(lz)Q(r)

-+

(lr)(P(r)n

Q(r));

e)

(Vr)(Vy) (Y z)(Q@,

y)

v

Q(y,

z));

x<)

(Vr)(3E)Q@, y) -+ (1r)(Vy)

Q@, a);

87

20.

s)

(vr)(ly)

Q@,

y)

-+

(ly)(vr)Q@, y);

lt) (lr)(Vy)(Q(", y)

-+

(Vz)R(:r,y,

z)).

Loxa>rure:

a) (vr)P(r)

n

(vr)Q(r)

:

(Vr)(P(r)

n

Q@));

0) (lr)(r(r)

v

Q@))

:

()r)P(r)

v

(lr)Q(:r);

n) (Vr)(p(*)

-+

Q(a))

:

(3r)P(r)

-+'Qfu);

r) (vr)((ly)p(y)

v P(r))

:

(1:r)P(r)

v

(vr)P(r);

.q)

cn

(Vr)P(r)

:

(Vr)(cn

P(r));

e) c A

(lr)P(z)':

(lr)(c

n P(z));

x<)

(Vr)P(r)

vc=(Vz)(P(z)

vc);

s)

(3r)P(:r)

v

o:

(lr)(P(r)

v c);

n)

(Vr)P(z)

-+

c:

(3r)(P(r)

-+

c);

x)

(vr)Q(r)

n

(lr)P(r)

:

(ly)((vr)Q@)

n P(y));

n) (3y)(Vr)(p(y)

v

Q("))

:

(=y)(P('y)

v

(v:r)Q(r));

rr)

(3r)Q(r)

v

(ly)P(e)

:

(1")(Q(;r)

v

P(:r));

n) (:r)(r(r)

-+

Q(y))

:

(vr)P(r)

-+

8(y);

o)

(vr)P(r)

v

(vr)Q(r)

:

(v")(vy)(n(r)v

Q(v));

r)

F;DGJVT:!P6:

(r")OO

n (vy)p(y);

p)

(Vr)P(r)

-+

(Vy)Q(fl:

(1:r)P(r)v

(vu)Q@);

c) (3r)P(r)

-+

(Vy)Q(y)

:

(vr)Pfrl

v

(vy)Q(y);

t)

(rr)P(r)

n

(lr)Q(r)

:

(lr)(ly)(P(")

nQfu)).

!,oxax<lr:re,

qro

cneAyroulrre

$oprry.nu

He

prlRHoorr.rrbrrrrr

a)

(Vr)(ly)Q@,y)

lt (1y)(Y:r)QQ;, y);

6) (vr)(ry)Q@,y)

n

():r)(Yy)Q@,y);

e) (V:r)(33/)Q@,y)

u (Yy)(1r)QQ:,y);

r) (Vr)P(r)

v

(Vr)Q(:r)

rr

(Vr)(P(:r)

v

Q(r));

a)

(3r)P(r)

n

(3r)Q(r)

u

(lr)(P(r)

n

Q("));

2r.

It4

12.

B

unrepflpcraqrrn

/:

{(x;

"x):

I",

r4e

)

:

.R(2)

r+

<;

P(r)

,+

r

:

I;

:lrlrrr{rrrr{Te c.[eAyrou{ue

cpoprrrynlr u

]IOCTb:

t'a:,*1",

<);

A),

Q@;v)+

v:r*1,

olpe.qeJlrlTe

I{x I{cTr{H-

a)

(V:r)(P(r)

+

(ly),8(y,,r));

6) (Vz)(P(;r)

-+

(Vy)fi(y,'r,));

n) (337)(V;r)Q('r,y).

13" [J curuarype

.r

:

(.r,

or;

flt) , fl');

et'11 3aAanbr ciroBr]:

./r(or);

("fi(.rr)

:

fz(at,az));

P(h@),/r("2)).

;r)

Haii4r.rre

cpeArr

3trA?)HHErx c.rroB

TepNrbr lr

$oplry.nrr;

ti)

l;anunrnre

AirHHbre

cJroBa

B r,rHTeprrperaqr{u

I;

gnz

@oprtr1.n

()[peAeJrr4Te

r{x r{crr4Huocrr,

s 1 npv

r

:2;

A

:3

|

I:

{\Zi;

("

+

1"),.

;

<

);

)}, rge

Z}

-

i\rno)KecrBo rlenbrx

rreorprrqare.rlbHr,rx

quceil,

,\ :

a1

r+

0; az d 1;

f1(;r)

r-+

t:

*

l;

fl')

*

.

;

P\2)

,+

<

.

l.l. flvcr;

Q(r,y,;)

ecrr

$oprry"na

P(r,y)

A P(h,z).

!"rra

upe-

"Jr.IKirrl{oro

crrr\rBo.rrr}

PQ) wa

r'IHo)KecrBe

HarypaJIbHbIX

rrxcer

:]illliruil

rrr{Tepnperarrr{fl

,

n xo:ropoft

P(:r,,y)

npr{rruN,raer

3Ha.{e-

rrve

"Lrt'

nprr r

:

L, ulw

r

:

2,

w.nu :x:

y;

B ocraJrbnbrx

c.[yqarx

P(r; y)

[pr{r{r{\{i}er

BHa.renr.re

ttr".

B

4auuoft

r{r{Tetr)[perarluu

o[peAeJrrrre

3uarreHnfl

dtoprryn:

a) (Vr)Q(2,:r,:r);

6) (Y:r)Q@,2,1);

n)

(Vr)Q(r,2,r);

f) (vz)(ly)Q(r,y,r);

s)

(vz)(ly)(32)Q@,y,

z);

e) (tr)(Vy) (V

z)Q(:r,

y,

z).

1

5.

j].nx

nexoropoii

cr{rHiirypbr,

coAep}Kau{eit

4nylrecrHufi

npe4a-

xarrrsrr?

crrr\rBo.rr

Q(2),

sa,4:rna rrnTeplperarlus

Ha r\rHo)KecrBe

!',[:

{a,b,c,},

fAe

rpeArrKar

Q(r;

y)

onpe4enen

rpr4 rroNroud}r

< ;,ne4yrouqert

ra6"nraqr,r :

u \.r

a b

C

a JI u n

b

JI fl vl

L

VT V

UT

85

Cocrasrre

ra6"'luqnr

r{crr{rruocrrl

4na

Sopuyn

:

a) (]y)Q@,s);

6) (Yr)Q@,y);

n)

(Vr)(ly)(Q@,

z)

-+

QQ,fl);

r)(1r)(Q(r

,y)

-+

Qfu,"))

Vrcasanue.

flpu cocran

Jre:nvrrt

ra6nwJ rrp[Aarorcfl

3naqenr{r{

ToJIbKo

cno6o4rmtror

[epeN{eHIrbI\I, oAHaKo

AJTfl

o[peAeJIeHI,rg

Ircrr4riHocrrr

no4$opnryn

gannofi

$oprrrl'nsr

HylKHo

AJrs

Ka-

x(,qoro

Ha6opa

ana.reHfifi

cno6o4Htrx

ncpeNreurrbrx rrpxnrrcarb

3lraqeErrfl

Tex

nepeN,{eErrbrx, Koiropbre e nrorogoft

$oprr,ry;re

cBt{3aHbr,

no cno6o4nbr

B

Aarrnoft

no4$opuy"rre.

flpu

orolr

ttocNrorp"

$oprvrym,r

cJreAyer Har{r.rHarb c KoHrIa u

[prrAaBarr,

B

IIepByIO

Oqepe.4b 3HarIeHI{fl Telv{

[epe]\{eHHLII{, KOTOpbIe

paHb-

rue

(c

xouqa)

ocno6orN4arorcfi

or KBaHTopoB.

Crr.r. raxn<e uplr-

lrep

8.3 ria c. 48.

16.

B ranreplperarlr4r4,

[pTlBeAennofi n

ynp.15,

onpeAeJrr,rre

xcrrrH-

HOCTHr,re

3Harrerrl4

g

3arvrKHy TE Ix

$o

prnryn :

a) (:e)(vr)

Q@,

y)

n

(1r)Qy)Q(,",

y);

6) (lz)((Vs)Q@,y) -+

Q@,r));

e)

(vr) (ly)Q@,

y)

v

(vy) (1*)Q@,

y);

r) (lr)(le)Q@,e)

-+

(Vr)(3y)Q@,a).

1 7.

floraxrare

o6rqesuarrr{]vlocrb

cJreAyrorqux

$

op nry"rr :

a) (vr)P(r) -+

P(y);

6) (rr)(P(y) -+

P(r));

e)

(vr)(ly)(P(")

v

FO);

r)

(rr)(P(r)

nQ@))

-+

Qr)P(r)

n

(3r)Q(r);

a)

(rr)(vy)(P(") -+

P(a));

IICTIIHHOCTHE,IC

3IIAt{EHI{fl

B .[1060TI

T,THTCPNPCTAIIII]4,

CJIEAOBATC.]IIr-

HOl

fro

o[peAe.[eHrrto

12.2,

err

$opir,ryJrbr

paBHocr{JrbFrbr.

n

cttedcmaue.

flycrr

4ne

$oprrryirr,r

co

cno6o4'r,rlrr{

rrepe}rer{Hbr-

III,I

P

ABHOCII.IIbHbI.

TO

r4A

I'IX

OAIIOI{I\,IEHIIbIC

3 i}\I

bIK I}I{I4fl

TAK)KE

P

?}B-

HOCTIJIbHbI.

!,oxasare-nbcrBo

-

rr'JryKr{rdr{

ro

rrr.rc,Ty

n

cno6o4nsrx

[epeN,reH-

NSX.

CNPABEAJII4BOCTb

YTBCP}KAEH]','I

ilT)LI

N

:

1 I]OKA3AHA

B TEO-

tr)el{e

72.I.

3avre'rarrrae

L2.l

lrpr,

doxaaarne"/LbcmBe

rneope^tbt,

12.1

6,om ntrtu-

,M'e\7err

cm,audapmn'ttti

cn,oco6

doxasurtr,e.,tbcm,B0

p(ral10cl.L.nblLOCmtt

3 0"ht"ldHym,bLr

fr

op,u,

y

"t

.no

z\lnu

nped'urcantoT

t\A

ou70

e e onpe

\e,nernt

a.

frodo6not.r,t

cn'oco6o,u,

c

y^tem,o.Lt 'ne,Jl?,1,^1,,tr.fl,

cao6odnrrm

nepeA4,e?r.tftrc

do'nu"aarcaemcn

paaHocu./Lb?rocrtlb

He{ta,MK?d.yrn'trc

(totrl.t,ty,,t

mavi}+ce

rLa,

ocno?e

coo'm,aem,cTn,nuto,ut)e

zo

ott,pc

r)e.aert

u".n,.

Teopenaa

12.2

flycrnb

et:

%1

'u

B:

tjl.

Tozda

il

=

Ai;

2l

n

rs:

ql

n

tB1;

ct

V

rs:

?11 V !81;

2t

-+,3:

2t1

_)

!81.

!,oxasare.nbcrBo

ocHoBuIHo

rra

olpcAe.ileHrr.fl

x

paB'oc[.irbrrocrrr

droplry.n

lt

onepaqufi

ttKoH.LIonKqr.Ifl,',,t4[3it,Ionxqufl,t,

rtu]I,,r,.Ka-

qtrr5{",

"orpuqaHlaett.

.C,re4yer

:Ji}r{erI{TL,

r{To

rIpI{

AoKl3areJ,IbcrBe

flot{Tll

IIe

I{NIeer

SHarleHr4fl)

ITNIeIOTC'

.[r{

B

rX:}IIIrbrx

cfoprrry"nax

cBo_

6o,Turre

[epelreHHr,re

x.[rr

srn

$oprrynrn

3:rruKHyrr,re.

B .norr,rxe

[peAI{KaroB

rrrreror

ruecro

Bce paBlrocu.rrbrrocrr{

..,tfe-

6pu

nr,rcxasnrnaHuit

(clr.

$

3). tr4nor4a

l.oBopflT,

r{To

3aKorrbr

zr,Jrre_

6pu nr,tcxa3r,rsarruft

nepe?tocflmcn

a lLoz,uKy

n7tedu,namo6.,'Mexer_

rlrr3l\r"

3Toro

nepeHoci)

paccr{orprr\r

Hi}

cJre,/Iyrcu{eNl

rrp[i\{epe.

flpranaep

12.L

B ct,,n,z

e

6pe

ablc*ala,a

arut,ii

u,s

e

er:rn,r

rc

:

A-+B:AvB.

/lorcuctce.u,,

yrno

B .noz,u,Ke

npedlmon7,o6

@oprrynsr

P(r)

-+

Q@)

n P(r)

V

Q(r)

ur'rero.r

cno6o4Hyn)

rre-

peLreHHyro

r. flpnrr'lensff cTurHAaprnsDi

[prreNr,

pilccr\,.roTpr.rNr

npo-

Ir3Boirr,Hyro r.rHreprrperauurc

I

:

{(ll[;

D); )]

n Bo3bNrer\r rrpo-

llSBoJIbHoe

3HarIeHHe rg

€

M.

B nHrepnpeT?)qr[r

1 uony.r}rlr

nr,r-

cKa3brBaHr4a

P(26)

-+

Q(ro)

r, P(rs)

V

Q(.ro),

Koropbrc

rrlre-

IOT OAI4HaKOBbIe

I4CTI{HHOCTIIEIIe

3II?)qeHLIfl ilo III)UBe/IeIIHOI'Iy

3i}KO-

Hy anrc6pr,t BllcKa3blBalrrft.

B

crrJly [prJr.I:]BO.rIbHocrI{

3Har{enrrfl

rr0.

AaHHbIe

Soprr,ry.nr'I

npr.IHtrruanr

oAr{rI:rKoBL,re

}rcrrrHuocrHbre

:lna.re-

Ilr4fl

B rrHTeprrperarlrrld

1 upu lro6trx

3rrarreTrrrgx

nepelteutioir

ri

B

clr.ny [por{3Bo.rrbHocrrr

a}rrepnperaqnn

1,

eru

(;oprtry.rrbr

rrl]rrrrrn-

MaIOT

OAr{HaKOBbIe

r{CTT.IHHOCTHbIe

3r{irrreHrrg

n .nro6ol-r

r.IHTep[pe-

Tarlrru npn

nxr6orrr 3nar{elrxrr r.

C.ne,4ontrrc.rrbno, p?}Brroc}T"rlbno(:Tr,

ernx

Solrr,ryJr

AoKa3aua.

n

Ananoru.tHo

paccr{i}TprrBaercf

"nro6ag l)a,Brloc}I.rrbrlocrI:,

rI3

tr.rrrc-

6pu

eucxa:unarlnft,

rprrtrerr KaN(Ayro

rr:l Hr.rx

r\rox{Ho

AoK?}:Jarb

rI

g"rrx

$opnry,r

co cno6o,qHbrr\{u

rrepe}renHbrrtr

(xax

n upnlrellc

12.1),

n

l\nfr

3a\{Krryrbrx

$oplryn

JrorrrKrr frpe;\uKir.r'oB.

flprane.gelt

ocHoBHbIe

paBnocrrirbrrocrr{,

t:neqncflr-recKr{e

A.nr:r

.rro-

ruKr{ npeAlrKrrloB.

Bce

grr.r

paBnocr.rJrF,rrocrr,r

AoKa3brBi}rorcr{

(:ro(;o-

6olr, npulreHeHltrl{

npr{

AoKa,3ilTe.rrbcrRe

teopelmr

12.1:

67

2.

3.

4.

5.

6.

7.

1.

(Vr)u(r)

:

(3r)a(r);

G;tr6:

(vr)z@;

(Vr)(z(r)

n r(r))

:

(Vr)u(r)

A

(Vr)r(n);

(lr)(z(r)

v

r(z))

:

(3r)z(r)

v

(3:r)r(:r);

(B

5-8

droprry'ira,

C

uc

co,;(cJ))l{llr- rrclxrvcrrrroii :rr)

(Vr)(z(r)

Ac)

=(Vr)a(r)

nc;

(Vr)(z(r)

V

c)

:

(Vz)u(r)

v c;

(3r)(z(:r)

Ac)

=(3r)u(r)

nc;

(lr)(z(r)

Vc)

:(3r)z(r)

vc;

P(r)

-+

Q(,)

:

{i)

v

q1"y

8.

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

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