2025年2月21日金曜日

 二変数の論理式における完全性の証明

https://drive.google.com/file/d/1iqi5SlhW12Ti39yh7VF2iIlNbn9XitX-/view?usp=drive_link

書きました!



0 件のコメント:

コメントを投稿

命題論理における完全性の証明~選言標準形・連言標準形と導出原理

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