单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级高等学校21世纪教材电子教案离散数学人民邮电出版社4320221第一章命题逻辑命题逻辑也称命题演算记为Ls它与谓词逻辑构成数理逻辑的基础而命题逻辑又是谓词逻辑的基础数理逻辑是用数学方法即通过引入表意符号研究推理的学问因此数理逻辑又名为符号逻辑命题逻辑是研究由命题为基本单位构成的前提和结论之间的可推导关系退出1.1 命题与联

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级离散数学 第二章一阶逻辑第二章 一阶逻辑☆ 命题逻辑中主要研究命题和命题演算其基本组成单位是命题常项变项它们且不可再分. 例如: P: n是一个奇数 根据命题的定义P不是命题.因为它随n的取值而定.而计算机中大多数语句使用变量.所以必须扩展逻辑系统以包含这样的语句.☆ 在命题公式中也允许出现命题变项但仅仅作为一个整

单击此处编辑母版标题样式单击此处编辑母版文本样式Deren Chen Zhejiang Univ.Propositional Equivalences命题演算 1.1.2 命题演算 Propositional Equivalences41920221Deren Chen Zhejiang Univ. 1命题(Proposition) 2从简单命题(atomic propositio

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级Copyright ? Department ofputer Science Guizhou University14 命题演算中的归结Copyright ? Department ofputer Science Guizhou University14 命题演算中的归结内容提要一条新的推理规则：归结把任意的合