离散数学--第一篇--数理逻辑.ppt

离散数学 Discrete Mathematics Chen Guangxi School of Mathematics and Computing Science 第一篇 数理逻辑 第一章 命题逻辑基本概念 第二章 命题逻辑的推理理论 第三章 谓词逻辑基本概念 第四章 谓词逻辑的推理理论 第一章 命题逻辑基本概念 目标: 掌握命题、逻辑联词、真值表、公式等基本概念 掌握极小项、极大项、析取合取范式 熟练运用真值表方法、命题演算方法 了解逻辑联词完备集 学习建议: 对照集合知识熟悉等值公式逻辑意义 勤做练习 第一章 命题逻辑基本概念 1.1 命题与命题联结词 数理逻辑（logical）是用数学方法研究推理的前提和结论之间的形式关系的科学。推理的基本要素是命题（proposition）。 什么是命题呢？陈述客观世界发生的事情的陈述句就叫作命题。 第一章 命题逻辑基本概念 请看下面给出的两个陈述句： （1）是无理数。 （2）桂林属于广东省。 这两个陈述句都表示对事件性质的判断。第一句话表示的判断是正确的，而第二句话表示的判断是错误的。像(1),(2)这样能够唯一确定所表达的判断是正确的还是错误的陈述句称为命题。 第一章 命题逻辑基本概念 【定义1.1.1】命题 命题就是或为真或为假的具有唯一真值的陈述句。 不是陈述句的句子，比如疑问句，感叹句，祈使句均不是命题。真值不唯一的也不是命题。 第一章 命题逻辑基本概念 一般用 或 表示命题。命题的真值也用符号表示，用“1”或“T”表示真，用“0”或“F”表示假。那么，（1），（2）的符号化形式为： （1）p： 是无理数。p的真值为1（或T）。 （2）q：桂林属于广东省。q的真值为（或F）。 由简单陈述句确定的命题称为简单命题或原子命题。由若干个简单命题用联结词联结起来的命题称为复合命题。 第一章 命题逻辑基本概念 【定义1.1.2】否定联结词 设p为命题，复合命题“非p”称作的否定式，记作 p。符号 称作否定联结词， p为真当且仅当p为假。 例 4不是素数 用p表示“4是素数”。 P即表示 4不是素数 P的真值为0。 p的真值为1。 第一章 命题逻辑基本概念 【定义1.1.3】合取联结词 设p，q为二命题，复合命题“p并且q”称为p与q的合取式，记作p∧q。符号∧称作合取联结词。p∧q为真当且仅当p与q同时为真。 注: “不仅，而且”，“虽然，但是”，“既，又”，“一边，一边” 都应该符号化为∧。 第一章 命题逻辑基本概念 〖例1.1.1〗设p：sinx是奇函数，q：ex是奇函数。将下面复合命题符号化，并且讨论它们的真值： sinx和ex都是奇函数。 不仅sinx是奇函数， ex也是奇函数。 虽然sinx是奇函数，但是ex不是奇函数。 不仅sinx不是奇函数，而且ex也不是奇函数。 以上4个命题分别符号化为： （1）p∧q，真值为0。 （2）p∧q，真值为0。 （3）p∧q，真值为1。 （4） p∧ q，真值为0。 第一章 命题逻辑基本概念 【定义1.1.4】析取联结词 设p，q为二命题，复合命题“p或q”称为p与q的析取式，记作p∨q。符号∨称作析取联结词。p∨q为真当且仅当p与q中至少有一个为真。 析取联结词的逻辑关系是明确的。但在自然语言中，“或”具有二义性。 第一章 命题逻辑基本概念 【定义1.1.4】析取联结词 例 （1）李军到过桂林或云南。 （2）数列收敛或发散。 （3）你选一楼的一间房或选二楼的一间房（不能既选一楼又选二楼）。 第一章 命题逻辑基本概念 【定义1.1.4】析取联结词 设p：李军到过桂林，q:李军到过云南。 r：数列 收敛，s： 数列发散。 t：你选一楼的房间，u：你选二楼的房间。 第一章 命题逻辑基本概念 【定义1.1.5】蕴涵联结词 设p，q为二命题，复合命题“如果p，则q”称作与的蕴涵式（implication），记作p→q。p称为蕴涵式的前件，q为蕴涵式的后件， →称为蕴涵联结词。 p→q为假当且仅当为p真q为假。 p→q的逻辑关系是：q是p的必要条件，p是q的充分条件。 第一章 命题逻辑基本概念 【定义1.1.5】蕴涵联结词 〖例1.1.2〗将下列命题符号化，并且讨论每个命题的真值。 （1）如果级数 收敛，则数列 趋于零。 （2）如果级数 收敛，则数列 不趋于零。 （3）如果级数 不收敛，则数列 趋于零。 （4）如果级数 不收敛，则数列 不趋于零。 第一章 命题逻辑基本概念 【定义1.1.5】蕴涵联结词 解：设p：级数 收敛，q：数