DISKRETNA MATEMATIKA

1. kolokvij Skupovi, matematika logika, binarne relacije

1. Neka je zadana funkcija f: , takva da je za svako x , f ( x ) = 3x 2 + 2 . Neka je

A = { 1,0,1,2,5} . Odredite jednu particiju skupa f f 1 ( A) f 1 ( A) .

2. Neka je S = x : x = (0.x1 x 2 x3 K)10 x k = 3 . Ispitajte je li skup S konaan. Je li

k =1

prebrojiv? Obrazloite.

3. Odredite disjunktivnu normalnu formu formule:

[( p q ) r ] (p q ) .

4. Naite jednu interpretaciju formule xy[P( x, y ) P( y, x )] . Je li ta formula ispunjiva?

Je li valjana? Obrazloite.
5. Neka je zadana funkcija s: , takva da je za svako x , s ( x ) = zbroj znamenaka
broja x zapisanog u dekadskom zapisu. Na skupu
definiramo relaciju , tako da vrijedi
x,y , xy s( x ) = s( y ) . Ispitajte je li relacija refleksivna, simetrina, antisimetrina,
tranzitivna. Ako je relacija ekvivalencije, odredite sve troznamenkaste prirodne brojeve
koji su elementi skupa [12000] . Ako je relacija parcijalnog ureaja, provjerite je li relacija
dobrog ureaja.
6. Neka su A i B neprazni skupovi, neka je f : A B funkcija i neka je na skupu B
zadana relacija parcijalnog ureaja . Na skupu A definiramo relaciju , tako da vrijedi
x,y A , xy f ( x )f ( y ) . Ispitajte je li relacija parcijalnog ureaja.

Rezultati: Na iduim vjebama, u petak.