u perspek - Filozofski fakultet u Splitu

ključak je valjan, u protivnom nevaljan.
primijeni pravila 1.–7. u redu konkluzije, upiši x za svaki eliminirani
svijet. Ako nema nijedne oznake x uredukonkluzije
i ako postoji barem po jedan otvoren svijet na obje strane, zaključak
je valjan, u protivnom nevaljan.
Primjer 4.6 Poželjnost dovoljnog sredstva:
· George IV je želio znati je li Scott autor Waverleya. George IV je vjerovao
da će to saznati ako upita Scotta. Dakle, George IV je mogao biti sklon
upitati Scotta je li on autor Waverleya.
· Ovu ženu trebam izliječiti. Ako je budem masirao, izliječit ću je. Možda bih
je trebao masirati.
· Rashladi sobu! Ako otvoriš prozor, rashladit ćeš sobu. Možda bi trebao
otvoriti prozor.
(1)Fiat(p)
(2)Est¤ (q → p)
Fiat¦ (q)
svijet
eliminiran s
test konkluzije
Zaključak je valjan!
p,q p q ∅
1 1
a b
Primjer 4.7 Poželjnost nužnog sredstva:
p,q p q ∅
1 1 2
a
· Petar namjerava upisati poslijediplomski studij iz me ¯d unarodnog prava.
Samo ako je školarina uplaćena Petar će upisati studij. Dakle, moguće je da
on želi uplatiti školarinu.
· Složi knjige po abecednom redu. Samo ako je vaza uklonjena knjige se
mogu tako složiti. Mislim da bi moglo biti dobro ukloniti vazu.
· Moj je cilj naći se s Darijom u Šibeniku. Neću je susresti ako ne popravim
automobil. Čini se da bih morao poraviti automobil.
272