u perspek - Filozofski fakultet u Splitu

ečenice. Po statičnoj definiciji, za proizvoljnu rečenicu Fiat(ϕ)
vrijedi da je verificirana u minimalno izmijenjenom modelu
akko
[Fiat(ϕ)] 0 = hW, Rmini
∀w∀v :(wRv → v 2 ϕ) ∧ (vRw → v ² ϕ) .
To znači da je taj model takav da
Rmin = {hw, vi |w ² ϕ ∧ v 2 ϕ} .
Budući da za svaki model hP, Ri vrijedi [Fiat(ϕ)] hP, Ri =
hP, Ri e [Fiat(ϕ)] 0 i da (R ∩ Rmin) ⊆ Rmin, slijedi da
svaki rečeničnom operacijom generirani model nad zadanim
skupom propozicijskih slova verificira korespondentnu statično
interpretiranu rečenicu. Uz odgovarajuće izmjene, isto vrijedi i
za ostale glavne rečenice.
Definicija 4.24 Model σ 0 = hP, R 0 i je minimalna modelska Rvarijacija
nad σ = hP, Ri uodnosunaglavnurečenicu ϕ ∈
L F/E akko
· σ 0 ² ϕ,
· σ 0 ako se razlikuje od σ, onda se razlikuje samo u vrijednosti
za R,
· i ne postoji σ 00 = hP, R 00 i takav da σ 00 ² ϕ, R 0 ⊂ R 00 ⊆ R.
Definicija 4.25 Model σ 0 = hP 0 ,Ri je minimalna modelska P -
varijacija nad σ = hP, Ri u odnosu na elementarnu rečenicu
ϕ ∈ L F/E akko
· σ 0 ² ϕ,
· ako se σ 0 razlikuje od σ onda se razlikuje samo u vrijednosti
za P ,
· i ne postoji σ 00 = hP 00 ,Ri takav da σ 00 ² ϕ, P 0 ⊂ P 00 ⊆ P .
231