MATEMATIČKA LOGIKA Drugi kolokvij, 2. veljače 2018.

ime, prezime i studijska grupa

P
1. 2. 3. 4. 5.
25 15 15 20 25 100

Zadatak 1 (10 + 15 bodova). U sistemu prirodne dedukcije nađite izvode za:

(a) {(P ∧ −Q) ∨ −P } ` P −→ −Q

(b) {P ∧ (−R ∨ Q)} ` − (P −→ − (R −→ Q))

Zadatak 2 (15 bodova). Po definiciji dokažite da je formula

F ≡ C ∨ (B ∨ ∀x − A) −→ ∀x (A −→ B) ∨ C

valjana, pri čemu ni formula B, ni formula C ne sadrže slobodne nastupe varijable x.

Zadatak 3 (15 bodova). Neka su M = (M, ϕ) i N = (N, ψ) neke σ = {f, R}-strukture, gdje
je f jednomjesni funkcijski simbol i R n-mjesni relacijski simbol. Neka postoji homomorfizam
σ-struktura g : M → N koji je surjekcija. Ako je M model za R (f (x1 ), . . . , f (xn )) dokažite da
je onda i N model za R (f (x1 ), . . . , f (xn )), gdje su x1 , . . . , xn individualne varijable.

Zadatak 4 (20 bodova). Neka je σ = {R, Q}, gdje je R dvomjesni relacijski simbol i Q jedno-
mjesni relacijski simbol. Dokažite da nosač svakog modela za formulu

F ≡ ∃xQ(x) ∧ ∀x (Q(x) −→ −∃yR(x, y)) ∧ ∀y∃xR(x, y) ∧ ∀x∀y (R(x, y) −→ −R(y, x))

mora sadržavati barem četiri različita elementa. Postoji li model za F čiji nosač ima točno četiri
različita elementa? Obrazložite.

Zadatak 5 (20 + 5 bodova).

(a) Glavnim testom ispitajte je li formula

   
F ≡ ∀x ∃y (Q(y) −→ R(x, y)) −→ ∀z (P (z, x) ∨ −Q(x)) ∧ ∃x ∀z (R(x, z) ←→ Q(z)) ∧ ∀y−P (y, x)

ispunjiva. Obrazložite što ste pokazali glavnim testom. Ako je navedena formula ispunjiva,
pronađite neku strukturu koja je njen model.

(b) Odredite preneksnu normalnu formu od formule

∀x∃yA(x, y) −→ ∃x∀zB(x, z) ∧ ∃x∀wC(x, w) ∨ −∀wD(w)

Vrijeme predviđeno za rješavanje kolokvija je 120 minuta. Dozvoljena je uporaba samo pisaćeg
pribora, gumice i šiljila.

Dino Peran