u perspek - Filozofski fakultet u Splitu

Lema 6.5
Dokaz. Rutinski.
Instanca teksta
hρ, Resi [r(π)] = hρ, πi
Na kraju, povezivanjem triju postupaka dobivamo traženi
tekst.
Za {w1,...,wn} = mem1(mem1(ρ)) instanca traženog
teksta jest slijedeći niz rečenica:
·nf(mem1(mem1(ρ))); s(w1); ...; s(wn); r(π).
Uzastopna primjena lema 6.2, 6.4 i 6.5 daje traženo:
hProm,Resi [·nf(mem1(mem1(ρ))); s(w1); ...; s(wn); r(π)] =
= hmem1(ρ) × Res, Resi [s(w1); ...; s(wn); r(π)]
= hρ, Resi [r(π)]
= hρ, πi
6.3 Proširenje jezika s dodatnim veznicima
Gornja konstrukcija teksta koji generira zadano stanje iz stanja
0 pokazuje da jezik L→!>¬!¦!·¡ ima «ekspresivnu potpunost». Iz
te činjenice proizlazi odsutnost potrebe da se uvode novi veznici
me ¯du modusom-odre ¯denim rečenicama.
Primjer 6.5 Disjunkcija imperativa često je bila razmatrana
u literaturi. Pitanje o postojanju takvih složenih rečenica u
prirodnom jeziku ne čini se dvojbenim. (*) ’Otvori prozor
ili zatvori vrata!’ sasvim je smislen imperativ kojega obično
razumijemo kao zapovijed kojom se nalaže da izvršimo neku od
ponu ¯denihradnjiananamajedaizabremokoju.Neka’P ’ stoji
za ’Prozor je otvoren’ i ’V ’ za ’Vrata su otvorena’. Rečenicu (*)
formaliziramo: ! P P ∨! P ¬V . Čini se da odgovarajući tekst jest:
· (¬P ∧ V );! > (P ∨¬V ) .
˙Aqvistovo razlikovanje izme ¯du dvaju značenja disjunkcije imperativa,
kao «ponude izbora» i «izlaganja alternativa», u našem
98