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