2

O MD2010: Kolokwium II - Mozilla Firefox

http: //e. sggw. waw. pl/mod/guiz/attempt. php?q=1098&page= 1

Pozostały czas

0:09:22

3

Punkty: 3

Strona: (Poprzedni) 1 2 3 4 5 6 7 8 (Następne)

Niech zbiór N oznacza zbiór liczb naturalnych, P(n) będzie predykatem "njest liczbą parzystą", Q(n) będzie predykatem "njest liczbą nieparzystą". R(n, m) oznacza predykat "njest dwukrotnościąm".

Które z poniższych schematów są prawdziwe ?

Wybierz co najmniej jedną odpowiedź

0 3n3mP(n) A Q(m) A R(n, ni)

□    \/n(P(n) —> 3mQ(m) A R(n,m))

0 VnV?7i(R(n,m) —> Pin))

□    \/ńim(P(n) A R(n_}m) —> Q{m))

□    Wńim[R(n, m) —> (P(n) —> Q(m))]

0    VnV?7i[/v(7z, m) —> (F(?7i) —> P(n))\

□    Vrz(P(rz) ~ 3t77 P('77?) A P(?i, ni))

4

Punkty: 1

Zaznacz zdania prawdziwe Wybierz co najmniej 0	{*,n € {{X,Y,Z},{X,Z},X,Y}
jedną odpowiedź 0	$Q{{X,Y,Z},{X,Z},X,Y}
0	{X,Z}£{{X,Y,Z},{X,Z},X,Y}
0	{X,Y}C{{X,Y,Z},{X,Z},X,Y}
□	<»£{{X,Y,Z},{X,Z},X,Y}
□	{X,Z}C{{X,Y,Z},{X,Z},X,Y}

rr-

^—i nr

Zakończono

sggw 10. tk t Mozilla Fi...    0 MD2010: Kolokwium I...    $ 1. bmp - Paint