u perspek - Filozofski fakultet u Splitu

γ 0 ⊆ γ. Budući su spomenuta stanja različita, mora vrijediti
(i) α 6= α 0 ili (ii) γ 6= γ 0 . Preostaje nam konstruirati
rečenice koje su prihvaćene u stanju hα, γi ineprihvatljive
u stanju hα 0 ,γ 0 i. U slučaju (i) postoji neki w
takav da w ∈ α i w /∈ α 0 . Rečenica ¦·Λ {w} ispunjava
traženi uvjet. Naime, hα, γi £ ¦·Λ {w}¤ = hα, γi jer (korolarij
3.2) hα, γi £ ·Λ {w}¤ = h{w} ,γi. S druge strane,
hα 0 ,γ 0 i £ ·Λ {w}¤ ∈ F jer hα 0 ,γ 0 i £ ·Λ {w}¤ = h∅,γ 0 i. U
slučaju (ii) postoji neki w takav da w ∈ γ i w /∈ γ 0 pa
rečenica ¦!Λ {w} ispunjava traženi uvjet. Naime,
hα, γi
S druge strane,
h
!Λ {w}i
= hα −{w} , {w}i = hα, {w}i .
­ ® h
0 0
α ,γ !Λ {w}i
∈F
jer hα 0 ,γ 0 i £ ·Λ {w}¤ = hα 0 , ∅i.
55