2020-11-01から1ヶ月間の記事一覧
小野『情報科学における論理』に収録されている問への私の解答を、練習を兼ねてここに記載します。解答は順次追加するかもしれません。 6章 自然演繹の体系 問6.4 https://drive.google.com/file/d/1grZA1mAm8sR3DCWwYFM31bp4MDT406ay/view?usp=sharing 問6.5…
小野『情報科学における論理』に収録されている問への私の解答を、練習を兼ねてここに記載します。解答は順次追加するかもしれません。 6章 自然演繹の体系 問6.4 https://drive.google.com/file/d/1grZA1mAm8sR3DCWwYFM31bp4MDT406ay/view?usp=sharing 問6.5…