2013年5月21日火曜日

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

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