命題論理の自然演繹における諸定理 【7】結合律1-2の証明

命題論理の自然演繹における諸定理 【7】結合律1-2　の証明　を新規作成、アップロード。