2012年12月7日金曜日

命題論理の自然演繹:∨導入則・∨除去則

命題論理の自然演繹:∨導入則・∨除去則を新規作成、アップロード。