2013年2月21日木曜日

命題論理の自然演繹における諸定理 【10】ド・モルガンの法則 の証明(2)

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