u perspek - Filozofski fakultet u Splitu

· 0=hW, W × W i
[Fiat(p)] 0 = hW, {(w, v) | p ∈ w ∧ p/∈ v}i = σ 1
[Est¤ (p → q)] σ 1 =
=
* {w | p/∈ w ∨ q ∈ w} ,
=
⎧ ¯
⎫
¯
+
⎪⎨ ¯ (p /∈ w ∨ q ∈ w) ∧ ⎪⎬
¯
hw, vi ¯ (p /∈ v ∨ q ∈ v) ∧ =
¯
⎪⎩ ¯ p ∈ w∧
⎪⎭
¯ p/∈ v
¿ À
{w | p/∈ w ∨ q ∈ w} ,
=
{hw, vi |p ∈ w ∧ q ∈ w ∧ p/∈ v}
= σ 2
· Test konkluzije:
– σ 2 ∈M
– Fiat(q) je prihvatljivo:
[Fiat(q)] σ 2 =
=
¿
{w | p/∈ w ∨ q ∈ w} ,
{(w, v) | p ∈ w ∧ q ∈ w ∧ p/∈ v ∧ q/∈ v}
= σ 0
i σ0 /∈F.
· – Fiat(¬q) nije prihvatljivo:
268
À
=