ド・モルガンの法則(4):自然演繹NKにおけるの証明

命題論理の自然演繹における諸定理 【10】ド・モルガンの法則　の証明(4)を新規作成、アップロード。