WEKO3
アイテム
背理法を用いない論理体系とその証明計画
https://metro-cit.repo.nii.ac.jp/records/138
https://metro-cit.repo.nii.ac.jp/records/13887219e3d-4ef7-4ed9-a779-104c77c87a6d
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00008926739 (126.2 kB)
|
.png)
|
| Item type | 紀要論文(ELS) / Departmental Bulletin Paper(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-03-01 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | 背理法を用いない論理体系とその証明計画 | |||||||||||||
| 言語 | ja | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| キーワード | ||||||||||||||
| 言語 | en | |||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | Proof | |||||||||||||
| キーワード | ||||||||||||||
| 言語 | en | |||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | RAA | |||||||||||||
| キーワード | ||||||||||||||
| 言語 | en | |||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | PNK | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||||
| ページ属性 | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | P(論文) | |||||||||||||
| 言語 | ja | |||||||||||||
| 著者名(日) |
中西, 泰雄
× 中西, 泰雄
|
|||||||||||||
| 著者所属(日) | ||||||||||||||
| ja | ||||||||||||||
| 東京都立産業技術高等専門学校ものづくり工学科 | ||||||||||||||
| 抄録(英) | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | In a proof by reducio ad absurdum (RAA),once we put false assumptions, it is hard to distiguish true statements from others in the following part of the proof. On the other hand, all intermediate statements in a direct proof are true. This means that a direct proof has far more informations than the corresponding RAA proof. Therefore, from educational point of view, it is very fruitful to write proofs without RAA.In our former research, we introduced an efficient logical system called WNK which is free from RAA. However, ordinary proofs used in mathematics are closer to NK of Gentzen rather than WNK. In this paper, we introduce another logical system PNK which is also free from RAA, and explain the planning method of PNK proofs by means of sequents. | |||||||||||||
| 言語 | en | |||||||||||||
| 書誌情報 |
ja : 東京都立産業技術高等専門学校研究紀要 en : Research reports of Tokyo Metropolitan College of Industrial Technology 巻 6, p. 70-76, 発行日 2012-03 |
|||||||||||||
| 出版者 | ||||||||||||||
| 出版者 | 東京都立産業技術高等専門学校 | |||||||||||||
| 言語 | ja | |||||||||||||
| ISSN | ||||||||||||||
| 収録物識別子タイプ | PISSN | |||||||||||||
| 収録物識別子 | 18831990 | |||||||||||||
| 書誌レコードID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AA12210629 | |||||||||||||
