Knowledge 2

一、写在前面 我们上一篇写了命题逻辑，和命题逻辑中语义逻辑推理entailment部分内容，我们知道学习一个逻辑，包含两个部分，一个是语义推理，另一个就是形式推演deduction 二、形式推演deduction 我们在讲形式推演的时候，我们就不要去想这些符号的语义是什么？它就是一种形式上的推演。 形式推演规则很多，我们重点讲一套系统，这一套系统一共有11条规则。之后我们讲另外一套系统，另外一套只

>>阅读原文<<