CF(x) ↔ ∀F[◇¬(∃y)F(y) → ¬Fx] 일 때, W={w1, w2}이고 Fa in w1이면서 w2에는 (∀x)~Fx and ~Fa in W2일 때, CF(a)가 성립될 수 있나요?


[◇¬(∃y)F(y) → ¬Fx]에서 후건의 변수가 y가 아니라 CF에 의해 속박된 x로 되어 있으면, x가 w1의  Fa인 a=x일 때, 

전건과 후건이 w2에서 만족한다고 해도 w1에서 만족 안하기 때문에 전건을 만족하는 동시에 후건을 만족하지 않아서 

CF(a)를 만족 안할 것 같은데 맞나요.