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

Atoooe&o0

^

01

(Luhr^t''4/

OEAEPAJIbHOE

AIEHTCTBO

IIO OBPA3OBAHI4IO

IOCYAAPCTBEHHOE

OEPA3OBATEJIbHOE

YITPE>KAEHI4E

BbICIXEf

O

NPO@ECCI4OHAJIbHO|

O

OBPA3OBAHl4-g

'

EAPHAYJIb

CKI4IZ

IOCYNAPCTBEHHbIfl

ilENAf OII4I{ECKI4ff

YHI4BEPCI4TET'

B.!,.

llaftcou

MATEMMI4

TIECKAfl

JIO|

I4KA

fionyu,et

to V

v'e6no- *teff

t'o du,''Lecr;uJrr

o6a

eduuenue'u

no HanpaeJrevua,m

nedaeozuq'ecKozo

o6paaoeauusr'

Munucmepcmea

o6pasoeauua

Poccuricrcotl

@ edepa'Lluu

6

Ka\rccrnae

yue6nozo

noco6ua

dLta c'rnydenmoe

rvIAmeMAI

TU\LeCKUI

C

neu'UUnAUOCmeti

nedaeo

zuot'ecnut

ea

aoo

Bapnay.n

2006

E.[. flafi coH. N4ATlrNf

ATI{qtrC]KA5l

"r

l(l l' IIK

;\:

y^r,c

6u.ern o -

co6u,e dnn crn,ydex,m,oa

r\4,am.eivreTtL'u\tech:?rr urc,rt)rLtllrbrLocrtett, n,eda-

?oz1t\ecKlrr

aAao6.

-

2-e H3A., rrcnpaB. rr

.qon.

-

Bzrpnayn: tr4::g-ro

BfnY, 2006. 168 c.

Peucrnerrlr:

xxftyptr :r,rrc6psr 11

arrcKperrror"r

Nra,TerlrirrlrKrr

Vpa:rr,cxoro rocv-

.rirpcrBeHHoro

yHrrBcpcrrrera,

4oxrop

rlrur,r.-r'rar.

nayx, nporfeccop

NLB.

Bo.nr<os

,loxrop

<fu:;.-rrat.

Htryx, npo<fect:op IO.H. Nln.nr,qes,3.rRer-u.Ioulutt

xacft..4pofi tr,rrc6pr,r

n reopnlr.rrrce,r Alrarlctroro loc)'IapcrBenHOI'o

.vt{lrBcl)cI{'teTa

floco6rte

npcjlHilrHiirrcrlo

r.nfl

o'ry,.(errroB

uarerlarrlrlc(iKlrx cnc-

Ipta.rlbHocreri

Br,rcrr x lr€AarofltrlccKux

y.tc6rrr,rx

l.l:rne.;lcrrrrii.

Ouo

(:orlopr{ir.rr

rprl r./raBbl:

"

Alre6pl

Rr,rcKil:rr'rBarruii"

,

",{orrtxl

npe-

,:tuxitron"

u "

tDol.llta.nutr're

ilKcrrorlilrlltlecKne

reopntr". B noco6trlr

rlrre()Tcfi TarKxe

Bonp(x:r,r

A.n-rr

calrocrotrc,'rsnot"l

ptr6o'ru yrlpil)K-

HoHIIt

[o x:r)K,'Ioit TeNIo. Bcr.ttt'.,'1r:tRue

3Tofo, Krlnrzi lroxer 6srrr' uc-

IIOJ]I,:JOB:rH?I

Ha IIpiIKTtiqeCKIIX 3i]IlsT]Itx fIO

[I:rTenIaTII.ICCKuii .((r-

rIIKe B K:1'ILICTBe

:lil,,'littlHItKiI.

(<

)

Ilr,lrtr..;rr,<

tuo EfIllr.2006

rci

l)., 1,. llrriicorr. 200{j

.t

rrPEAI4CirOBt{Fl

floco6r.re

cocrorrr

n3 Tpex

tJIilB. flel;ran uana,

trlnsausag

"A.n-

re6pa nr,tcxasr,rnanuil", nocRaulella l43yqelrlrm

<poplry.r.

cocrtlB.itcII-

III'IX rI3 BbICKil3bIBaTeJlbHbIX nePe\IeHHlrIX

C I]O\IOII-lbI()

JlorllrI({IXIIX

onepaquft.

Bo s'ropoft

rJraBe

noA Ha3BaHUerl

"Jf

clrrtxzr npe.4lrxaron"

u';y'r;r-

rorca

$op:lty,rr,r,

locrpocHHbre

I43 npe.IrlKiirnr'Ix crrluBoJroB

It

rlcl)e-

rIeHHbrx

c flor.Ioult

]o Jrofl,I.{ecKrrx ollePauflfi

H KRirrrropoB.

Tpers.R

r.nara

-

"

@oprnta:rr'rrr'le aKclrorlilrutle

cKI'Ic reopnu"

. B

flell

pacKpr,rBarorcg

ocHoBbI

rlocrpoclr]It

rlroplta,rsrrslx ilKcuor{:ITI{-

yecKux

reop

ii na 6a:e ognoro

n:

yto.tucrrlrii norlt'rnff "irott't'te-

cr<uit etrao4"

n

paccllarpnBarorct Baxlrrre

rrprrucphl .qorrr()(:KIIX

lr

ruaTer\IaTrltlecKr.rx

Teopuii,

n.ItJIrocTl)upylorullx

.qilllllrrle

[IeTo.xIn.

Vlpaxrrenna s noco6n{

tlilcrlrrrHo

cocrilB.lrcHr'r

trBTol)oNI.'Ia-

CTt'ltmO B3qTbI

U3I{CTOqHIIXOB,

IIpIIBC.JI€HIII'IX

E CIIUCKC JqIITepaTyl)bI-

B noco6nu

fi

prrrreHslorct cJrcAyruxlllc o6o3ntrtc,Httg:

N, Z,

Q,

R, C

-

r\tlloi'KecTBzr

fiarypiurbubl,\, IleiILIX,

pitqIIOlIiL'1I'-

I{r'Ix,

AeiicrBure,'IbHblx,

Kor.trltleKcHbIx

rlll(]c,ll,

(joorBer(lrBcll]Io;

o6rqeynorpe6n:reirLIIzl,ff

l'coperI,IKo-r{}Io)tie(trBeIrHa{

crINIEo.iIrI

Kil;

+

-

"c"ne..4yer";

<+

-

"ror1a

rt ro.nl'xo

ror.qa";

o

F+

b o3Ha.laer,

qro

3JlerIelrry a Iro(:T?lrj.ilcll

R coorBcr(:Tllu(l

ererrenr

6.

I'lcnonl:yxrrca HeKoropr,re 6yr<nr,r loru.rccxoto

a.ldraettrtr:

q

(A),

I

(B),

a

(C),

,r.

(lf),

tr

(,'v).

3rraxou

tr

orrreqaercs

Korleq

paccyx<Ienrr (4oxa:-tartrtt't tra);

3rlaKarlr

V u

A orlrc.raerct

Aono.ffHurc.]rblll'Iii

\Iareptl:I.]I

(rra'riuo

Ir KoIIeq r:oo.tn<rrctreltno);

:llraKo\r

*

o.t:ue'rittort:r

3iljlirtllr roBLI-

IxeHHoii

TplAHocTrr.

ll:ysaelrr,re norrflTHr

BBoAsrca n nclco6nu

piulurtrlfi t:noco6trlttr.

Ocuosusnru 3 Hrx

qBrrrorcq

c.{cAyrorqne:

Cmpozoe onpedenetnte.

B rexcrc onpe clennq c

eqna"rll)no

DbI-

Ae.[eHbr.

I4x xeo6xo4lrrro

ro.rHo i]Trilrrr r'r

y\rerb

ro'lno tfoplrylnlxr

B:]Tb.

lsBN 5-88210-200-x

I

SIau,oe

on,'ucaxue.

Onflcauuq

raKx(e

BbrAeJlrJlorcff

B TeKc'r,e, Ho

6c;j

c.{oBa

"

on1rc4e.neulre".

Tpe6yerca

rroHr{r'rarb coAcp){.iaHrr(i

AaH-

rrr)ro

tloHff.rrlg, yr,Ierb

orBe'{arb Ha Bonpocbl:

"9to

grrzrcul....?"

"Kax

rrporrrcr...

?"

"I4:l

.rt-.ro

r:ocrosr...

/" n r.n.

Klrolte ror.o.

EeKoroptre reprnrHLI

BBoAtrcs

HenocpeAcrBeurro

B

tr-'xr:t'r'.

-Iaxrae

rcp\r rrbr Hy)KHO Tlorrrrlarb

u npitBnr'IbHo

lrcrto;rt3o-

ilaTL-

Arnop

rly6oxo pu3Hare.rrcrr

Aoqelrry

I\,LIII.

Cr:recxorr)., ebr-

(

Kil3i).llIIlCNl

elIilJIO BCCbIIII I{CHIILIX 3alle']allnfi

rIO

COAepjKaHUIO

.lirHrr()fo

loco6rrq,

Ivl..,rl.

MalnHrrlroii,

Tu{are,'rbrlo

Bl,r.tnraBrxefi

u

'

f

f li()l)peKT4)oB?rBIIIefi

ef

O.

Or:o61'nr 6.ntrr.o4:rpnoc1.b

a,BTop

Bbrpaxacr

xa<fe.4pe

iurre6plr

lr

-Ur(

Kl)e.rHoit

r\rirreNrarlrKrr

Vpil'lr,cxoro rocyAapcrBeHnoro

yHr.rBcp-

(

rrr(:'r'a.

urr.

A.\,L fopr,xot.o,

.nrlrno

nporfeccopy

M.B. Bo,rxoay

rr

'r;rDe.jt_vroulerry

Karirc,;'11toil arfe6pl,l rr reopuH

.Tr.rcen

AJlraitcKoro x)-

{rviral)crBeH}roro

yHrtBepcfiTera

[po(beccopy ]O.H.

N{a;rr,qeay,

r.,,ry-

5oxo

lt o6r;rosreJbrro

orpeqcrr3rpon:romnrr

pa6ory.

BBE,iIEHNE

flpegrrer

llare l$arltllecKoii

JrorllKu

cKJIaAbIBaerc.E

3

AByx

qa-

crefi.

Bo-nepBblx, 3To

(bopNly"'IfipoBKa

crPorl{NlIr

rlareNlarl{qecKIrrlu

cpeAcTBaNrH

rril,t46oree

o6qux cBoftcTB

It nPaBITJI

JrorllqecKtlx

paccy-

xAeHuft

n Ll3yr{eHne 3T}IX

paccyxAeHl,Iil c nol\tolllblo

luarellarrr'{e-

cKofo

alrapara.

Bo-eroprrx, 3TO

uccirel'loBaEfie

cnoco6oB

nocTpo-

eHfi-fi

luareNlaru.lecKtfi

Teopuii, ooocHoBallue

fipurleHflerrbrx

B I!Ia,-

TeNIaTI{Ktl

npatsHJ]

AOKa3i],TeJI},CTBil

TeOPe}I,

UCCJIeAOB2IHIIe

CBOi1CTB

ca,tlrrrx

}raTeltaTllqccKux

TeopHJt B t\eJror,I.

I4ur'tlru

c.noealrn,

4an-

ubrit

acneKT Nrare\{aTl{trccKoJi

JtorIrKI{

3To IlccreAoBaul{e

npo6"[er{

ocrroRa,Huii

rua'ferlaTlrKlr, fJytrcHue

ee

rjllvTpeHI{efi

cTPyKTypr'r.

Octafiogfilrcq

rloApo6rlee

Ha KiIiKAotI

u:3 sTI{x

acrleKroB.

Jlorvxa

xar< uayxa o cloco6ax

n rPaBr'IJrirx

paccyt(AeHrrfi

Bo3HI'I-

xla R r.ly6oxoir

trpeBliocflt.

Han6o,nee

floJrHoe

l)a3BlITI're

3Ta I{ayKa

noJry\uJra B

Tpy.4ax

ApeBllerpeqecKoro

yqeHoro

Aprcrote:rr

(384-

322

m.4o n.e.). Pacclra'rpnBafi

rrpaBr

tbIIbIe

yrro:axlmvt:rrraa,

Apu-

ctote.nr, c$oplryhltpoea-'t

uexoropblc

ItpaBu.,ril,

KoropL'Ie

rIo;Krro

Ha-

3Barr,

noflElTKolt o6o6r{enns

u currBo.[I1:]aul{

J-IorIIIIecKlIx

pzrccy-

,*(AeHfift. Tax, n::yvtr.a

paccyixAeultfl rula:

"

Hcxorollr,Iil

'Ierblpex-

yroJrL,EuK cc'r;

polr6; ncnrltfi

polt6 ecrb fl:rpar.neJlorpatiltrl;

c.rreAo-

BaTe.[bHo,

nexoropr'Iit

qcTr,Ipexyrofi

bnlrK

ecTI' fl ap?lJ'rrertotpar'llt'"

Apucrore.ns c<foplrynupona.n

c.leAylouree

o6rqee

npanlt.no:

"Ecnn

HeKoropbrc S

ec'ru

P, a ecc P ecrl

Q,

ro,

cJIeAoRareJrL'Ho,

He-

KoropL,rc S ecrl

Q".

Taxoe

npasn:ro tBirqerct

y)Ke

cBoero

poAa

cxeMoii

A,'rfl

rleJroro

Kracca rpilBrrtr,Ilblx

yrlo3:rKrlo'IeHIIn.

C

pa3nrrruelt

rayKlr

ycu,'IxJlircl treo6xognlrocrr,

e crlloro

c<frop-

rryJrrrpoBaHrrbrx o6qlrx

nptreurax,

Iro3BoJ'rtrcqux

Ir3

oAHIrx rpa-

Br{Jrbrrr,rX cy)xAeHlrll

ro,'Jyeart,

ApyrIIe,

Tox<e lpanrl,rsuue.

Vcu:ru-

Jlacb raK)Ke neo6xoAutrtocr:r

n o6qen

JlotuqecKol\l

q:ll'rKe,

fiputi{e.-

I{-flfl KOTOpbtt, rtoxrro

rr3y'raTb npoqecc

\tbIlrlJreHr{fl

c lollolllbr{]

\ru"-

TETTATIIIICCKIIX

I'ICTO,IIOB.

Tax xax

yrre

K

XVI-XVII sn.

rrau6o.rree

tIerKIIc

l{ o6uge upa-

Bura

AeitcrBuii

HaA a6crp:rKTrlrlttt

o6tcxrarlrtlt

gawuta

a;rre6pa,

To IuIlOlUe

yrleHr,Ie

Toro BpelteHu

npe./lnara"r

I

.ilOlIIqeCKue OIIePi[-

I\lrl,t

cBecTIr K aJrre6pi],urrccKfi

tu . Ilarlprrrrcl)j

aHr.nrrr'rcKufi

y,IeHblil

T.fo66<:

(

1588-1679) nmancx

p?rccN{arpuBarb

rrporlecc

paccy)Kl(e-

rrus

KaK c,{o)*(eHrre r{ BhtqfraHrre

noHrruil u

cy)KAerruit.

Beluxr.rrl

Her,{euKurl

narer{arnK, <fr,roco$ r lrorrrK

f.,rlefi6xul1

(1646-1716)

IIblTaIcia IIcIIor'IL3oBaT6

t{aTetrilTr{rre(:Kyro

CItIIBOJTTTKy

glA

O6O:ua-

.renlrs

nongrlrii H

AJrff

3:rrr clt xoAir

Jroru.r€cKr{x

paccvx4enr.rfi.

flprr

.'JToNr

oH cqr.ITirJr rorury

"

r,rcxycctBort

nc.rxcreHI,Ifi"

n

npe,4no.irara.n.

.rro

n 6y4yu1err Br\r.cro

l1o.rrrrx

cnopoB JqroAtl

61.4vr

6pan

6yuar,v

I1 KaPilH.qa I fi EaXOAIITIT II(ITLIIIV

II)I{ IIOIIOIqII BLI.IIICIeIIIIfi.

B

coapeltenuolt

cBoot\f BtIAe rrarerlilrltrlecKaq

JlofltKa

-

cpaB-

HHTeJbrIo

r\IOJroAa{ rrayxa.

"

Htr.riuo

co:lAi}IrIIIo rofo

itnfial]ara

uil-

TeNraTn'recKoilitorl.rKll,

Korol)bli1 Tenel)b

Ha3bIBaK)T

".IorrtKoit

BLI-

(rKasbrBiururi,

rro.ro:*tlr;1]r

llx.By.nr,

(1815-1864,

I4p,r:rrrlnr),

O.:to

Iloprall

(

1806-1871. Illorumr4nr)

lr

4p.

Jlorrrx*rlril,fer\rarr{trccKr{e

g:tr,IKrr

u Teopnr r4x

(:ItlrrcJra

6n,ttt:iltelr

I)itilBIrTr,r

B

pa6orax

lrelretl-

KOro rrarer\rarr{Ka f-(rpere (1848-

1925). lllupoxo

:agyrrarrrroe

rr:rJ-ro-

Ncure 6ollurrx

pi}3Aer'roB

r\rareI\IaruKn

Ha, a3brKe

N arerrarrrqecKor.i

roruxu 6rlto npe.llnJ)Irlltro R

pa6orax

rrra,rr:trlcKoro

rlrarerlarLrKit

tr

loruxa

flx.flearro

(1858-1932)

u o6urnprrofi

r'ronorpa$urr

aHruufi-

cKrrx

y'reHbrx

B.Pacce.na

(1872-1970)

u A.

Varlrxe.ga

(1861-1947)"

ll4,

c.6].

Currno,rn.rer:xnr"l ,{3rrrK rrilre^rarrt.recxoii

;lornru

oKil3a.

cs

Ha lpaHHqe XIX-XX BB. Becbrr;r,

Bax{Hbrrr noAcnoprrcr\r

B H:rvtrerrrfl

.ilofll.IecKux octroBiul[Ii

]{aTcuaTfiKlt, TirK

KiIK,

glJrflncrJ

Toq}rblIl n

oaHo3rrirtrHbl\r. oB nr):lBO.irg.ir

ur6<:rars tsclrKOr'r

AByct

rbrc.ireHIlocrrI,

KOTOpilg.irerKo rrl)o(:KirJ.rb3brBircT rrlrH

1-nurpe6.nerrnlt

e|T('cTBerrrro-

to t{3blKa.

Taxull o6pn:olt, oIHa Lrl 3aAitH r\Iil.TotllarrlrlecKoll

.nofIiKu

cocro-

r{T

B Totrr,

.1106r.r

"

c.qcr:rrr, irorrrKy ro.rnofi

uavxoii, npulreusr

K Heil

rrero tr rlarerraruxu".

3rn

c.toBa

npunzrAJrexar

oreqecrBelruorlv

yqeHor'ry

C.A. fluoecxofi

(1896-

1966).

Bropax, He rreHee Bax(Hiln croporrir I\tilTe]ril,TtIrec]ioli

JrorrrKll

i)To rrcc.ireAoBatr e

uirn6o.irce o6uglx ttptrrqrrl.rB

nocrpoclrlfl

Nlilrc-

r.rilrlrxtl. IlirasHoe B

i)Torrr

rrilnl)aB.[eItfiu

it Kcllotrarr,trlecxoe

nocrDo-

err[e rlarr]rr?rrr{yecKrx

Teoplril II ux tr3yt{errrre.

I

Co:;4;rre,reu axcrrolrarrrlrecKoro

rrero.r{a cqnraerca Enx.nn4

(i-pe-

qlra,

III n.

4o

n.s.). I4:ro>xenlre reorrerprrrr

B

cBoeru

3uarteulrroll

rpy4e

"Havaaa"

on naquna.n c

yKa3aIIrIt prAa lleonpcAeJrttorrllx

r4cxoAHbrx noHffTnil fi flpnHr,nvril€hrr,rX

6r:::

4orl:are;rnrirB:r

cxoA-

IIr{x

npeAJ'rorKerl ii

-

aKcltorr, oI]I-lcLIBaIoqI{x

ucxoAllblc floHt{Tllt.

trIs axcnolr rryrelr Jroru.recKux

paccyN(Aellllii

Br'IBo,lurucl'

rolo-

xeHr{g eBKJ.rrrAoBoft

reorlerpnu- Arta,rrl:t

citr'tux

p:rccyxAc}Itlri

[l

cloco6oB

.qoKa3areJlbcrBa

elr1o He [poBoAn"q(:fl

.

B 20-x rogax rq)orrrJroro croJrcrllt

c nporpalrr{ofi o6ocrloBauurt

IarerIarIrKI{ H:r 6age Irareua.tlr.tecrioii

.lrofuKrr Bt,l(iryrrl,tJr KpyrlII('l-r-

mrii r\rarerrarrrK

.{.f

url6ept

(1862-1943,

fcprlarntn). C storo npe-

I{e}Ir'I Ha.IIIHaercl conpeltennt'til

3TaIr B

piL3BII'tu}I

Itaret{arllrlccxoI"I

JtorllKu, xapaKTepfi3yloqfifict nprrrteEerllre]r ro.rHbrx

\{ilre\rilrr.rc-

cxrlx nrero4oB rpu

rt3y.Ienuu tfolr lta.nr'rt stx aK(

Ilortirrrrle(

KIIX

T(]-

opufi. Axcuorrrarn.recKfifi

rreroA rro"ry\rlr;r rurrpoKoe

pir(ilrpo(;Tpil.rre-

HI{e Bo BCex orpacJrxx luare\rartrKlr.

Hanprrlrep, uKolror{arlrrlc(:xll

locrpoenr,r apr,r<frueTlrKa

HaTyPilJIblll,Ix

rMceJrl

Tcopnq flryln Ir

Al)v-

rre

$yn4alrenraJ'rL,rlbre

uzrr€MarlrrlecKrre

reopLrr.

C

pa:nn'rlreu

aKcuoNlarrr.{ecKofo

luerol'{ir

B(t3rrlrx:rrl TilK IIi(iIn-

Ba€rfble Bonpocbl xapaKTcpri3a[Illu

i)KcrrolI:YflItlecKrI nocTpoeHIIbIX

Teopfift, To ecrb Bolrpocbl lrerl)orrrBopc.rlrBocrr,

IIc3aBnctINIocl II

(:lt-

CT€IIbI aKCI{OI{, UX IIOJIIIOTI,I

Ii

pillpe

I}IIIOCTIL

tr4urepcc x n1m6;relre HenporlrRol)ctrllBocrll

Bo:lpoc B

cBqirlr

(i

or-

Kpbrrrrelr n xonqe XiX

naqa.nc XX RB. TIIK lriulblRacrlr,Ix rirl)ir-

AOKCOB'tCOPuI{

n{HO)KeCTA.

Il

x:r'rccr3c llrri\(rl)il

l)ilccno'l l)rl

\l trilj)il,\ori(:6.

Pa<:tr'.,ra.

Hit)<tnctr

"+r,rto:ttL

etrnauult rtr:purno

lxtr)t

lilr(l||)rIrtt,x(c(:'r'rtir.r(1tr()J)r,r{rIi(i{:r),l{'l)-

xar cc6a

r Ktttr(icrBt: 3ircrlcrfa

(ttiltrpurrrrp,

\rrlo)r\('(1rro rtccx

/lclicrrrhi(r.ttnrtn\

'tuct'.;t),

L{txt:trr:rnnaujarL

jffLopt)zo

poi

, uit:rotx.-tt

rrrtr)iri(t:'rrt:r.j

(:(),r(rJ)}{irrr!trr' (r'ri,

B

r(;rtrccfrlc r.l.'rcvcrt lit

(trilnpnncl),

lllt()),liccl-l()

tt<rrx rtttoxrr:ttr).

I'[tt 11-lt t trrtt<l ,ano.

rrfo

rclK(xr

urro),ti{]clr}o u()){icr 6Lt1t,;trt6o

tttptrrtr,..trt6,r

Blolxn'o

l)(),1r.

Borrpoc: x KaKorly

p{)iU

(rfr(x:l,r'r(

t trlrr)ricc'rlr{) l/ trccx tttrt,ixr't'tu

Ircl,Dofl)

p(),ln:

Bo rrrrr;xll,t

-ttril,

c.:rv,til,t.

1) ltlro;ricc r uir ,4,[ rrnprrorr-r

po-]lil. r'()

(\'1r,

,l/

(

;11. Tou1a., r{) r |

{

)

(

:

r'l )

(

)

{

\

t r I

r

|

{

) .

,11

€

-11.

fh.'r-v,rlcy npo l r rJol)c,r nc.

li

2) \lrro;ricr:rrro .l/ rlrolxrrrr

Ixrl;r.

r(r

{r('ir,

,'11

e

l/. Ho r()r;til

(}li)

lt(,prn)ro

1ro

qir.

rr t,crr,

,11

(

,11.

l'arxu o61.ra:rotr.

lrl,(lntn)lx"tlc lro.t)'t?[(tcr't r itlt)6tr\l

tr{lJIt{)r(l{Jl

(:.il.v'til(].

Olxpt trrtc [al)irlox(:oR

cBll4ere.irl]crBoBaJro o

'tolr,

.ITo

rxlrl)o-

I(() It(luo.tlb3yelliln

B I\IilTClIiITIKe TeOPUq

IIHO)XeCTB

B ee IIIITITIi-

f rlrl orr (1rEiurBrIOlI"

)

r[].[o]{<elIIIl,r

{I}.rIfieTCt n])oTltBOp$rrrBOIi

Tr:o-

l)r('ri.

[Io[],rrKrr yc.fpaHerrrrr

3Tofo flB,rIcII[g

B 3HaquTe,]lbllori

NIe-

l).'

cltoco6c'r'BOB:l.nl1

pil3BIITIrK)

coBp(-]\IeErlr,Ix

rtcTo.loR rtaTetraTll-

'ro(Koll'l

.nofr.rKrr.

Bl,tla nor:,tltoerra

axc'uoluilTllqccKat

Teopllg IlHo-

ai(,( TB lleprre.[o-tD1;eHxe.na,

B xoTopofi al)aAoKcbr y)Kc

nc nl)ox(F

.lrt't.

Ililpilir.,le.rr,Tlo

co:J].{ael cfl

Tcol)IIt J-loffiqecKofo

BbIBoAa, B

Ko-

1()lx)li

rrl)rr/itrcT(:f

To.rrlbtii

ctltbt(.[ TaKO\ry

nou'ITIIIO K:]"K

"JIoKa3:l-

I(.rrn lri(i:

("

;ror rr.rcr:x

trr'r RLrBo.4"

),

rl.fo

B cBox)

o.tepc,1b no3Bo-rrer

rri6(.)liir.Tb

IlapajloKcoB

C [o]rorrlT)x) o[pcr:lc.lle]tHblx

ofpaHtlrIeHIrr:r

a

(

rl

UIt

.itofurlccKlIe

l)it(:(.vNiilelIIr,l.

-llrvrlrlt

eaNnrrll

Bonl)ocorr

ocl{oDi)Ilnf,t t\raTclIzlTItKlr

rrB.irqeTct

rjoltlxx

o He3ilBllcl\ro(..Ill

(:lrcT(rlrrlr

arKcIIoII

Torl UJIII

nl{olr trraTerril-

Irr,rr:r

xoii Tcopltll.

cil(tT(-.IIa aK(]Ilorr flB.]lgeTct

He:]irBl{cultot.

(:(:.trr.{

rilr or'tTJI'

uiJ itKcrro\I

lIc.[L:jfl

BbIBccTIl lr3

OCTIUIL,I{bIX

aXCI'OII

.laHUOr:i

(

lI1 Te\rbI.

Pel]lcrrnc

Bonp(x:il

o IIc:tilBLIClI\rocTu

clICTerrLr

ilKcIIOlr.qa-

c'r oTlloT

Ha noulllc

o6 ec Ill.IrrrrNrir.{LIIO(:TII:

Bcc .[r1

axc.ltot rtr rreo6xo-

.lrft\r,r

rr.irrr

N0)'I{rro

IcK.tI().rlfTb

IJcKOTOI)bre llpcA.ilo)tirxIIIfl.

nojlyqat

rrx.

(\r.'ru

HJ'xrro.

(:

rroi\rolllbto

_qofnqe(:xot.o

BLrB(xil

It3 o( TilBlrrllxcrl

aK( I(r\t.

Bo.nr,tnoe

3ItalIeHrle

B rI(:c.ilc.rroBillIIII{

irKcLJorIarurlecKlrx

rlo(:,rl)o-

crr]|ii

B rrirrol\IaTtlKe

IINoor rrlx)6JIulta

n(),lrlloTbl

ilKclrorIitTuqc(:KIIX

'rcoprrri.

fllxr6letrrir :.)Til

Coc.rorrr

B TOrrJ

qT06br

Br,lrcHrrTb.

AocTa.Toq-

tta.arr

6or.ara (no.nna)

crrr:relra

axcuoN TOri

ll-[u fiHori

Tcopurr

Ajrs

rr,rBo.qil

Bcex

,IcTItrrlII)IX

O

(;I\tLIC.fiy

npeAJION(eHnr"I

l)Toit

TeOPIIIL

Haxorcq.

B cclx,.rrrrrc

XX ur:xa

rJ

(;BflrJIr

c

pil3Blrrrrerl

Tcol)llrr

it.i|l1)lrrrTr\roIJ

Bo3rIITK.ilit"

errle

oArriI nl)o6.rleIriI,

cBt3ilrlrrit,I

c iIKclro\rit-

lrrrttxKlrtrlrr

rcol)tlrrrrr

nl)o6.{erl:l

l)au}l)e[rlluocrlr:

cvflIecrByer

-ilrl

-:I.;rr{.i\ir,lrrror"r

Tcol)ltrr

c..tl tr,rI'i

il.itfol)ltTrr,

nollBo"rtrlolquit:lir

KoIIcqIlo(l

rrtl(.ir()

rraloF

y:Jrra.l

b, flc.rlInHo

.[rr a ?Toii

Teoplrtl

.i]t()6()e

flpe.atroxie_

IIIl''. rl,r(Tln{.tttt,',.

it

r\'

t rK, .

U

3rra.rnre-{rrrltit

BKJI:rA

B

pa3BI{Tlre rlarerl:ITII'recKofi

rorllKn

BIIe-

c.nu

A.

fH;rE6epr,

K. fe.4e:n

(1906-1978,

Arcrpua),

C

Krurnrr

(1909-

1994,CIIIA),

A.Hepv

(

1903-i995,CIIIA),

f.fenqeu

(1909-1945,

fep-

ruaHus),

ore'IecrBcHHble

y'reHr,re A.H

Koluoropoe

(1903-1987)'

A.A.

Mapxoe

(1903-1979), A.14. Manrqee

(1909-1967)'

II C

Honra-

KoB

(1901-1975),IO.jl.

Epruor

(1940) u

ap.

Ha ctnrre

a,Tfe6pL.I

rl rfarer{arl'IqecKoii

rofuKu

Bo3}ruKJla

HoB'll

rrarer arr{.{ecKafi

Alrcquflr[Ila

-

TCOpHt

]tIOAeJIeii.

B aroii

reopnu

Ba;,I(HbIe

npo6,1e\{r'I,

oTHoctlq

ec'I

K il,rf e6palr-recKrrrl

clrcTella\r

r

Qropnry.nnpymrcr

Ha tSbIKe

rlare\IarrrqecKofr

rorrrKll

Il

Peurarorct

ee

cpeAcTBar{II.

06:racTr'rc

ll;ulrellellllr{

TeOpUX

l\foAeJreff

cTtlrioBqr-

CJI I\IATETIiITUIICCKUi{

AIIAIrc,

A.IITE6I)T'

fEONTETPIIf,

,

TOIIOJIOTUS'

M:lteuaru-lect<nfl

jrorrixa

u

reopua

il.rlroplrrrlon

t 6o"tlsruult

ycIIexotl ncnoJrl'3yrorcrl

B

TeoPlIlI

pcJCfi IIo-KoIITaKTIJTTIx

cxerl

reo-

pl{u

aBToluaroB,

JrI{HrRr{CTIrKe;

nplr IrccllcAoBaHfiflx

B

(])6lrac'ru

6a3

.4aHHLIX,

6zr:

:;lranuii II cncre\t

[cKyccrBeH]Ioto

r'IHTe.II"4cKTa

B nar;rorulee

Bperlx

oAHofl ll:l cartblx

06

nprblx

o6racreia

fil)tr-

\rell€Hrrg

r\I?11'urIaTI{'recKoI-I

J-IOf}lKIl

}]tsJIgerct

rrH(t)ol)[laTuKa

-

HZIy-

Ka

o xPaIIeIIrIIl)

O6pa6oTKc

Il

[c[)e/la.rc

llH(buPtlaqufi

c

norlolllblo

KONITIbIOTeI)OB.

"

M;lteltaru'{ecx

atl

JloulKa

oKa3?lJlacb

eAITHCTBe

Ii-

IIOr-r

\IaTCIUaruqecKOI1

rlayKoii,

I\ICTOAL,I

KOTOpOfI

CTZl,rI-1

IlIOUIIIeiiI]III-

\rr r{HcTPyrteHTa\Iu

no3lraHtfl

Bo

Bcex

Pa3Aerax

fiud)opNraT

KlI'

flosrolry

cKorlKo-Hu6yAL

CcPLqlHo€:

r:ly'Iellue

nHOoprlarnKt'l

He-

rllbrclrrrro

6eg ocsoeHng

ocHoB

Nlt)Tel\'Iaru't(lcxoil

JtotttKt't"

[3,

c 385]

iUarelraru.recxerfl

JIorIrKa

oalerlb

Bir)KHa

AJrt

yqllTe lrg I\IaaeNIa-

TfiKII. OHa

Aaer

Bo3N[oxlroclb

BIiItKHyT[,

B cyIIlHocT]'

Nlarel\{arr'rqe-

CKOfO

AOlia3aTeJIbCTBO,

BI'IflCHI{TE

C\lbICII

iIOIUI{eCKOIO

CJIeAOBaHIIf

II

paBHOCIIJIbIiOCTII'

]jCTilltOBIlTb

B3aI{\IOCBg3ll

IteX(A}'

pirJ.IIIrnHOf

O

poAa

reopel{allu.

cnlrnollrra

luarertarr'IqecKotl,'IoruKrI

rIO3BOJrfleT

crKaTo u

ToqHo 3arrncaTb

IuaTelua,Tr'rqecKoe

IrPeAJrolKeI{fi

er 86lqBI',ITb

ero r'IOrI'9€cXjIo

CTpyKTyPy'

[piIBllJIbHO

nOcTPOI{Tb

eto

oTpllqanl{e'

iUerretiraru.{ecxalr

JIotI{Ka

Aaer

yi{r,rTerlo HoBbIc

cPeAcrBa

AJrs

Bbl-

pir6oTK

y y'Ianlfixct HarBbIKoE

TotlHolo

lubllrlJtcull't.

l{)

f,'IABA

I.

A,iIfEBPA

BbICtKA3btBAI{I4tt

$

I

BucxasuraHrir

11 J.rorrlry:recKrle

orulparlun

r]orrgurc

BbrcKa3bIBilllut

B

rlarelr:rrIIaIecKoli

-rrorrKe

ctrll,facrc,

rrepButrHhrrr

flpuunrrirercq

6e:

onpe.4e.nennn.

flo4 nrrcxasunitnn_

e\I

IIOHUII|IIOT

nOBeCTBOBaTc-IrbHcle

IIl)eA"qO]KCHUe,

O KOTOpOII

tfO)KHO

cKiBaTb,

ucTI{HIro

ollo

ur,.Ill Jrol(IIO.

Ilpe4nolaraercar

arro

Bbrcxa3brBilHlrr

rroArruuflrorcfl

lByrr

3ilKo-

IIAiI:

7.

3ar:on

npomuaope\u*

Hnx;rxoe

BbrcKa3rrrB:lll

e Ee

l\Io)r(e,r,

o/l-

rroBperlteHHo

6r,tts nctltnuulr

r{J.-rlr ;lo)KHr,r[t.

2.

3o,xotr,,Ltc.Kr,Lto\lclLn,ozo

mperLbc?o.

IJcnxoe

gr,rcxa:rlrnilrrut

,ru6tr

ricrlrHHo,

nu6o .noxuo ("rpcrr,ero

uc

,,qarto,,).

Bstcxit:r'Ieantts

lroxro

o6o:nzr.tttl)

itilf.rriIBHl,rtII{

flcrril,Ttlbr\uI

-ila-

TuHcKr,rMu

6-yxnanrn:

A.

B,

C,

.. . .

Ec.nn

nr,lcxa::srsaHue

-4

,Tc,r.rrrrro)

ro 6y1e\r

silflrcr,rB:tTb:

[,4]

:tt;

.,a.o"

BrrcKa3brr]aHrre

B lo;xtro,

ro

:janr.fiIlernt:

[B]

:.ir,

f onopqr,qro

BbIcKa:rbrBal{Irc

Ln\Iee-f

ucrnurrr Locrn,Hoe

3j Lu,t

er

!,u(j

"n" u.rn

".n".

l{: o4nlrx

Br,rcxa3blBauuit

o6pit,:]r-torcx

Apyrne

BbrcKa3brBarrrrs

c

lorrou{bro

,/Lo?.u1!ecKu:L

o7leln,u11l7,

Itr\rercIqfix

cjle.Aymlqllc

o6ogua.re-

Hrlr

r.r H:l3Biurlrfl:

-

("orplrqannc"

),

A

(,'rorrr,rorrnqul,,

),

V

(,'4rrsr,_

mrrKrlnr{"

),

-} ("

uuurrxaqua"

).

flocrrr

4ulre

rpr4

oncpaqnlr

:rB;rfl-

totcn 6unaputr,,uu (4nyuecrnlrrrr.r),

nepnax -

AH,opllott

(o4norrecr-

uofi).

ClyrrlecrnvrcT

H

^pvrue

oficl)iltlrlt

]raA

BbrcK:ritbrBarrnrAtrr,

Ho

r.rx nogpo6rro paccrraTpr{BaTb

lrtr

rre 6vge,"-r.

C nouonlr'ro

AaHHr,rx

onepaqfift

rr: Br,rcxil3brBa

Hufi A

u B rro,rry-

rrarorcq,

coorBcrcrBeHHo,

Br,rcKa lbrBaHrr

A,

AAB,

Av B,

A

-+

B.

tr4x

llcruuuocrut

re 3Harreurrf,

3aBuc.sr

or

grra.rerrufi

A n B

n onlle-

/Je.nrror(rx

no m,a6

t,tt tt,o,.u, lrcm,ulllLocrnu,:

1l

A B A^B

AVB

A-+ D

V T

n v

II

v JI

JI II

.rl

JI v JI

It

II

JI

JI JI JI

TI

Mox<go 3altetnrb,

rrro

Kog'rironKulrlt

coornercrBycr

colo3y

"x"

ccrecrBerrlrofo ff3blxa;

An3'bIoHKIr

t cotorry

"n:Itt"

B Hcpa3.Ire.[rl-

TeJIbIiOIlr Clrbrcre;

nt\lnJlltKaqr{q

-

cBff3Ke

"

cc.;ru....lfo...";

orpl'IuaHll(l

-.racrlrqe

"ne"

("rreneprlo,

qro...").

O4Haxo

r:4allnefiurert

6yler

BHAHO,

r{TO

aHarOrHq

Jror}r.lecKttx

onepiluult

(:

coorBe'r'crBylolIluNIlI

CJIOBaI{}I

I'{JIU

CJIOBOCO'IeTaUUflIIU

€CTeCTBeEIlOto

JI3I)II(a tI}lIfleT(:a

nenoJrHoit.

JIorn.{ecxne

onepaulllt no:tBO.[flT

orlpc4e.[trrs

rJcrttttHOcrHr'Ie :rIIit-

IIEHIIfl

CJIOJKHbIX BbICXASIJBAfiI{fi

.

flpurvrep

L.L Onpede"'tumb 3Ha\reHue

a'dcxtTal'Laatnut

((A

v

B)

^((A^B)

+

(B

v

c)))

'+

(T

n

c),

cc.m

lAl:u,

[B]:,x. lcl:u.

Peruenne.

[((A

v

B)

^

((A

^

B)

-+

(/r

v c)))

--

(In

c)]

:

:((nv

.r)^((u^ r)

-+(;rv

u)))

-+

(trn

u):

:(un(n-+

u))-+

;r:(nnn)+

;t: H-+ ir:.,l.

tr

$

2 Qoplry:ru arrre6pr-t

BbIcKa3r.IBaHnil

A;rre6pa nslcxa,:brBalluil

-

3To

piI3Ac,rI

l\{arellaru'I(]cKotl

.]1or]IKrI.

n3yqarouluii

cBoficrBa

$op'+t'g"'t,

nocrpoeurrl'lx

c o\tourLx)

r,-Iorll-t('-

cKr4x olepitqltfi

rra 6yxr,

o6o3tta.{aloq[x

BrIcKaSbIBilHr{fl

.

.{a4ulr

npe4napure.fibrIoc

onlrcilII]re

$opnry,ru

anle6plr

et,tclia-

3brEaHntl.

Byxnartu

A,8,...,X,

Y,...,

-4r,

8r,... 6y;1ert o6o3u?r'Itrrl

I{e KOIIKpeTIIT'Ie

RI'ICKa3bIBaIIItt,

i\ 6I}LCKI3l,IgqnleJl"bHbLe

fleI,Cil'aHi

flbre, flpo6craroulue

rtno)KecrBo

3E;lqeHfiit

{n;

",r}.

Taxrrrr o6purutt,

ta

tlllrlDcrxolrnble

6yxnt,l

n.ttt 6yxerr c

r

lexcarrrr

-

zTo t:lti4,Bo,tt

bL 6?,1-

|:i:(r.3

bltJtm,e.Iib?[br,1)

r Le

]rc.Me|n

Ll,l,1:.

l{:i

c:ltlrRoJos

Bbr(.KililbfBa.r(j.,rrrHbrx

uclx:rreHHlIX

(:

nol,IoIIIbro

rr3-

r1r(:TIrrix

rratr

:JrraxoB

.'rorrrrlecKIIX

onepar{ul'I

u cxo6ox

o6pinyrorcn

t

fr

o

l

t. t\.1

!).

/L

bL

u,Lt, z c 61 n,t

o

t,r,

cn o,:l r,t,n

o,t

t,t t

t't vt

nt

,r:

r-{A li); ((t3

^C)

-+

(((Iv

B\ -+

B)

n

1-v(Ezr_,911;...

Ch

poroc

onpqrlcJ,'rorlre

<foprrv.nr,r

a.rrre6plr

BbrcKa3r,rBaHl.rii

ruo)K-

r

I(

),'larrr

(i.,r('i.ryft

)r4rrlr r161til:olr

L)npeAereHtre

2.1 1". Bcan:u,ii

ctL,\,t6o,/L

eblc?ta3bLe{1mcr,rbt1tt-t

ncpc-

.ttt

nttoi.

ecnt,r,

(tctp.ny.nn.

/

lrnopar:

j.ne,Mett,moplLafr.

()op"u:ylta).

)''.

lJr:.n,rt

t tt

B

{tap.uty.rttr.,

zx.r (':r

A a),

(q

V ls),

(a

+ lr), lr

,lttlt,u,ttn

tr,.

:i"

/qp

a?1t:t:

ltop.lty.,t,

u,t:rn..

Ll

liurr,rrelf

merl

$o1tr'ry.ntr

61'gcl,r

::anucrsmarb

coKpaulerrHo

c

yqo-

|(|lr,::rt'.,'Ir.touleli

A()foBOI)errHOCTu.

BO-nepnlrx,

B iJaIltcII

drr4tlry,r

('r\,(

r{'lro,t(

t BrrcIIIHrre

cxo6rrr.

Bo-nropbrx,

cqlrraercr,

i{To

3HirK

,r'r

l)Illtilrrrr,

oTll(xtrtf(:rr

rlcl]o(:pc"'{(:

fBerIIIo

x

rori

Qtoprrltrnc,

Ha/{ KO-

rl,lx)ii

rr(xr.l.itB.rreH.

B

rlter.r,ux.

BBo.Ir{Tcr

C.ne,\ylonlllir

nops.{ox

Aeri_

t"f

t)uii

:\.rtr

6ItIIal)trLIx

()repiltlrrl"I:

cna.rlilJlil

n, 3itTerr

V, nocrqtrrfl,

_

:

.

(-'v.lc.rolr

t)Ti)ri

,loroBopeHirc(:Tlr,

BTopvto

Ir

rperr,ro cpoprrr.y.,11,1

II('lXrlt

oTIl)i,Ae.,'I(_rllrrett

I\roxilIo.

(:ooTBeTcTBeHHO,

3antr(]iuIL

B Blt.lc:

.4^IJ,

B^.C:

+

(Iva_+

B)^On-BNA

V Orr1x.,1r'-rrrrlrc

).1

tr,rut;tra

t:lti

lit Jl,trlnc\l,tr!

rLrLt)y,t;tttrunLu,,+Lott,pt:r)r,,u,tttt

lir.

f-rrr r'rrrLrrrx,rr,

I'

r)\t.

,l()

o6,trrrirr,r_

rio.rr4l,rr,

lttr),lrl(.1

(

ltolol{1,ru

lirri{r_

r()

r)irpr!

t(,rlrrrta

it_1r'r.r,

tlxrlrrrr,'rr,r)

(.tpoll(,,

l.t

l(li{lr)[)a)t.{).J.;rr,\!oinirl)l{)lo

r'1

ln

)rr

t('. lt,tt()l r)

lra'r r1r1a.,ra

'

(.r-

1r.<

r,

-

rr.r

t,.,tc\r(:1

t ilp1tn\

d4ptrv:r.

,r.,1.

9t,tcx:r,tt,t_

ri;||i!.lt,

l,r\

|Ielx]rt('lllltn)i)

||().ril/t:ul

tnlt Itp; t

..til\t. 1)ctcltcl

()

-V(:'t{l/iI'trcl,.

-\apirti'a1rr't,t.!rilhrrr()r()orrlx:.r(,.rr,riu,,o.r().rrr(t,l)r\tcrrrr,(:lt(,qni!r,'t,rii

r'rrrx06

.10r:r:;r:r'r'.

tt,r"t.lr;t \

Jcl)iti_.(,ltil

{) {,ln)ii(,l8ax

r.r6t,.x,rrrrr.

trc.l.lxr(,Ifhtx

,tit-

Iirlrl r)t,l);r'r{)\f.

Clrrrxrfi

rro.t

!r:r,jrJlril{,r(.,

1t:,tu)tfiu}u:i

tt,o rt,r)u,\)t)t,:tom,

llp :,r\,lrr,l

r;ui{lo

7l()liil

,iLt{'.,1nrrla

[rr,p

r r r

1

.r

r

t I r

r

,,

1r

: r r r , r

rrrr;r<c.

J

l3

flpng:rstrn B

(bopnryre

Br,rcKa3brB?rreJrr'Hbrrr

flepeNIeHu;,IrI 3IIaqe-

rru.fl

"u"

r.urx

",rr".

6ygelr

no,qyqzlTl CoorBercrBylonlee Ircrnl{Ilocr-

rroe

3HarreHrre

Bcerl

d)oPrryrbr.

flcno,.rto

pixr.lruqrlbllu

llir6opttrl II(i

TTIHITOCTHbIX

ilHa-Ie lrit

BbICKiI3bIBa,TC.lrbIII'IX

nepeIIeHHLIX

COOTBeT-

cTByroT

pa3rHrrHbre

}rcTr{HHocTrrbre 3Harlelrrlt

$opr'ry:rlr.

Bce arlr

3HarreHgrl

trto)KHo fiPeAcTaBn'rb B Ta6.[r

Ie

rrcTl,lHHocTI,I

Arfl AaIIHoii

<Poprryar,r.

flpnrrep 2.I

Cocrnaeumr

m,a1nurlg

ucm,ul ulocrnu

d.na

$op*r'y.nu

Av

(B -+ B

^A).

Ptrnegue.

I4cxor,'raq

TzI6,'Ifi

q:I

cocTa,B.rrtcTcs [o(]TeneHHLIrI

KoIIcTpyI{poBi)-

rrrreNr

r{a(:Teir

(no4{ropnrl'.n)

{roPrry,rr,r

c

yilerorl onpe-Ie,{e}Illr

JIo-

rutrecKrrx oneparuil rr nopsAKa

AeiicrBnii:

A

B

A B^A

-+BA

Av

(B

-+

B

^A)

'I

LI ,]I ,'I

.tI II

T4

II JI .]I u J-I JI

tI

Jl n II Jl I{

tI

JI

"rr "rI

,'I il

fIo,re:rro

yqlrrl,rBilrb

cr€favloqlrr)i

OaKT:

Ecl,u

rjop.r,ty,na

uueem n. BbLct-,aabLoutn,ent+tt:L

rlepeu,eHHhll,

mo a

rna6.nut4e

ucmltrulocrnu

dna arn,od

rfiop,rtytw

6'gderrt,

2" cntpore.

flarrrroe

vrnepxrAe]rxe

Eerl)ygHo

AoKa3arr

rrIIAyKIIrIefi

flo ,? Ir,'In c

rorror\bro K0[{6

rrilTolxroro npaBu.]ra [poH3Be.AcEl{q.

flprluep 2.2 lf ocrnpournr' 'ma6.n,r!,u,lot,

?],crnu?r?locrnu Dna

$op.uyn:

x^(vv Z) + x; .4^c^;lTtB.

Peruenue.

Ta6,ruqu ucrrrrrHocTlr

AJlr

o6cux

$opnryr

6ygyt ulrcrs no 8

(r.e.

23) crpor. Cocrannu:;rrr

ra6,ruqsr:

-Y

)'

Z

t'v z ,Y

^(Yv

Z) .Y^(YvZ)-+X

V u n

u

II

tI

II JI

II

PI

u

w JI

u

II

n

t7 JI

JT JI

.lI

II

.I

i It n

JI

u

.Il

fi JI

IT

JI

fi

JT

JI u

'I

JI

u

.n

.ir .lT

J.I

J]

u

A

C A^C

A^CV

B AACV

B

A^C

^A^C'

B

g

'I

vl

tl

J-I

JI

IT II ]I

JI

n

.II

JI

t4 ll

tI n

H

J]

JI

II .II .lI

J]

JT

9l

.II

"rt

14 ll

JI

,l

JI

.lr

u JI JI

l,

]I

.lI

JI

JI II

"4

JI

v

J]

.lI

]I JI

.II

.7r

II

JI

V llpr rrrtc

qtoctt

I rllit6.;tu

t1 ltrlrrrttrctn

,Url

4xrprrvit

c 6ojt|,tt|rM

,rflcjlr)ll

Bl,r(:KiBr,l BiL't cjr

J)lllix ncJ)crrottl||tx

uo)t

t{) lto., rj()t,ill.r)c,|

cjto.il}l()llur\l

ltpiltntjtolt

I);r.(

lrl)c/l(r|l!l r rtaISoJ)ot,

3 it,tclttii

tJlrcK:!ltntJiltc-rr,llhtx

Inlxrrrcl

,tx:

.

cbt(:xtr:Jt'!,ut1,fl,t1.tt1'trrt,?

rt,tilt,Mcrtrltu,t:

:)ultrocJurL(,a

c rrtu6,;truqrl

c

unl)u,cunttr,ou

nr4lark:r rtnu, l

ruryxirt:

u()3lxu nttllrta

lniu.lou:

Crlno'n6c'u',|u'\(!'ll|t,tLi./M'|lf|)|]t)ij|J|,l|:MIJ|'16u||jJI'b|k).t.Irtl:Ix:'t'ttlt'tt't.ttit)t,.tltlttt'ta

tut 2

ytttotttttt:

lLu(ttnl;

I

(tr'?:!:Iuolo

\ulr

l,L :Jutt,rl'woulLnlllrt

inLu.Lc,n,IrJt

',ui

,

u

lUbr:ll,lt)r,

-

3lLIau luta

':JL)

;

.

(rtroJr(\lrtl,

iturualntfr

ttrt:.ru:tlyttru4rts:

Brt!r'^:l:titsttnc.,l,t,nt.;-:!:

tLtll)cMorrru,r) !)+

,4Ji

,(!a,

t:oonut?,1

,(:

t3t1oto) lLa

4.8,76.-.. ytarr,rttt:

,l,uutrci!;

lu,:p\uJa

\ru(nh,

rLQ\LltrUM

(:Ut

[):t:lJ,

3Ulr)lrL)Lr:

r(:Jr,.t1 ru

1l,tLn,.M\!

"rt".

r.u:at\ortr,ua

-

31u1,,{(tu!,n-

,MtL

:rt'),

tr

T|,.d., rrnlnza

noo\u.?uhu):

.

rtl)tl tq)oarur1,1n.M ,ttLtlr,4

,ernur

ut!.o,461100

0

0ut.n(t4, i.ta

rnc,uitu:lr

auu.;u_

Jrtltluu.,l,bnt)it,

n,r:lr!^hr!,rutot1 ;)rtutk

rtlut

)'11

1r

',n"

(hlnu

L,tL

\l(.pr,l)ooenn,ra,

'l'n,xoc

pacttlx;lcacttxc

ra6ol)oB

r,rc'l lrt|

o(

r'lrrrrx iJ||it!rc|| fi

ll,n,

lrr,rcr(i]:l'rr]il-

'f(,jff,frr,rx

rtcl)cMcrllr,lx 6yAc\r ra:\,tBi\ti

t:iiot04l

nQ

,r- ,ll'xKo

rrlc'r'r,,

,111,

,,

r)6oxx

ttpti\q)ax 9'lofo

;rp:u paq)a

hclt().rlr)nlDnI|()

rtol|lro

crxtilal)lt|o{r

J):],c!Jxi-

it{titc

hc ltil6olJoB

lttaltctltfi

l}lncKiL},t!rilr'cit h t,lx

llpc\tcIl ,tx.

.\

Paccuarpunaa

nocrpoeHrrhre ra6ruru,r, \ro)Kro 3alrerrrrb c;re,Ay-

()rrlyrc

oco6enHocrb

AaHHbrx

$opuy:r.

(Dopnry.na

X A

(Y

V

Z) -+ X

npH Bcex Ea6opax 3FarJeHrdt BrrrcKarrblBilrcfibHl,rx

fieperleHflbIx nPIt-

rtrrrraer

3HarreHr{e

"u";

$oprry,ra

-AAC

A-A

A

C-V-B

nprr Rccx nit-

6opax axa.Ienafi

BbIcK?t3hlBare.rbHblx [epeMeHHI'IX fIl]I{Hr{}lae'r 3rr?r-

'rer{ue

"Jr)).

Taxue

$opr'ly.nrr

fia3brBarorcfi,

coorBcrcrBeltHo, ?Ir.o-

)rcdecm1eHHo ucm,uHtTbLMu,

g

m,oJrc()ecmqaltro

n <)ucltbLM,u.

Onpe4e.leune 2.2 @op,t'qna ane?,6pa

oucKaiJbLaaH,u,li ll,osLLldern ctI

tno)rcdectnaenH,o ucrnulfiroii

(mocrcdecmoen r to JloJffiroi

),

ecJlr

L )rrLa

Sop"wyna

npu?1r1"!waem sHuateHue

"1i'

("JI"

)

rLpu

ccc.t: tttt6opo,r ;nn-

"reHu|7

srodal-!.t'llr a Hee aacKa3bLaatfl€Ltrb7t,?,Lr

rt,ef)el!,eHtLbLr.

(Doplryny,

He l,'rrrorryrocr roxAecrBerrrro iroxrrofr. H:[]r,rBaro'r

abLnonnu.tutol7.

I4: orryle;qe,nerrna 2.2 c;re.21yer,

qro

(bol)\ry,'Ia

BbInoJIHIIT{il rorJla

II

TOJIbKO TOfAa, KOrAa OHa fl])rlHr

llaer

3Ha.leHlre

"n"

XOTX 6r,r nptr

o/t-

Hor\r Ha6ope 3HaqeHlrfl BbIcKa3hlBare.[bIIblx IlepcrtcuHblx. Tax. tr,l-

noJlHrlrrofr

rBJr.flercs

$opr'ry:ra

r{3 npllrrepir

2.1.

!.nx

ncnxofi

droplryl;r

r\ro)Krro

perrr{Tb aonl)oc,

fln.[flerclI

Jrr't orlir

TOXAeCTBeTTIO r{CTrrHHOr"r, TO)K.I{eCTBeHHO

.iIO;'KrrOil

(nr,lnO.nnUrtrOil).

B

npuaqune

)To

BcerAa, Bo3ruoNino Bbrrrcrrrrrrr c noruorrlbro ra6lrnu

I-rcTIrHHOCl'fi. BlteCre C Telt{. np 6o;rr,ruorr

qlrcre

BlicKil,3l'rBitre.nr'-

HL,rX neperreHHrix B

ooprryre

sTor cloco6 HeyAo6eH.

A)yfrre

cnoco-

6rr

pacnosrrtrnaulrt

ro)KAecrrBeHttoii HcrIIIIIIocru tr rol*iAecrBcI tol"l

Jrox(rrocrrr

(nr.rno:rnrltocru)

$opuyn

6y4-vr npunc4cnL,I HIr)Kc.

$

3 Pannocu.nrnocrr'

<loprry.n aJlrc6pbl Br,ICKa3r,IBaIIuit.

3arouu

;rornru

Onpe4e;reune 3.1 Qopt"ty,'tw

,t u

I

lta:Jbrcalort,cn

?aa1roc1t,./Lt

t

t,I't,-

Mur

ec,,Lu 3mu

$opi'tE,x1iL

nllut7ui4,al{n1,

od'ulla\o7bl?.'lt,crnuHH,ocryt,tL?'La

lo

:

1,(t\t,t:tLlLht

npu,n)o6bL:r Hd6oput

3?IuarcH,L1,7i BblcN\3bLaafn,e.rbu/l't"I

ne-

'

l

(

i.

trl,

(

".

t t l I ? rt:I l.

O6o:rra.rcrrnc:

q

=

B.

Paguticr,,rlrror:Tr, rrJrr

rrL^p:lRHocnJ'rbrroc'tl

r'u;yx

tloplry-'r uoxuo

D rrprrrllrirnc ycraHoBlrl,

co(:TaBrrrJ

ll.rrt

Ilrx ttr6-tru4r,r rrcrr.rlTllocrrr.

.,1<:rxo

noxitratr,

(:.lleAyrorleo

crioiicreo

pelBr]ocrr;rrrl{rix rlrolrsr_vLr:

Teopelra

3.1 Ecrr,u.

ptl

=

l3t u

\2

=

'62,

m,o

8r A\2

= ,Br

A ts2;

-'r1

,/

.tt.,

1

E1

V,t]2:

?tt

.-

tlz

:

Et

+

tB2;

?rt

=

Bi.

lllrnnc4clt

giur6o:lcc

(Iacro

E(:Tl)erlilroullrcc;l pilBrJOcI,IJ-Ibuocru,

I li r:,l)Ila.ctrIblc

3Q :oIl"tL,L7t1,

,/LO?'11,t;11,.

I-

3axrxrr,l Ko[rrry.t.arllBtlocrrl:

l) .{AA

=

BAA;

2) Av D =,BvA;

.

3axorlr'r il(:(ioultaruBrroc'r.rr:

:t)

{-l^B)^C-A^(ll^C):

4)

(.4v8)

vC:Av(BvC);

\(,()lllli

l ]

rxllr,

tt(rrtr{)-it,('t

l

)il{,{,\til

t

p

lti I)

ti{J l)toItKIlull

,:OIft,t(JIt{ttxu.

Irn

Lr)r

llr{)

fir;.rrx'

,rctr

J

,lt}\'x

rlIo

{)tt.

rrc ta6otlct, {)

llol)1/(tic

l)ilc{]itrroDt(tl

r

rioiror'

rr.ru rlrrrrl orrlr.tiitir

cro6xrr.

IIL

3;xoun

rrrcrl)n6yruBrrocrrr:

5) .lA(AVC)

=.1

ABV11AC (l-ri

4ncrpx6yrrreurril

:;axou):

(')

.{\/(AAC)

:

(.1V

D)A(.4VC)

(2-irsncrpH6ylrenuft

:axou);i

IV.

3arorrr,r

4t'

iUoprana:

;t T,rB=.

lvR:

d)

-.lvB-t,rB:

\i.

3axonr'r

of.[(]rrlclllll:

1))

.1 A

-,1

:

-{;

10)

.4 v A

:

.,i: 11)

AAU=

A; 12)

AVJT: _.1

tll

rr ,i {(xlrr{r'trlrj(,ttrr().

1r))t(/lr.("r(,rlr{)

Lr{:tHnrlu

l

,l{)2i.lcc.ulcllro.r()/l\r?Lrl

rlrr;Jrrrr.,rr,r

):

VI. 3anorr

ABoirrroro

orpuuiuurq:

liJ)

,.1

=

.,1:

17

VII. Pa:nue

3aKoHbI:

l'l)

,4

-+

B

:Av

B;

15) .4

-+

B

=B

-+A;

r{;) An

18) ,4

^

I

:'rlj

19)

Av I

--14.

l)iurrrocr-ir,rtoci

fi

(11), (15),

(16)

tt

{17).

coo'rtrclcll,elllto,

xrlclol llir'}r}:llrttt:

"

tiLxol

vctPalctrr,rlt

ttvtt.;t lxatut tt"

,

"3ittott

xottr'l.rittr{rltttlltlt",

":lltxott

ttpolrlurl

1x,,trrr"

n

t':axott

HcKiro'rcrrrrofo

tlxltt,utn".

Kax<grrri 3aKorr

JrorKKIrr KaK

rr trc6at

PaBHocl4Jrr,trocrb

B a:rre-

61x: rucxa:unauuil,

I\roxer 6utt

goxa::an

cocritBJlculte\I

Ta6JrIrI\

rr(:'rrrHHocrlr

,qrr

efo reBoii u

np:IBoIl

qacr€ii.

V Palttoctt.t

t,t toc t u

(1)-(13)

ujrtr

?r,rrlrrol ltrtttl,to

lt\1

'lilKoll!,t

ilc)liilr

I] o(iltotrc

rfifl{'rriur.}r,fccKoii crPy(lypln

rlo/t

rriu}rallHcrr a.,ue6po.

Elpn

(6y;tcrt:r,

a-;tlr6p:r).

(

ii

pyti'r.vpy 6y;rctroir a-rr|c6pu

u())Kt|o rla6Jrro,itilrh

t! R,ll)yrrlx

o6;tix:r'rx tttttcrta-

lrrxlt- Htlnprrt<p,6y.ar:rrr'

iutr16l-11

o6pa:rytor'ltIt{:)r<{'(iflr:t

c ollcl);rtltltrltl

tlcpct(r-

,rr'rrttn,

o6t,r:l(rtrrcrrlr

u

rlotro.:rtrcltxr:

1ro.;rt"''rl"

n

:r'tolt

c.;tvttilc

tlt

l)tar-r

0 a

po;rr,

"!I"

-

"

yrru

ucpciulr,roo

rlro),KCCrRoi'

(,ractr.r cr'<-l o6o.rtt;t'tn.ro-t fi.)

65';rcuufi

tr"r-

|(61)oii

tlritt(:'tca Laxx<c

iuttt'6pa co6l,trtrfi.

tl'l-v't;tcrtitt

l, lcopvtl

trcpoJ'l

lrl()fl

cii.

A

3ilronr,r,rorvxv

no3BoJ'Ifl

Ior rlpol't3BoArrrL

npeo6pa3oraHltg

(bop-

rryJr ajrre6pbr BrrrcKa:rr,rBaHI{I1.

flpurrep 3.1

,{oxaaumt,

^tmo

A

-+B

--

A nB

(saxon

ompuqu'

nua uutr,,nu,natquu)-

Pcuenr.re.

Ilpeo6pa^'ryer',r

flocJ'Ie.AoBirre,'Tblro

nep3ylo

dropr'ry:ry

no 3aKoHirrl

"'rorHKu,

yKa3blBas Kil,)K,qblil

P:r3

IrO\Iep

fiPu\{eHff

eI\IOro

3aKotra:

T1-B:01)

fi 6:tst

A,\B:ott

OnU.

o

Orlrerurr

IaHTepecHL,II'r <f axt,

cnraannuft

c ailKoHatillt

J'lofr{Kll.

C

norroulr'rc

(14)

rro6yrc

rlopuyly

arrl'e6pbl

BtIcKaJbIBaHIrfi

rroxHo npeo6pa3oBarb

K

paBHocHrbHoii

(bopMyre,

He

coAep)K?rrllefi

rrr{rrJrlrKallu

. Llnrtrru

c.nogaltlt, BcflKyIo

{-ropruyny

^Iox(Ho

Bblp:l-

3HTb

qepe3

oleparluu

(cnasxu) A, V,

floerorry

roBoPqr,

rlTo

18

lA,

V,

-j

n,o,rlHalr

cltcrneu,a (notutetnut:)

onepa4ud..

lzvrce.,

;rer-Ko noKznarb,

.{ro

,4

V B

=TrrB;

-4

A B

-

A V B.

I,I. utn"n

cne.4yer,vro

{A, }

"

{v, }

-

TirK)Ke noirrrbre

c}rcrenrbr

onepaqnrl.

Kporre

roro, AnB:

A

--t

B;

-{VB

-,4=

-+

E.

C,re4oeirre.irbHo,

,rro6yru <fopln'.n.v

a.nre6pr,r

stlcxa:r,rnarrrit

tro)Krro

Br,lp:utrrrb

yel)eil

oncpaurrrl

+ rr

-j

To

e(:Tb crrcTetlrar

oneptrqrrii

{-+, }

.roNic

no..{Hi},'I.

\,[ox<no

loxasau,i

rrro

npyrnx

ro.]rnbrx cncrelr

ral

raHHbrx

tre-

'rr,Ipex

onepaqlrfi o61ta:lonarr,

ue.n;:a.

3aue.rarrze

3,1

'Aezr;;o

3a,lteTn|unllr,

auno

npu npuu'utenenuu

1-zo

du,crn

ytu6gm,u,en

o z o 3 uKo17a (

5

)

dafi"cm,et

rc KoHtrorrKrlufi

at

(Ltro

?ll^r

r,o

det,cmeurc

yrfflo)Kcllur.

o,

deiic.m,eu.e

/III3.bnHKIII'II

urre,,1,oz

lt\t]ro

dcticttt.ctttct

c.ltox(eHrrr

a

"o6ttouu'tr"

u,.rt

z,e6pau,x,acxtt

t

cll,urLe,Mat:.

Ilynt

nTru-ttenernr,u,

2-zo 0u,r:m,pu,6t1nt,,t!6?1ozo

saxown (6)

KoulrurftltttLa

u, du,satonnqua

""trenarurnca

pona.u,u":

n epea& cm,oHoallfnca

au,u.no-

?,o,M c;ro icrrr"rg,

a arnopaa

?uL./Lozo,M yrrHoxeHlrg.

Ilpu, amo.u

'nf)u.Mc?7ct1,rle

ao,r:on oa

(5)

u, (6)

"

c:lesa

Harrptrnci"

atTuJLo?,tj,\LrLo pilc-

KpbITIIIo

cxo6ox, rz nf)r),M,etrul,u(

JTtl,lt:L

.loriotrol

"

cnpilna

ua,teto',

rnlQ,.t\,o211,1171C

BtrrrreCerIIIK)

O6UlerO

lrttCiNltte,rn

:a cno6xH.

3arreqanr.re

3.2 I4t m,colte'v,u,

3.1 cLtt:}Eem mttK

na3bL.roeJ\.toe

npa-

t)u,.rto

tt,odcmo,ttooK,Lr,

noiJ6o./Lato,t4ee

t: onpet)enelntoLlt,lr

oz'paHu\eu,?rJ1-

.M',Lr

npu&l,e1lnrnb

'u,f

nccm.Hbrt. pa6ltoal!,lxblLoutl.u

rc

(top,tty.na,tt,

cocnto-

.fl,\ltt'u,M.

He nto.nbKo

u3 G,bLcK13bLBOmcnbHur

nc,peMeHtlhL:I;,

77O 11,

L!,:j

6clnee.

xpynut,rt:

ntu,cmeri

no0(toyt.u.y.n.

Tan,

xanp,u,ue.p,

$o7t","ty",r4

jIA

B ) C A D .uozuto nryteo6putoaarnl,

n au.dy

.,1 I RV

C n D.

B dnnr'u,eiuteu,

,u,t't ne

6yde.u, aaHo ontM,e\amb

npu"LtetTetTu,a rLp(LB,tr-

,n,a, n,odcm,o,noex:t

L a

pe,a

Ho

c

t!,,tLbH

bLr n;peo

6paa oao,nu,a:t.

3aue.ranne 3.3

3anu.cr,

q(lir

,

;12. . . .

,

A,,) c

dan,r,r.e, uteu,

6y-

dcrn oau,auo,mu,,tmo (.'op,ug,t

o,

et u,Maern,

BbLctte,Bblao,nlelLbtrbLc

u,cpe-

.M.eu,tl?'t,e

At,42,. . .

,4,,

u, He u,Jrtr:cm

d\ryzu,r au,cr;astt,Ga\Le,rLb-

u,t'(r ncr)e.M(..r111b1T

llyndo,eua

ace6o3M4o)!cT

Lbre

3!ta\e\,ut7

3m,uM ubL-

CKO,3LBAme"/Ltrllltl,"U

flepel4eHllbLr\al

A4bt, h:AhJ

U3AeCnmOr

TtrUrgXAe.U

2',

i110,\Lct7u'li,

'u,'

,

'Lt,"

da,a

yr:1,:tu,nxoti

attutc

(top.uytt,t.

It

Ec.mr, trce menepb

paccttornpenL?,

(fop.M!Jlr'!l

q(4,4;,...,

{)

"

rtnea

npudamt

aceno3r\'toortu,bLe

3I Laarallrfr, abLctasbLaame,nbt:,rr,N,

n.c-

'lnMeullbr^I

At, Az, . . .

,

A,, mo I

u,nlozo(Jo'\l cmol,64e,

n,o,tL!J4t1L,M, 'r(:

iK(,. ItclnuHlllcfnHbLe

3ua\let7ufr,0.na

nttc,nc,dne.tt

rfop,'vtg,nur,,^tttt,o u ),na

(top"ttynut.

z(,41,A2,...,r1,,),

Trro.nr'v':o a

dpyzo",v' n'opa)xe. Ornctoda

cttedyem, \mn ecrLu

paaHoc'uJlt>?-Lbt,

Sopuy.nw"

zt(At, Az,.

.., A,,) u

'ts(Ar,

A2,. .

.

,

Ar), mo

paeHocurLbtlbL

m,ok:)tcc

u' rfoltaa11.nar'

,'(q,A;,...,4-,)

r, ts(4,4,

.,:{;)

$

4

3axou

llRoitcrBenrrocrrr

Pacclrarpunita

nl)uBcAcIIIIbIc Br,IUIe

lrirKoIL'IoTIIKI{, NIoNiTIo ila,-

lterlrrb,

trro

HapgAy c xax<goil

plBHocII"rIt>tIOCTI'to, t

o6cnx

'ltr:rax

Koropoii

coAep)Kitrcs ro-'Ibr(o onel)alluu n, V

u

,

nlleclcs II n.rl)-

rrax"

panrrocrrarHocrt,, B Koropor"t oTlepirqult

n lt V

:larIeIIsK)T(:t

oAHa rril

Apyryrc

c coxpanenr{e\t

npcNilrefo nopriAKil,

4cfl'tt:rntrlt.

B

:)Totr

cocrol4T npoffBJTellue raK

Hil:JLrBil(rtltof

o aa?io?L(r dgctttctn.ar.rt,-

Hocmu, npfi le:creHlre Koroporo

:rEi}-rurcnbllo

o6rerrirer II:JvrIeIt lre

anre6plr BbrcK:r3brBaHHli.

7]irR

naua,rn

BBeAeI\r HcKoToPLIC rIoBrrI€

noll'lTlltl. oncparptto

"xolr,lonxqur"

6ynelr rra::slaarr, )coticnt

eeutto tt, oucpaqrrtr ".ltr;r-

romqna" u nao6opor.

!,ance

n srolr

napa,rpa<fe Bcxl,rly! I".ite

3TO

(:nerluanLHo

llc

oroBi)-

I)r{Baercs,

6y4elr

pacclratprlBZl'rb l'o:rI'KO

rfolxty.nr'r, tlocrpoeHIILI(l

c norroulbro

KoH'broHKrInu,

,,Ir{sl)R)tKrln}r

Ir orp[IlaIIIJI. B npelr'l1v-

rqeru naparpad;e 6r,rlo noxa::ano,

uto .nro6yro

rlopi\IyJIy rloxno rrpII-

BecTrr K TaKoNry BI{Ay

(To

€cTb iralrclrr{Tr'

pnRttocu.nr'rrorl

$t4llry.;ttlii

yKasaHHolo nu4a), lootoruty o6tqnor:rl

pi)ccyx(AcHfiil

He rcpfl er(irt.

Orrpe4e,rexue

4.1 @op,uyrtoti,

Aeo'i-tctn,aettt tot't

rc tfop"'vty"te.

'tt,

t r'o.-

3bLeo,ernca

$opu,y"la

q*,

TLocfn,poelr,lna

n,o c:.tedgtotu,tt.u npe6uJLu..M;

lo. Ecnu

\

- a'u,cKo,3a,6am{arn,H

ir n,epc.M,erllrnfl u,lIr ce orn,p'uu)u,-

Hue,rno

g*

:

Qti

2'.

(r

n r)-

-

q*

V r*;

(et

V ls)-

-

u* A

t*;

(t()-

:

tt

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

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