离散数学数理逻辑.pptxVIP

离散数学讲义之

数理逻辑

主讲:邱晓红

数理逻辑简介

数理逻辑是用数学方法研究形式逻辑的科学。数学方法即符号方

法，故数理逻辑又称符号逻辑。包含命题逻辑、谓词逻辑、证明

论、模型论、递归函数、公理化集合论、归纳逻辑、模态逻辑、

多值逻辑和时态逻辑等内容，与计算机有密切关系。

各知识点关联图

•3

第一部分：数理逻辑

•第一章命题逻辑2.4谓词演算的等价式与蕴含式

•1.1命题及其表示2.5谓词公式范式

•1.2逻辑联结词2.6谓词演算的推理理论

•1.3命题公式与解释习题二

•1.4真值表与等价公式实验二命题逻辑简单推理系统

•1.5命题公式的分类与蕴含式第3章基于归结原理的推理证明**

•1.6其它逻辑联结词和最小功能

•完备联结词组3.1谓词公式与子句集

•1.7对偶与范式3.2海伯伦（HERBRAND）理论

•1.8推理理论3.3归结原理(RESOLUTIONMETH

•习题一OD)

•实验一真值表的程序计算3.4归结过程的控制策略

•第2章谓词逻辑习题三

•2.1谓词的基本概念实验三归结原理的程序实现

•2.2谓词公式与解释

•2.3变元的约束

•4

第一章：命题逻辑

l主要内容：命题及表示、联结词、命题公式与翻

译、真值表与等价公式、重言式与蕴涵式、其他

联结词、对偶与范式、推理理论。

l教学要求：深刻理解和掌握命题逻辑中的基本概

念和基本方法。

l重点：命题逻辑中的基本概念和基本推理方法

l难点：推理理论。

l实践活动：真值表的程序计算

1.1命题及其表示

判定一个句子是否为命题要分为两步：一是判定是否

为陈述句，二是能否判定真假，二者缺一不可。

定义1.1.1能够判断真假的陈述句称为命题

（Proposition）。命题的判断结果称为命题的真值，

常用T(True)（或1）表示真，F(False)（或0）表示

假。真值为真的命题称为真命题，真值为假的命题称

为假命题。

•7

解在上述的十个句子中，（2）、（9）为祈使句，

（4）为疑问句，（5）、（6）虽然是陈述句，但（5）

没有确定的真值，其真假随x、y取值的不同而有改变，

（6）是悖论(Paradox)（即由真能推出假，由假也能

推出真），因而（2）、（4）、（5）、（6）、（9）

均不是命题。（1）、（3）、（7）、（8）、（10）

都是命题，其中（10）虽然现在无法判断真假，但随

着科技的进步是可以判定真假的。需要进一步指出的

是，命题的真假只要求它有就可以，而不要求立即给

出。如例的（8）1+101=110，它的真假意义通常和

上下文有关，当作为二进制的加法时，它是真命题，

否则为假命题

命题分类命题标识符

l根据命题的结构形式，命题分为原子命题和复合命题。

l定义1.1.2不能被分解为更简单的陈述语句的命题称为原子命

题(SimpleProposition)。由两个或两个以上原子命题组合

而成的命题称为复合命题(CompoundProposition)。

l定义1.1.3表示原子命题的符号称为命题标识符(Identifier)。

l命题标识符依据表示命题的情况，分为命题常元和命题变元。

1.2逻辑联结词

一个复合命题，不论其构成多么复杂，一般都可