邏輯規則

要在規則中使用的邏輯運算子。 CONTINUE · IF · STET. 上層主題： 規則函數.

符合邏輯規則但不符合直覺的推論 · 要嘛兇手是司機，要嘛兇手是園丁。（根據司機、園丁和管家都是嫌疑犯，而管家有不在場證明） · 並非，如果是在屋外工作的人殺了人，那麼 ...

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

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

命題邏輯簡介. 2006/02/26, by Chi. 命題邏輯所使用的符號意義(以下大寫英文字代表一個命題) ... 命題邏輯的推論規則(凡是符合下列形式的推論皆為有效論證) ...