數理邏輯之 自然演算規則（四）

昨天學習了蘊含引入規則和定理、等價的概念。後面還有一個練習題。 先來公佈一下練習題的參考答案：例14  證明相繼式 p → q |- p ∧ r →q ∧ r是有效的   繼續看自然演算規則：(Ⅵ) 析取規則 看到析取規則一定就想起了曾經的合取規則吧，能不能想起合取規則有幾個，分別是啥樣的？ 不過析取規則與合取規則相比，有本質上的區別。析取規則由析取引入規則和析取消去規則構成： a。析取引入規則

>>阅读原文<<