2023.06.16
https://gyazo.com/5b61504453eb80308cb9e2a6efd27248
人物画において首から下ってどうでもよすぎる
やった
本によって記法がバラバラの上に多分書いたやつは若干証明が怪しい
読んだ
思った
日本の郵便システム，優秀すぎる
規則「$ \varphiであるなら，$ \Box\varphi」が導入された論理である．
$ \Boxを証明可能性述語と捉えれば，「$ \varphiが真であるなら，$ \varphi証明可能であることも正しい」ということだろう 逆に言えばその点において様相論理の公理K，あるいが分配公理$ \mathsf{K} \equiv \Box(\varphi \to \psi) \to (\Box\varphi \to \Box\psi)は証明可能性論理として直感的には直ちに要請されない公理であるようにも思える．