查詢結果分析
來源資料
頁籤選單縮合
| 題 名 | 自然演繹法系統之比較=A Critical Comparison of Natural Deduction Systems |
|---|---|
| 作 者 | 鄧敦民; 鄧敦民; | 書刊名 | 國立臺灣大學哲學論評 |
| 卷 期 | 51 2016.03[民105.03] |
| 頁 次 | 頁35-69 |
| 分類號 | 151 |
| 關鍵詞 | 自然演繹法; 存在個例化規則; 全稱通則化規則; 妥當性; 邏輯教學; Natural deduction; Existential instantiation; Universal generalization; Soundness; Teaching logic; |
| 語 文 | 中文(Chinese) |