67177

:o .<*. .m> _!9| nm^ssaizzr^stt’ nm -m

0197. nilCŻACŚCi O^tMne:

IZA) !«,.    ,.... <i.) j: ft \sr«ły i Tylko wtedy. wly

(«..«;.....i) F K-»/»>

(ZS) {«., r_I:.... o_t) | p Wtedy I tylko -Atuk gdy

ł* W=>('«.=» =»(«. >/'> '))

.    , _fg?s^ :**

Odchujmy. żc zalciuwć (24) jc^st szczejótaym pr/ypwflricm

7*IC7-*0<cL

(TO) ATw{r/{ [ fi wiuclyi tylko wydy. gdy X ^ la

%&dć X oznac/.u dowolny (uiektmtoc/nię sko&zony!) zbiOr lumiul

jęQ’ka Łr./.

Widoczne ic\»_: te ztl&flftki (21) j (22) s* N/x/e^ulr.ymi pr/vmdk.nni (Z4), iuii<tmiji5t (23) . (25) :3*e*aa oir/vt:uć [jc/c/. wista krom?. /sstOMnv*nio (24).

Ta iriijlnu /ałe/no.ći nd/>v/unr. irsi rukiitrcfflifiu o dedukcji dlii icLtcji konsekwencji

VI. 1 Tautologie rachunku kwantyfikatorów

*•'    -    **'    ••'-‘••i ii-TaWMWBI ib tut. ₃

Wyraża ia k r./, nie ntl/wiemietllrn    głęboko Struktury

niektórych /Am jqKvlapatiDC/itcgci.

Nr poyJchd wbciuatciu zreuia ffii/icy fa&fr m iwcTrdm .t >!:c*Jórzy ufmctrtlą "dodo jest w kr.*, wyrojenie: p*<f% ?h$ ?<tan*A. KXrv.*.>*    a: smhenehu ora/ At/foirr.y    tnł<xio są tu

traktowane 'dko zdrria prosie.

K:I* uwnrh7n« «!r.iklw* nic ln\< odrw'k!Ck<lioiM w języku k.r./., i wynika to 7 felan. it ric wszystkie stale    aulc/.H co leksykonu

JvxyJui k:.z. Nie uale/.a b-.mietu iu> nieśli wynutriia kwantyfirancnwc' in;,«>y(Ju: ko:itv/,<o. Jia wzysthch, k(&ty. wrss&ifi,