2023.10.06
https://gyazo.com/3e574426126854cc4a831d00e00385ca
メモ
残す証明
済み: $ \vdash \lnot \varphi \to \psi \implies \vdash \lnot \varphi \to \psi
済み: $ \vdash \lnot \varphi \to \lnot \psi \implies \vdash \varphi \to \psi
$ \vdash_? \Box(A \land B) \to (\Box A \land \Box B)
済み: $ \vdash_? \Box A \to \Box\lnot\lnot A
$ \vdash_? \lnot\Box A \to \lnot\Box\lnot\lnot A
違くない？
$ \vdash_? (\Box A \land \Box \lnot A) \to \Box \bot
$ \vdash_?となっているのは$ \sf K以外に$ \sf GLがいるのかどうか判らないから．
メモ