kolos1czi

Kolokwium z logiki dla informatyków, informatyka itudia tlacjoname t lemeitr Imię i nazwbkoBcaaw^.^kj^^-^c. Grupa^-^l. Liczba punktów™._

Kilka prawidłowych odpowiedzi jest możliwych!    Rząd B

1. Niech X={133}, Y"{23,4}. Zaznacz relacje, które tą funkcjami częściowymi z X w Y. <2pkt)

A)    {(1,3), (2,4), 03)}

B)    {(1,4), (23X03)}

Q {03), 0,4X03)}

D) {(13X(1,4X(43)}

E)    {(13X0,4)}    F) {(1,4), (23)}

2.7amaer poprawne rozumowanie: (2 pkt)

A) Przesłanki: 1) Jeśli student mc uczy się pilnie to nie zda egzaminu.

2) Student nie zdał egzaminu Wniosek Student nie uczył się pilne.

, B) Przestanki: 1) Jesh sanient nie uczy się pilnie to nie zda egzaminu.

2) Stadem zdał egzamin*

Wniosek: Stadem ncxył się pilne.    ^

3.    Wskaż zdanie pnwdswe w strukturze liczb rzeczywistych. (1,5 pkt)

(A) (V,!(x* — I <4Ń

(J) (3,lir¹- I <t§-

(C) (V,

(JJ) (3, _T'(I x²*y*r«j»f|

(E) (V,, , ^:    ~s' + r^,*#M»ljr*j»«*=0))

4. Zaznaczfnirnią.tatanj— .wynurzeniemzdania (Vx)(Vy)((x^:=*y>*>{3_I)lx<z<y)) (2 pkt)

A)    {3xX3.vm; ^•yHV,)fi>rvr>yjj

B)    {3xX3yX(*^2a,>)v(V_>)(*>jv«>y))

C)    (3xX3y)({x^ł-j)AH<3,H**rA#<y)})

D)    (3x)(3>’!(U'*y)A<V,i x>i v: -yjj

5.    Zaznacz zdania fałszywe, przy założeniu że zmienne X, y są ze zbioru liczb rzeczywistych (1,5 pkt)

(A)    (VJt3j4{jr + y=*0)

(B)

(C)    (3y)(Vj(r-y=0)

(D)

6.Zi A, B

A)

B)

C)

D)

7.    Ni odpo

A)    IŁ

B) W

C) d<

D) w do ot

8. N r<

Wyp

9.    Za

(A) p

(B) p

(C) f

(D)

(E)

10. zd:

(A

U

(