u perspek - Filozofski fakultet u Splitu

Definicija 6.10 Neka je σ = hρ, πi. Funkcija mem2 iz relacije
ρ izdvaja skup mem2(ρ) ⊆ Res rezultirajućih situacija 20 :
mem2(ρ) ={hw, poslijei |hhv, prijei , hw, poslijeii ∈ ρ} .
Primjedba 6.3 Stanje ćemo označavati s hρ, πi i σ ovisno o
potrebnom stupnju preciznosti u opisu stanja.
Definicija 6.11 Skup stanja
Φ={hρ, πi ∈Σ | ρ = ∅∨¬mem2(ρ) ⊆ π}
naziva se skupom završnih ili apsurdnih stanja; 1 je završno
stanje h∅, ∅i.
Definicija 6.12 Minimalno stanje:
0=hProm,Resi .
Definicija 6.13 Definicija istinitosti u situaciji za ϕ ∈ LD
jednaka je definiciji 2.8 (str. 28).
Definicija 6.14 Trenutkom obilježena intenzija radikala ϕ ∈
LD obzirom na skup X ⊆ W i trenutak t ∈ M jest skup:
|ϕ| t
X = {w ∈ X | w ² ϕ}×{t} .
20
Funkcija mem1(ρ) izdvaja prve članove binarne relacije ρ, mem2 izdvaja
njezine druge članove.
87