[理学]第一章 命题逻辑基本概念.pptVIP

离 散 数 学 简 介 离散：反义词？ 离散数学的特点： 顾名思义，内容又离又散，概念繁多。 离散数学的内容： 数理逻辑、集合论（关系、函数）、 代数结构、 图论 离散数学与计算机课程 培养抽象思维、缜密概括能力 现实问题[抽象为]数学模型[概括为]程序的机械操作 先行课程: 高等代数、数学分析 后继的课程：数据结构、数据库系统、操作系统、数字电路、编译原理、算法的分析与设计、人工智能、计算机网络等。 课程情况 离散数学的教与学 1．提问式教学为主 : 考勤、考查、（促进）考虑 2．学习方法（三步曲） 具体（现实“记忆实例”） 抽象（性质、 定理） 具体（计算机实现） 3．学习态度： 积极. “有用” “无用”？ 教材、笔记和参考书 教材：详细、流式 笔记：结构、典型实例 参考书： 一般参考： 《离散数学》左孝凌等 上海科技出版社 《离散数学》李俊锋等 清华大学出版社 《离散数学》 贲可荣等 清华大学出版社 《离散数学》李盘林等 高教出版社 深入学习： 《数理逻辑》、《集合论》、 《近式代数》 、《图论》 引 入 思维形式结构： 形式化？ 数学方法？ 第一章???? 命 题 逻 辑 基 本 概 念  数理逻辑是用数学方法研究思维规律的一门学科。 数学方法是指：用一套数学的符号系统来描述和处理思维的形式与规律。因此，数理逻辑又称为符号逻辑。 本章介绍数理逻辑中最基本的内容命题逻辑： 首先引入命题、命题公式等概念。然后，在此基础上研究命题公式间的等值关系和蕴含关系，并给出推理规则，进行命题演绎。 一、??命题的概念 一类特殊的陈述句? 悖论 所谓悖论, 是指对于命题q，如果从q为真, 可以推导出q为假, 又从q为非真推导出q为真, 我们就说命题q是一个悖论。 显然如果从命题p可引出一个命题q, 而q是一个悖论, 那么p也是一个悖论。 二、命题联结词 例6 　　将命题“他可能是100米或400米赛跑的冠军。”符号化。 例9 如果用p表示“我有车”，q表示“我去接你”，那么p→q表示命题“如果我有车，那么我去接你”。注意：当我有车时，若我去接了你，这时诺言p→q真；若我没去接你，则诺言p→q假。 当我没有车时，我无论去或不去接你均未食言，此时认定p→q为真。 当p为假: p→q为真，我们称→为善意推断。 使用联接词→，注意以下几点： 三、命题符号化 例12 将下列语句形式化。（1）我和他既是弟兄又是同学。（2）如果我和他都不是傻子，那么我们俩都不会去。 （1） p：我和他是弟兄，q：我和他是同学； 命题表示为p∧q。 （2） p:我是傻子, q:他是傻子, r:我会去, s:他会去。 命题表示为（┐p∧ ┐q）→(┐r∧┐s)或 ┐p∧ ┐q→(┐r∧┐s) ?要善于确定原子命题，不要把一个概念硬拆成几个概念，或倒过来。 （3）我和你之间至少有一个要去海南岛。  （4）我和你之间有一个要去海南岛。 （3） p：我去海南岛，q：你去海南岛； 命题表示为p∨q。 （4） p：我去海南岛，q：你去海南岛； 命题表示为(┐p∧q)∨(p∧┐q)。 ?将语句形式化时，一定要注意形式化了的语句与原来的汉语语句有相同的语义。 （5）狗急跳墙。 （6）风雨无阻，我去上学。 （5） p：狗急了，q：狗跳墙，命题表示为 p→q。 （6） p：天刮风，q：天下雨，r：我去上学。命题表示为 (p∧q→r) ∧(p∧┐q→r) ∧(┐p∧q→r) ∧(┐p∧┐q→r) ?要善于识别自然语言中的联结词（有时它们被省略）。例如“狗急跳墙”一句，可理解为“如果狗急了，它就会跳墙”。“风雨无阻，我去上学”一句，可理解为“不管是否刮风、是否下雨我都去上学”。 1.2 命题公式及其赋值 一 、??? 命题公式的概念 二、真值指派 三、公式类型 例3 构造下列命题公式的真值表，并判断它们是何种类型的公式 （1）（ ?p ?q）? ?（p?q）； （2）（q→p）∧（?p∧q）； 解 令F1=（?p?q）??（p ? q）， F2=（q→