二変数の論理式における完全性の証明
https://drive.google.com/file/d/1iqi5SlhW12Ti39yh7VF2iIlNbn9XitX-/view?usp=drive_link書きました!
命題論理における完全性の証明 ~選言標準形・連言標準形と導出原理 https://drive.google.com/file/d/1-1YWinahnFcNLGQRaqh8CJPpQjPtMxDo/view できました! (上記リンクをクリックするとPDFファイル見れます) これ...