命题逻辑的等值和推理演算-SJTUCS.PDF

命题逻辑的等值和推理演算 Prof. Junni Zou 邹君妮 /~zou-jn/ Dept. of Computer Science and Engineering Shanghai Jiao Tong University 2 Mar. 2018 命题逻辑的等值和推理演算  推理形式和推理演算是数理逻辑研究的基本内容  推理过程是从前提出发，根据所规定的规则来推 导出结论的过程  重言式是重要的逻辑规律，正确的推理形式，等 值式都是重言式 2 等值的定义  将初等数学里的＋、－、×、÷等运算符看作是 数与数之间的联结词，那么由这些联结词所表达 的代数式之间，可建立许多等值式如下：