2024.02.02
https://gyazo.com/1a69364a22e2f7bc5bfca904e69316f9
やった
全部終了!
メモ
個々で終わるのかとは思ったがよかった.
あとがきで少女終末旅行の反作用として─というルーツが語られていたのはよかった. メモ
Sect 2.4, "Choosing a Name"
思った
パソカタってパソの部分なの?とは少し思う.
メモ
まだちゃんと読んでないため,以下は間違っている可能性がある.
$ \mathbf{C4}_\Box \equiv \Box\Box\varphi \to \Box\varphiについて
そうなの?
なお公理$ \bf L_\Boxと組み合わせると$ \Box\botが証明されて終わる.
$ \mathbf{Lei}_\Box \equiv \Box(\varphi \lor \psi) \to \Box(\varphi \lor \Box\psi)
$ \mathbf{CB}_\Box \equiv \Box\varphi \to (\psi \to \varphi) \lor \psiについて
$ \bf iS_\Box = iK_\Box + S_\Box
$ \bf S_\Box \equiv \varphi \to \Box\varphi