邏輯規則

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

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

邏輯規則是人們在邏輯思維的過程中，根據邏輯規律制定出來的規範和準則。一般指形式邏輯的各種規則。它是形式邏輯的基本規律的邏輯要求在各種邏輯形式和邏輯方法中的 ...

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