u perspek - Filozofski fakultet u Splitu

svijet
eliminiran s
test konkluzije
Zaključak je valjan!
p,q p q ∅
1 1 1
Primjer 4.12 Primjer irefleksivnosti:
p,q p q ∅
1 2 2
· ChristopherželidaSineadiBuffybuduukući. On bi mogao biti sklon
uvesti Sinead u kuću.OnvjerujedajeSineadukući, Dakle, on bi mogao biti
sklondauvedeSineadukuću.
· Stavi mali tanjur na duboki i duboki tanjur na plitki! Mogla bi staviti mali
tanjur na duboki. Mali tanjur je već na dubokom. Dakle, mogla bi staviti mali
tanjur na duboki.
· Moram pronaći i Davidsonov i Bratmanov članak. Bilo bi dobro da
prona ¯dem Davisonov članak. Imam taj članak. Dakle, bilo bi dobro da ga
prona ¯dem.
(1)Fiat(p∧ q)
(2)Fiat¦(p)
(3)Est(p)
Fiat¦ (p)
svijet
eliminiran s
test konkluzije
Zaključak nije valjan!
p,q p q ∅
a
a
1 1 1
p,q p q ∅
1 a,b,3 a,3
Primjer 4.13 Primjer nemonotoničnosti za poželjnost dovoljnog
sredstva:
· Spock želi razveseliti Marjorie. Spock misli da bi ubacivanje virusa u
šefičino računalo sigurno razveselilo Marjorie, ali to se ne smije učiniti.
Dakle, Spock bi mogao biti sklon ubacivanju virusa u šefičino računalo.
· Donesi mi novine. Ako oti ¯deš u sestrinu sobu, naći ćeš ih. Ali, ne smiješ
ući u sestrinu sobu jer bi je mogla probuditi. Možda ne bi bilo loše da u ¯deš u
sestrinu sobu.
275