Odsjek za ra£unarstvo i informatiku Nastavnik: doc. dr. Dinko Osmankovi¢, MoE-dipl.

Kurs: Matemati£ka logika i teorija ing. el.

izra£unljivosti Asistent: Zlatan Tucakovi¢, MoE-dipl.ing.el.
Godina studija: I godina BoE studija
Semestar: II

Tutorijal 10

1. Izrazite sljede¢e re£enice jezikom predikatske logike prvog reda:

a) Svaka osoba je ili mu²ko ili ºensko;

b) Nije svaki delegat parlamenta Federacije BiH £lan SDA ili HDZ;

c) Nikoji pingvin niti noj ne moºe letjeti;

d) Neke ideje je lak²e shvatiti nego neke druge;

e) Na svakog £ovjeka koji je uspio u ºivotu dolaze dva koja nisu uspjela;

f) Neki ljudi ponekad govore istinu, drugi opet nikad ne laºu.

2. U izrazu ∃y(∀xP (f (x), y, z) ⇒ ¬P (z, x, y)) smijenite prvo promjenljivu x sa izrazom

g(x, f (y), z), a nakon toga promjenljivu z sa izrazom f (f (x)).

3. Pokaºite da izraz (∀xP (x) ⇔ ∀xQ(x)) ⇒ ∀x(P (x) ⇔ Q(x)) nije valjan tako ²to ¢ete
prona¢i neku interpretaciju u kojoj on nije ta£an.

4. Neka A i B predstavljaju respektivno izraze predikatske logike prvog reda ∃y∃z(P (x, y)∧
Q(x, z)) i ∀z∃x∃y(P (z, x) ⇒ Q(z, y)). Pokaºite da vrijedi A  B ali da ne vrijedi
 A ⇒ B (²to ilustrira £injenicu da za razliku od logike iskaza u logici predikata
A  B i  A ⇒ B nisu sinonimi, osim kada su A i B zatvoreni izrazi).

Autori zadataka su šeljko Juri¢, Dinko Osmankovi¢ i Zlatan Tucakovi¢