2013年1月15日火曜日

【排中律】のもとで【二重否定除去律】は推論規則

命題論理の自然演繹:【排中律】のもとで【二重否定除去律】は推論規則を新規作成、アップロード。