2024.01.13
https://www.youtube.com/watch?v=XtOsfHoDDdI
メモ
なぜ自分はこれを補題として纏めて置かなかったのか理解に苦しむが，
様相論理で$ \vDash^f \Phi \implies f \in \mathbb{F}_\Phiを示すとき， 対偶より$ f \notin \mathbb{F}_\Phi \implies \nvDash^f \Phiを示せばよく，$ \vDash^f \Phi \iff \forall_{V,w,\varphi}. w \vDash^{\lang f,V \rang} \Phiであるので
$ f \notin \mathbb{F}_\Phi \implies \exists_{V,w}. w \nvDash^{\lang f,V \rang} \Phiを示せば良く，$ Vを実際に構成してみせればよい．