命題論理の自然演繹における諸定理 【12】選言的三段論法の証明

命題論理の自然演繹における諸定理 【12】選言的三段論法の証明 を新規作成、アップロード。