67178

V.5 Tautologie; metoda zero-jedynkowa

-:r    _ra: g; ;£g_: |1B»! lUitl su. .

Wyvuxcfua lukic jak w os.ainim pr/yktmi/ii wprfnittji: bwd/n wuż.;ni ivlc w    Jp.ki> icłicrtftfY wylnczr'*: it!si prwcd/iwych /nwtłzięcrain

swoią p»Hwłziwc**f wojcj scnkniTO formalnej znacwniu wyjmujących w nicli stałych logicznych.

Icnniny poz&Iogicza& występujące w    zdaniach będących

podsiswki^omi lalach achcmtnSw. uiu mają wpływu ah idt v, oriość iopkzasp Zutuiia Ukic vą prawdziwe lubieżnie. Jaki* takie auniowhi

podsliwc nitt/awodnych mvm^mowa\

Cdem k i.z. jt*M okroicie zbioru WNzy.suich wyrażeń o lei własności. Wyrażeniu lakie aa/y*v*4Jiiy Uulvlu(wnii kl>ivvc/ru.^aKi> rachunku zdań

•    :i3 ;3fi iifili -®ii ;sa ! * :*??

Pojęcie Uumki^i k.r.z można zdeluiiowftć dwojako

i;mli»loe:j k.tv.. ru/.yw :m:y kzzdc wy rozkuć icjio rachunku, będące schematem wyłączni o zdań prawdziwych.

TautoJo;. ąk: z omywamyk*>rlc wyrażenie iqjo mohiraku. ktiSrrjcs* prawdziwe pizy dowolnym waiToscjowamn zmiennych

/eaaiovv>vłi.

Dcft^ic.c Tc sr sobie równoważne vt widie nm/ych WTroeiictszych iv>2ważad.

Tnuologie tr.f.z. nwywsnr. s.i ur/ prawami k.r.z.

**’ ■    ••• *' 'liŁiT iiii n

rr/.y peitiucy .ibcli, ukich ;aż luttusUtiowane poprzednio, tiuxżua c/y (kiwohii* wymżenio x.r.y.. jca., cxy leż nic

tmnnlogin.

/.gmlms / tym powiemy, że zagziirncinr *>piuine py.jnirm o U) c/y dane wymienię j<#t butclopą k.r./.. jcv. zsgxdmaucni rw^ir-tygulnym. M6?.^pi sic też. że U.r.z. jest teorią rozsnTygainą

Zarira^tov'*na trrtodfi rcrarrzy?anifl o miroioęyTiKiAr.i (sity wnmrn-kigkono&i} wynźai k ‘ 7 n.izywu się m teorii) 7rro-j>dynt«>wn

:j im :ttt?

PRZYKŁAD

Komorzy gniocie. c/y wyrażenie e:<t UHilulugkl L.i.z.:

(r ^A ‘i A / Aj- Al)    {q f/ -> (i .))):

w>THKK*li?łiy nr/.wozifisu 32 ( 2^%) różcych Witościowftu i usicleaai. peprrer wykrMiamo cełkicm sporej liczby krakAw pośrednich, ja!<q wavft&* togirmąprzyjmuje b» wyrn/roir pr/y każdym /. nich.

I nkic |\“)siqvr//r.i*ic hyłchy doić c/ysi\;hk*nrir

Okuzu;< się_, że pełnił ikvii pornys«łowvoci |*rz«vłili w znacznym btupniu «kmcić pmcodjrc pmwjid/^ui do luzslizyiuik^ Czy wyrażenie l3Htolojin