命題論理の自然演繹における諸定理 【11】対偶律 の証明(2)

命題論理の自然演繹における諸定理 【11】対偶律　の証明(2)　を新規作成アップロード。