2023.06.29
https://www.youtube.com/watch?v=gy3jcCtLqsI
思った
今日は眠いのでこのくらいしか日報があありません
ミス
命題論理のHilbert流演繹体系を$ \mathcal{H}_\mathsf{P}と表し,$ \mathcal{H}_\mathsf{P}で$ \varphiが$ \Gammaから証明できることを$ \Gamma \vdash_{\mathcal{H}_\mathsf{P}} \varphiと書くことにする. $ \Gamma \vdash_{\mathcal{H}(\mathsf{P})} \varphiかつ$ \Gamma\vdash_{\mathcal{H}(\mathsf{P})} \varphi \to \psiならば$ \Gamma \vdash_{\mathcal{H}(\mathsf{P})} \psiを主張しても多分よいということに気づかず,ウンウンうなっていた
初歩的すぎる