u perspek - Filozofski fakultet u Splitu

cionalnog imperativa sljedeći:
ρ =
[
r∈{1,...,n}
{hwr,prijei} × ex(ρ, wr)
∗∗∗
h
hρ, Resi [·¬nf(wi)] ⊕hρ, Resi ·nf(wi); ! > i
ex(ρ, wi) =
= hρ ∩k¬nf(wi)/>k . ∪ .ρ ∩knf(wi)/ex(ρ, wi)k ,Resi
∗∗∗
ρ ∩k¬nf(wi)/>k . ∪ .ρ ∩knf(wi)/ex(ρ, wi)k =
⎛
= ⎝ ρ ∩ Init−{hwi,prijei} ⎞
× Res
∪
⎠
ρ ∩{hwi,prijei} × ex(ρ, wi)
⎛ [
⎞
{hwa,prijei} × Res
⎜
⎟
= ⎜ a∈{1,...,n}−{i}
⎟
⎝ ∪
⎠
{hwi,prijei} × ex(ρ, wi)
⎛ [
⎞
{wa,prije}×Res
⎜ a∈{1,...,i−1}
⎟
= ⎜ ∪{wi,prije}×ex(ρ,
[
wi)∪ ⎟
⎝
{wb,prije}×Res
⎠
b∈{i,...,n}−{i}
Time se lema potvr ¯duje za slučaj kada n 6= 1.
Definicija 6.21 Funkcija s dodjeljuje rečenice za situaciju wi:
½
·> ako ex(ρ, wi) =π,
s(wi) =
·nf(wi) →! > nf(ex(ρ, wi))) ako ex(ρ, wi) ⊂ π.
Lema 6.4
96
hmem1(ρ) × Res, Resi [s(w1); ...; s(wn)] = hρ, Resi