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

この記事には自分語りが多分に含まれます。苦手な方は十分にご注意ください。 この記事について 2020 年 1 月 19 日の AtCoder Beginner Contest 152 で青色になることができました。初参加の 2018 年 10 月 27 日から 15 ヶ月ほどが経ち、丁度いい機会でも…