Knowledge 2

一、寫在前面 我們上一篇寫了命題邏輯，和命題邏輯中語義邏輯推理entailment部分內容，我們知道學習一個邏輯，包含兩個部分，一個是語義推理，另一個就是形式推演deduction 二、形式推演deduction 我們在講形式推演的時候，我們就不要去想這些符號的語義是什麼？它就是一種形式上的推演。 形式推演規則很多，我們重點講一套系統，這一套系統一共有11條規則。之後我們講另外一套系統，另外一套只

>>阅读原文<<