u perspek - Filozofski fakultet u Splitu

Pravila:
1. Za svaku eliminaciju upiši numeričku oznaku eliminirajuće
premise.
2. Za elementarne fiatrečenice eliminiraj sve otvorene svjetove
u kojima propozicijski sadržaj nije zadovoljen i eliminiraj sve
otvorene svjetove u kojima je propozicijski sadržaj zadovoljen.
3. Za elementarne est rečenice eliminiraj sve otvorene svjetove u
desnoj tablici u kojima njezin propozicijski sadržaj nije zadovoljen.
4. Za rečenice oblika Est¢(ϕ) eliminiraj sve otvorene svjetove
u obje tablice u kojima ϕ nije istinito.
5. Za rečenice oblika ¦Est(ϕ) provjeri postoji li otvoreni svijet
u desnoj tablici koji zadovoljava ϕ, akoda,nastavi,akone,
zatvori sve svjetove.
6. Za rečenice oblika ¬Fiat(ϕ) eliminiraj u desnoj tablici svjetove
koji zadovoljavaju ϕ.
7. Za rečenice oblika Fiat¦(ϕ) izvedi provjeru nad otvorenim
svjetovima:
a. Provjeri postoje li identični otvoreni svjetovi u obje tablice.
Ako da, zatvori sve svjetove, u protivnom, nastavi provjeru
(test motivacijskog modela).
b. Upiši oznaku a u stupcu lijeve tablice gdje je ϕ istinito,
u desnoj tablici upiši a ustupcugdjeϕnije istinito (test
prihvatljivosti Fiat(ϕ)). Ako se a nalazi u obje tablice,
nastavi postupak, ako ne, zatvori sve otvorene svjetove.
c. U lijevoj tablici upiši b u stupcima gdje je ¬ϕ zadovoljeno,
u desnoj tablici upiši b ustupcu¬ϕnije zadovoljeno (test
prihvatljivosti Fiat(¬ϕ)). Ako se b nalazi na obje strane,
zatvori sve otvorene svjetove, u protivnom nastavi postupak
8. primijeni pravila 1.–7. u redu konkluzije, upiši x za svaki eliminirani
svijet. Ako nema nijedne oznake x u redu konkluzije
i ako postoji barem po jedan otvoren svijet na obje strane, za-
271