u perspek - Filozofski fakultet u Splitu

Primjer 6.3 ’Pošalji pismo! Ti ga nećeš poslati.’ Neka ’P’ stoji
za’Tisiposlaotopismo’.
∀σ : σ[! P P ; ¡¬P ] ∈ Φ.
Primjer 6.4 ’Ostani visok!’ Neka ’V’ stoji za ’Ti si visok’.
∀σ : σ[! O V ; ¡V ] ∈ Φ
6.2 Ekspresivna potpunost
Teorem I.4 Svako stanje iz skupa stanja Σ može se dosegnuti
putem jezika L→!>¬!¦!·¡.
Oslanjajući se na pojmove uvedene u poglavlju na str. 35-55,
teorem možemo iskazati drukčije.
Teorem I.5 Za svako stanje σ ∈ Σ možemo konstruirati tekst T
takav da 0[T ]=σ.
Dokaz teorema provest ćemo u etapama. Prvo, ćemo iz stanja
0 = hProm,Resi izdvojiti prve članove relacije ρ tako da
dobijemo hmem1(ρ) × Res, Resi. Zatimćemo redom za svakog
prvog člana relacije izdvojiti njegove imperativne rezultirajuće
situacije kako bismo dobili hρ, Resi. Na kraju, izdvajamo skup
mogućih situacija u trenutku poslije i dobivamo hρ, πi.
Definicija 6.18 Neka je σ = hρ, πi. Funkcija ex uzima relaciju
ρ i situaciju v u trenutku prije, te isporučuje skup situacija koje
se «vide» iz hw, prijei:
ex(ρ, w) ={hv, poslijei ∈Res |hhw, prijei , hv, poslijeii ∈ ρ} .
92