2025.07.06
https://gyazo.com/d97739c4bb37ac59c585d75beefffd40
$ \bf E,EN,EM,EC,EMC,ENM,ECN,EMCNを分離
前：2025.07.05
後：2025.07.07
#日報
思った
近傍モデル意味わかんねーーーーーーーー
Venn図を書き計算すれば良い．
ただし4個以下の点しか持たないものしか現実的に扱えない．
思った
近傍Fitting-Marek-Truszczyński意味論を考えたらどうなる？
近傍意味論の関係$ \eta : \mathcal{P}(W) \to \mathcal{P}(W)の間に論理式でパラメトリックにしたものつまり
$ \eta : \mathrm{Fml} \to (\mathcal{P}(W) \to \mathcal{P}(W))として$ \eta_\varphiや$ \eta_\botなどが生える：$ \lang W, \{\eta_\varphi\}_{\varphi \in \mathrm{Fml}}, V \rang
メモ
動物園へ