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