u perspek - Filozofski fakultet u Splitu

Nazovimo imperativnim slučajem onaj kada postoji zapovijed
koja vrijedi u hw, prijei. Tada ex(ρ, w) ⊂ Res. Učinak
sljedećeg kondicionalnog imperativa
·nf(w) →! > mem1(ex(ρ, w))
bit će «lokaliziran» na w, onneće ukloniti nijedan odnos koji
započinje u nekoj drugoj prije situaciji.
Lema 6.3 Za W s n članova, 1 5 i 5 n:
h
hmem1(ρ) × Res, Resi ·nf(wi) →! > i
mem1(ex(ρ, wi)) =
=
*
[
a∈{1,...,i−1}
b∈{i,...,n}−{i}
{wa,prije}×Res)
, Res
∪{wi,prije}×ex(ρ,
[
wi)
{wb,prije}×Res
Dokaz. U dokazu trebamo koristiti definiciju imperativa.
Prvo, ako hρ, Resi [·nf(wi)] = hρ, Resi, onda je učinak
kondicionalnog imperativa stanje –
h
hρ, πi ! > i
nf(mem1(ex(ρ, wi))) ,
tj. bit će slučaj da:
h
hρ, πi ! > i
nf(mem1(ex(ρ, wi)))
*
mem1(ρ) × ex(ρ, wi)
+
=
∩ ,Res
{hwi,prijei} × ex(ρ, wi)
= h{hwi,prijei} × ex(ρ, wi),Resi .
To stanje potvr ¯duje lemu za slučaj kada n =1. Drugo,
ako hρ, Resi [·nf(w)] 6= hρ, Resi, ondajeučinak kondi-
+
.
=
95