u perspek - Filozofski fakultet u Splitu

zadovoljiv. Pravila koja slijedimo u gradnji ogranaka stabla
u semnatičkoj tablici razlažu značenja pojedinih operatora.
Znak σ : ispred propozicije ϕ pokazuje da u tom stanju
σ ta propozicija vrijedi. Za tvrdnje o programima moramo
uvesti par stanja, ono prije i ono nakon primjene programa.
Znak σn hP i σn+1 : ispred propozicije ϕ pokazuje postojanje
stanja u kojem nakon izvedbe programa P vrijedi propozicija
ϕ. Programski dio hP i propozicije zahtijeva uvo ¯denje novog
stanja, dok za [P ] svako stanje koje nastaje nakon izvedbe tog
programa mora ispunjavati uvjete zadane propozicijom, pri čemu
se ’programski modaliteti’ u odnosu na uvo ¯denja i ubrajanja
stanja ponašaju sličnokvantifikatorimauodnosunauvo¯denje i
ubrajanje individualnih konstanti u gradnji semantičkih stabala u
predikatskoj logici.
Pravila za gradnju semantičkih tablica Tablica je stablo s korijenom
iz kojeg vodi put do lista. List se može razgranati u dva
ogranka. Listovi su označeni s propozicijama. Grana je put od
korijena do lista. Svaki list predstavlja uvjete koji moraju biti
zadovoljeni bilo u pojedinom stanju ili u prijelazu stanja. Grana
je zatvorena ako se u njoj javljaju kontradiktorne propozicije koje
bi trebale biti zadovoljene u istom stanju. Propozicija je valjana
akko su u semantičkom stablu za njenu negaciju sve grane
zatvorene. U opisu pravila zarez označava dodavanje uvjeta u
ogranku, okomita crtica označava račvanje.
a. Propozicijska pravila:
itd.
σ : ϕ ∧ ψ
σ : ϕ, σ : ψ
σ : ¬(ϕ ∧ ψ)
σ : ¬ϕ | σ : ¬ψ
b. Pravilazaniz,provjeruiizbor:
Niz
σ : hχ; ρi ϕ
σ : hχihρi ϕ
σ : ¬hχ; ρi ϕ
σ : ¬hχihρi ϕ
135