B

MATEMATIKA 1 04.11.2017.
– prvi kolokvij –

PREZIME, IME BODOVI

1. a) Navedite tri vrste matematičkih modela. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

 p3
4
b) Razvijte binom 2x2 − x2 koristeći binomni poučak.
Sredite dobiveni izraz. ........................................................................................................ 2

c) Napišite suprotnu tvrdnju od:

" Ako za parne prirodne brojeve m i n vrijedi m − n = 2, tada je m2 + n2 djeljiv sa 4."
......................................................................................................................................... 1

2. a) Definirajte disjunkciju dvaju sudova a i b. ............................................................................ 1

b) Navedite barem dva i dokažite jedno svojstvo disjunkcije. ...................................................... 1

c) Zadana je funkcija algebre sudova

F(x, y, z) = (x ∧ (z ⇒ y)) ⇔ (z ∨ x)
i. Izradite semantičku tablicu za F. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

ii. Minimizirajte funkciju F. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

3. Zadan je predikat
T (x, y) = ”y je djeljiv brojem x”.
a) Napišite matricu predikata T za univerzum razmatranja U1 = {2, 4, 12, 24}. ............................. 1

b) Odredite istinitost sudova ∀x∃yT (x, y) i ∃y∀xT (x, y) na U1 .

Obrazložite svoje odgovore. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

c) Odredite i objasnite istinitost sudova ∀x∃yT (x, y) i ∃y∀xT (x, y) na

univerzumu razmatranja U2 = N. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

4. Zadani su skupovi
A = {x ∈ N | − 2 ≤ x < 3},
B = {x ∈ Z | (2x − 3)(3x − 17) ≤ 0},
C = {x ∈ Z | 0 < |x + 1| < 3}.
a) Ispišite elemente skupova A, B i C. ................................................................................ 2

b) Pokažite da skupove A, B i C iz a) dijela zadatka vrijedi

A ∩ (B \ C) = (A ∩ B) \ (A ∩ C) .
...................................................................................................................................... 1

c) Pokažite da formula iz b) dijela zadatka vrijedi za proizvoljne skupove A, B i C. ................... 2

Rješenja grupe B:

1. a) deterministički. stohastički, linearni, u kontinuiranom vremenu, u diskretnom vremenu

 √3 4 20 16 8
b) 2x2 − x2 = 16x8 − 32x 3 + 24x 3 − 8x4 + x 3
c) Suprotna tvrdnja: "Ako ne vrijedi da je za parne prirodne brojeve m i n m − n = 2 tada m2 + n2
nije djeljivo sa 4 . "

2. a) Disjunkcija dva suda a i b je sud u oznaci a ∨ b koji je lažan samo ako su oba suda lažna.
b) Svojstva - udžbenik str. 15. Sva svojstva dokazuju se tablicom istinitosti.
c) Semantička tablica

x y z z ⇒ y x ∧ (z ⇒ y) z ∨ x F b.d.
1 1 1 0 0 1 0 x∨y∨z
1 1 0 1 1 1 1
1 0 1 1 1 1 1
1 0 0 1 1 1 1
0 1 1 0 0 1 0 x∨y∨z
0 1 0 1 0 0 1
0 0 1 1 0 1 0 x∨y∨z
0 0 0 1 0 0 1

Fmin = (x ∨ y ∨ z) ∧ (x ∨ y ∨ z) ∧ (x ∨ y ∨ z) = . . . = z ∨ (x ∧ y)
2 4 12 24
2 1 1 1 1
3. a) 4 0 1 1 1
12 0 0 1 1
24 0 0 0 1
b) ∀x∃yT (x, y) je istiniti sud jer za y = 24 je sud T (x, 24) istinit za svaki x, (24 je djeljiv brojevima
2,4,12,24).
∃y∀xT (x, y) je istiniti sud jer za y = 24 je sud T (x, 24) istinit za svaki x, (12 je višekratnik od
3, 4, 6, 12) .
c) ∀x∃yT (x, y) je istiniti sud jer za y = x je sud T (x, x) istinit za svaki x, (x je djeljiv brojem x).
∃y∀xT (x, y) je lažan sud jer ne postoji broj koji bi bio djeljiv sa svim prirodnim brojevima.

4. a) A = {1, 2}
B : x ∈ [ 23 , 17
3 ] B = {2, 3, 4, 5}
C : x ∈ h−4, 2i C = {−3, −2, 0, 1}
b) A ∩ (B \ C) = {1, 2} ∩ {2, 3, 4, 5} = {2}
(A ∩ B) \ (A ∩ C) = {2} \ {1} = {2}
c) Formula se može pokazati ili tablicom pripadnosti ili analitički.

A B C B\C A ∩ (B \ C) A∩B A∩C (A ∩ B) \ (A ∩ C)

∈ ∈ ∈ < < ∈ ∈ <
∈ ∈ < ∈ ∈ ∈ < ∈
∈ < ∈ < < < ∈ <
∈ < < < < < < <
< ∈ ∈ < < < < <
< ∈ < ∈ < < < <
< < ∈ < < < < <
< < < < < < < <