2024.11.10
https://gyazo.com/d6eb3b318913d1c8bbb5a7b5cafefb57
メモ
直観主義命題論理，Kripke意味論において$ F \vDash \varphiなら代入$ \sigma:\mathrm{Var} \to \mathrm{Fml}に対して$ F \vDash \varphi^\sigmaって成り立つのか？ 成り立ってくれないと困るのだが上手く証明できない
定理の主張を間違えている気もする．
メモ
読んだ
思った
私は常々巨大な建築物になりたいと思っている節があることを考えると私は論理学を勉強しているモチベーションは論理学になりたい（システムになりたい）という欲求かもしれない
お知らせ
TPPに出ます．様相論理の側の形式化についての進捗を話す予定です．