Zadaća 3

iz predmeta Matematička logika i teorija izračunljivosti

Prezime i ime:

Br. indexa:

Zadatak Bodovi
1
2
3
4
5
6

Elektrotehnički fakultet Sarajevo

 1. Pokažite da modalna hipoteza I = ( p → q), ♦ p `K q nije validna tako što ćete
konstruirati Kripkeov okvir u kojem ova hipoteza ne vrijedi.

2. Primjenom aksioma i prirodne dedukcije dokažite model ( x → y), ¬y `K ¬ x (K

modalna logika).

3. Neka je f t-norm operator fuzzy logike takav da vrijedi:

f ( a, b + c) = f ( a, b) + f ( a, c),

∀ a, b, c ∈ [0, 1] i b + c ≤ 1. Pokažite da f mora biti algebarski produkt, tj. f ( a, b) = a · b.

4. Primjenom aksioma i prirodne dedukcije dokažite BL-fuzzy teorem ` BL ( x → y) →
( x → ( x ∧ y)), gdje je ∧ min-konjunkcija ili slaba fuzzy konjunkcija.
5. Primjenom aksioma i prirodne dedukcije, uz korištenje pravila izvod̄enja za kvantifikaciju
(instantacije i generalizacije) dokažite ∃ x ( P( x ) ∧ Q( x )) ` ∃ xP( x ) ∧ ∃ xQ( x ).

6. Poznato je da svaki kojot ganja neku pticu trkačicu. Takod̄er je poznato da svaka ptica
trkačica koja govori mig-mig je pametna. Naravno, niti jedan kojot ne može uhvatiti
pametnu pticu trkačicu. Tužna je činjenica da svi kojoti koji ganjaju neke ptice trkačice
a ne uhvate ih, bivaju frustrirani. Formalno pokažite da li iz ovih činjenica slijedi da
bi sve ptice trkačice govorile mig-mig, potrebno je da su svi kojoti frustrirani. Rečenice
prevedite u preneks normalnu formu i koristite metod rezolucije sa opovrgavanjem, a
zatim ponovite isti postupak za izraze u Skolemovoj standardnoj formi.

Napomena: Zadaću uradite na papiru, skenirajte uredno i pošaljite na c2 do 09.06.2021.

godine. Oni koji se odluče raditi zadaću u LaTeX-u dužni su poslati zip arhivu sa .tex
datotekom i PDF-om.