离散数的学课堂课程总结.pptVIP

第一章命题逻辑 数理逻辑 是一门用数学方法研究推理过程的科学 主要目的在于探索推理规则,将推理理论公式化: 所遵循的规则一定不能有二义性; 为此制定一种形式语言,引入符号,避免二义性 并简化书写和处理; 基本内容包括命题逻辑和谓词逻辑两个部分。 §1.1命题和联接词 1.命题 命题是指县有真假意义的语句。 2.命题联结词 pqp~qpwq‖p⊕qpqpq 00 0 000 10 联接 合取析取异或蕴涵等价 异或 则“当且仅当 取值特征 仅一种仅一种相同为F仅一种相同为T 情况为T情况为F不同为T情况为F不同为F 3命题符号化 形式逻辑 (分解 (自然语言) 简单命题+联接词 复合命题 (复原) (符号语言) 命题逻辑 §1.2公式和真值赋值 1.公式的定义 2真值赋值一定义16 从全体命题变元组成的集合到真值集合{0,1} 的函数称为真值赋值。 3命题公式的真值表 如果公式A含n个命题变元,则对这n个命题 变元可有2种不同的真值赋值,对于每种情况计 算v(A)即得公式A的真值表。 而不同真值表的命题公式有22个 pq-(pq)|(-py=q)|公式 v000 公式分类 0 可满足式--有真值赋值v能使v(A)=1: 永真式--每种真值赋值v都使V(A)=1; 永假式--每种真值赋值v都使v(A)=0 4.替换实例-定义18 用公式B1B2,Bn分别替换公式A中的不同命 题