u perspek - Filozofski fakultet u Splitu

Elementarne rečenice su Fiat(ϕ), Est(ϕ), Est¤(ϕ).
Definicija 4.22 Operacije na modelima.
· Operacija e zadana je s: hPi,Rii e hPj,Rji =
hPi ∩ Pj,Ri ∩ Rji.
· Operacija d zadana je s: hPi,Rii d hPj,Rji =
hPi ∪ Pj,Ri ∪ Rji
Definicija 4.23 Elementarne rečenice.
· s R-varijacijama:
– 0[Fiat(ϕ)] = hW, {hw, vi |w ² ϕ ∧ v 2 ϕ}i,
– σ [Fiat(ϕ)] = σ e 0[Fiat(ϕ)],
– 0[Est(ϕ)] = hW, {hw, vi |v ² ϕ}i,
– σ [Est(ϕ)] = σ e 0[Est(ϕ)].
· s P/R varijacijama:
– 0[Est¤(ϕ)] = h{w | w ² ϕ} , {w | w ² ϕ}×{w | w ² ϕ}i,
– σ [Est¤(ϕ)] = σ e 0[Est¤(ϕ)].
Dinamična semantika izvedenih rečenica
Za ϕ, ψ ∈ L F/E :
· [ϕ;ψ] σ =[ϕ][ψ] σ =[ψ]([ϕ] σ)
Za ϕ, ψ ∈ LP :
½
σ ako [Fiat(ϕ)] hP, Ri /∈ F,
· [¦Fiat(ϕ)] hP, Ri =
hP, ∅i u protivnom;
½
σ ako [Est(ϕ)] hP, Ri /∈ F,
· [¦Est(ϕ)] hP, Ri =
hP, ∅i u protivnom;
229