2013年1月25日金曜日

【背理法】のもとで【二重否定除去律】は派生推論規則

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