自然演繹法

自然演繹法（natural deduction）是大多數基礎邏輯課程中所教的證明系統，然而不同的教科書所採用的自然演繹法系統不盡相同，造成了教學與學習上的困擾。特別是在量詞推論 ...

自然演繹法（natural deduction）是大多數基礎邏輯課程中所教的證明. 系統，然而不同的教科書所採用的自然演繹法系統不盡相同，造成了教學與. 學習上的困擾。

真值表法. 單元6． 真值樹系統. 單元7． 自然演繹法系統. 單元8． 對象、外延、量化詞. 單元9． 一階邏輯語言. 單元10． 日常語言的翻譯. 單元11． 真值樹系統.

以上是自然演繹法中直接證明的十八條規則，我懶惰所以上網找:P (沒介紹符號，暫時用這些東西代替:P)(但是只會用到~ • ∨ → ↔)

CH 9. 自然演繹法講義下載：http://get.aca.ntu.edu.tw/getcdb/handle/getcdb/395320?un=9 ...