查詢結果分析
來源資料
頁籤選單縮合
題名 | 自然演繹法系統之比較=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) |