u perspek - Filozofski fakultet u Splitu

Definicija 6.15 Akosurečenice ϕ i ψ rečenice u jeziku LD
standardne propozicijske logike, onda i samo onda je izraz (ϕ/ψ)
iskaz promjene.
Definicija 6.16 Apsolutna intenzija iskaza promjene (ϕ/ψ) jest
skup kϕ/ψk:
kϕ/ψk = |ϕ| prije
W
×|ψ|poslije
W .
Definicija 6.17 Operacija ⊕ združivanja stanja:
6.1.1 Rečenice
hρ 1,π1i⊕hρ 2,π2i = hρ 1 ∪ ρ 2,π1 ∪ π2i .
Osnovne rečenice
· hρ, πi[! > ½ poslije
hk>/ϕk∩ρ, πi ako |ϕ| π ⊂ π,
ϕ]=
1 inače.
· hρ, πi[·ϕ] =hkϕ/>k ∩ ρ, πi.
· hρ, πi[¡ϕ)] = hk>/ϕk∩ρ, |ϕ| poslije
W
∩ πi.
Primjedba 6.4 Zahvaljujući složenijoj strukturi stanja semantika
imperativa može se izložiti na vjerniji način. Budući da
se u našoj analizi imperativi pojavljuju kao zapovjedi da se
izvede neka radnja, potrebno je da se značenju imperativa pokaže
značenje radnje. U do sada izloženim semantičkim sustavima već
je bila zahvaćena ideja da se imperativima nalaže promjena koja
vodi prema situaciji koja se mogla izbjeći (pogledajte definicije
imperativa na str. 77 ili uvjet
88
|ϕ| poslije
π
| {z }
rezultirajuća situacija
⊂ π
|{z}
situacije koje se moguće u trenutku poslije