様相論理 is Fun

様相論理の学習ノートです

MENU

修正

その1

\[

M^{-}(F)=\bigcup_{FRU}U

\]

はultra filter $F$に対して成り立つ.

 

その2

 

前回記事の主張は一般にはおそらく真でない. 有限の場合に自明に成り立つことが勘違いの原因だと思う. 反例を構成する予定.