2013年4月2日火曜日

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

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