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 11

1. Neka je poznato da deºurni ocir pregleda urednost svih osoba koje izlaze iz kasarne a
nisu vi²i ociri. Dalje, neka je poznato da su neke osobe koje su izlazile iz kasarne ne-
uredne bile pregledane isklju£ivo od strane neurednih osoba. Kona£no, neka je poznato
da niti jedan vi²i ocir nije neuredan. Pokaºite formalnim putem da iz ovih £injenica
slijedi da su neki deºurni ociri neuredni.

2. Pokaºite valjanost izraza izraza ∃x∀y(P (y) ⇔ (x = y)) ⇒ ∃xP (x) predikatske logike
prvog reda sa jednako²¢u.

3. Modelirajte u Prologu tvrdnje da u nekom skupu ljudi svako poznaje Almu, a da Marko
poznaje svakoga, kao i tvrdnju da je jedna osoba ljubomorna na drugu ukoliko su obje
istog pola a vole istu osobu suprotnog pola. Zatim modelirajte £injenice da Damir voli
Marka i Sanelu (ovdje se pod voli mogu posmatrati kako prijateljski, tako i ljubavni
odnosi), da Alen voli Ivanu, da Mirsad voli Alena, Sanelu i Elmu, da Marko voli Lanu,
da Ivana voli Elmu i Alena, te da Alma voli Sanelu i Denisa. Izrazite u Prologu pitanje
postoji li neko na koga je Damir ljubomoran i pokaºite postupak kojim se moºe do¢i
do odgovora na postavljeno pitanje.

4. Tri studenta, Ana, Belma i Haris, studiraju matematiku ili ziku (ili oboje). O njima
su poznate sljede¢e £injenice:

• Svi studenti koji studiraju matematiku lo²i su u prakti£nim radovima;

• Svi studenti koji studiraju ziku dobri su u pisanim radovima;

• Ana je lo²a u svemu u £emu je Belma lo²a;

• Haris je lo² u svemu u £emu je Belma dobra;

• Belma je dobra i u prakti£nim i u pisanim radovima.

Sastavite apstraktni logi£ki program koji odrežuje da li mežu navedenim studentima

ima student koji studira matematiku (i ako ima, ko je to), a nakon toga pokaºite mogu¢i
tok nalaºenja odgovora. Da li je dobijeni apstraktni logi£ki program lako prevesti u
Prolog ili ne? Odgovor mora biti argumentiran.

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