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