86384 Zdj�cia 0079

»U

;***» ,,

w..«t.>n, „t,*>,,■**

*ad , ^ ¹ ^ ^v P) i'

A)

B) Cj

Ol

* ^U ^nic i, i

P / fu V,,)' """

Ap)

’M

P / (q

P p

^^D- 10. p_0ni>.

- • 3j=s/_#. ; f^c.^(,,/<'^w

• i unr/^#j^ ^

o

2

3)

*” ‘ ’’ ^J (i) jeM |._n)) .    ⁿ'¹' ' ■' ’^l"'"l\ uu lumku sckwenlńw dla sprawdzenia, czy formula

'' '■ i'l ' W. •

2 & v ii)"'

!

=ii!ŁfUłl

■ w

LLA.13 ^a> (i -> a a \\

u j " _nr1^,,,P^|/-^c,0h Wy/el jest poprawny. oku-.l v \\ poprawnie wyprowadzono węzeł.

Bj

Cj

Dj

Oj nr 5    _Wskaż

2L\D. 11. Zakładając, /e x, y, / są zmiennymi indywiduowymi, p. <l»^{1 s}'^mbo'

-**?isy, które są formułami rachunku kwantyflkutouSwt

A ( nf v *.• \ / \ * ti I» \\\    •„ K m i\t v .u \ \W

nr 3 nr 4 nr 5

^{r    w} V    *

............_...........kwant v ftkutonSw:

W

w

3,

C)

(Vx(p(x,a) < ;■ q(b))) > h • p(\,q(h))

vxvy • riXAyj •: :• \ iw 'yo

Dj Vy(3x • p(x)) A (q(x) > r(y))    . _wsUail które z poniższych^lor’

ZAD. 12. Zakładając, M P, Q są predykatami.x aauł rachunku kwantyłikaiorów są tautologiami.

( Vx • p(x)j > (3x • (n(a.b,x) a( >ą(yV‘ VxVy • ((xAy) o -( >xv *y»

3. 12. Zakładając, /c «.> są pieuyN-»‘»'»-rachunku kwantylikatorów są tautologiami.

A; (Vx»P(xj) >(lx• >P(X)) ,w.l’(x«v(Vz»PW)^vP^x C {%V(W»«X*)» H(V*.VÓK>lVx.Q(x))'    _§R.<_AsRlR„Rz>on«^!hW

Z^: O. .................. -    ^    ’ ‘

a/ «'*>''? H-i^    ^ciowaulay^ ^^netesi spełniona

g s k <<: i s s:«*——::::: **-. •»«—» *—^v

ZAO. 14. Na pewnym etapie    '    4) - - 1.    »

^3)Vx*“

₂ są rófcne od x.    *'I ■’ ‘    ,    iiksioniaiaim.    kwanwfiWatorów,

W drzewie I.Uueją | ^    ,, _{|csl W}u.olo₈.ą raelnmku kwanty

można ju* slwicrd/ic, ac łom

' '    / JI__... ../I V I

AJ

Bj

gdzie