自然演繹法

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

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

自然演繹法的十八條推論規則. 蘊含規則. 替代規則. 1.前項肯定法(MP) p→q p. ∴q. 9.德摩根律(DeM). ~( p • q ) ≡ (~p ∨ ~q) ... 假言三段論法(...

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