2. Zavrni ispit, 1. dio 2014/15.

120, Diskretna matematika

1. (5 bodova) Dokazati matematikom indukcijom da za svaki n N vrijedi

1
1
1
1
n
+
+
+ + 2
=
.
6 12 20
n + 3n + 2
2(n + 2)
2. (5 bodova) Neka su A, B, i C bilo koji skupovi iz univerzalnog skupa U . Pojednostavniti
izraz




A B A B (B (A B)) .
Naznaiti koja svojstva algebre skupova pri tome koristite.
3. (5 bodova) Formulu algebre sudova (A B) A zapisati u bazi: a) {, }, b) {, }.
4. (5 bodova) Odredite Booleovu funkciju F (A, B, C) koja na izlazu daje 1 ako je
(AB)2 + (BC)2 = (ABC)2 .
5. (5 bodova) Neka je S neprazan skup i na njegovom partitivnom skupu P(S) neka je
definirana relacija na sljedei nain: AB A B = , za svaka dva skupa
A, B P(S). Ispitati svojstva relacije . Za svojstva koja nisu ispunjena dati kontraprimjer.
6. (8 bodova) a) Definirati pojmove: binarna relacija, klasa (razred) ekvivalencije, kvocjentni skup, particija skupa. Na skupu A = {1, 2, 3, 4} zadati jednu relaciju ekvivalencije
iji je kvocijentni skup dvolan.
b) Neka je relacija ekvivalencije na X. Dokazati da tada, za sve x, y X, vrijedi da
je: ili [x] = [y] ili su [x] i [y] disjunktni. to, na osnovu ove tvrdnje, moemo zakljuiti o
familiji svih klasa ekvivalencije [x] na X?
7. (7 bodova) Definirati pojmove: predikat, dvomjesni predikat, vezana varijabla, slobodna
varijabla, te dati po jedan primjer za svaki pojam. Navesti DeMorganove formule za
predikate i dokazati jednu od njih.

120, Diskretna matematika

2. Zavrni ispit, 1. dio 2014/15.

Rjeenja:
1. ...
2. .
3. a) A B, b) (A B).
4. F (A, B, C) = A + B.
5. Relacija nije refleksivna, simetrina je, nije antisimetrina, nije tranzitivna.