命題論理の自然演繹における諸定理 【6】交換律1-1の証明

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