第一章 命题逻的基本概念.pptVIP

开复课件网 第一部分 数理逻辑 数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 第一部分 数理逻辑 主要内容 命题逻辑基本概念 命题逻辑等值演算 命题逻辑推理理论 一阶逻辑基本概念 一阶逻辑等值演算与推理 第一章 命题逻辑的基本概念 主要内容 命题与联结词 命题及其分类 联结词与复合命题 命题公式及其赋值 命题与真值 命题：判断结果惟一的陈述句 命题的真值：判断的结果 真值的取值：真与假 真命题与假命题 注意： 感叹句、祈使句、疑问句都不是命题 陈述句中的悖论，判断结果不惟一确定的不是命题 判断句子是命题分两步：一是陈述句；二是有惟一真值 命题概念 命题分类：简单命题（也称原子命题）与复合命题 简单命题（也称原子命题):不能被分解成更简单的命题 简单命题符号化 用小写英文字母 p, q, r, …, pi, qi, ri (i?1)表示简单命题 用“1”表示真，用“0”表示假 例如，令 p： 是有理数，则 p 的真值为0， q：2 + 5 = 7，则 q 的真值为1 举例： p：北京是一座城市。 ?p：北京不是一座城市。 q：每一种生物均是动物。 0 ?q：有一些生物不是动物。 1 这里?q不能讲成“每一种生物都不是动物”为假命题了。 对量化命题的否定，除对动词进行否定外，同时对量化词也要加以否定。 否定、合取、析取联结词 合取联结词的实例 例2 将下列命题符号化. (1) 吴颖既用功又聪明. (2) 吴颖不仅用功而且聪明. (3) 吴颖虽然聪明，但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学. 析取联结词的实例 例3 将下列命题符号化 (1) 2 或 4 是素数. (2) 2 或 3 是素数. (3) 4 或 6 是素数. (4) 小元元只能拿一个苹果或一个梨. (5) 王小红生于 1975 年或 1976 年. 蕴涵联结词 定义1.4 设p, q为两个命题，复合命题“如果p, 则q”称作p与q的蕴涵式，记作p?q，并称p是蕴涵式的前件，q为蕴涵式的后件，?称作蕴涵联结词. 规定：p?q为假当且仅当p为真q为假. 定义1.5 设 p, q为两个命题，复合命题“p当且仅当q”称作p与q的等价式，记作p?q，?称作等价联结词. 规定p?q为真当且仅当p与q同时为真或同时为假. p?q 的逻辑关系：p与q互为充分必要条件 本小节中p, q, r, … 均表示命题. 1.2 命题公式及其赋值 命题变项与合式公式 命题变项 合式公式 合式公式的层次 公式的赋值 公式赋值 公式类型 真值表 命题变项与合式公式 命题常项：简单命题是命题逻辑中最基本的研究单位，其真值 是确定的，又称作命题常项或命题常元． 命题变项（命题变元）：取值1（真）或0（假）的变元． 常项与变项均用 p, q, r, …, pi, qi, ri, …, 等表示. 定义1.8 设p1, p2, … , pn是出现在公式A中的全部命题变项, 给p1, p2, … , pn各指定一个真值, 称为对A的一个赋值或解释. 若使A为1, 则称这组值为A的成真赋值; 若使A为0, 则称这组 值为A的成假赋值. 几点说明： A中仅出现 p1, p2, … , pn，给A赋值?=?1?2…?n是指 p1=?1, p2=?2, …, pn=?n, ?i=0或1, ?i之间不加标点符号 A中仅出现 p, q, r, …, 给A赋值?1?2?3…是指 p=?1, q=?2 , r=?3 … 含n个命题变项的公式有2n个赋值. 如 000, 010, 101, 110是?(p?q)?r的成真赋值 001, 011, 100, 111是成假赋值. 定义1.9 将命题公式A在所有赋值下取值的情况列成表, 称作 A的真值表. 构造真值表的步骤: (1) 找出公式中所含的全部命题变项p1, p2, … , pn(若无下角标 则按字母顺序排列), 列出2n个全部赋值, 从00?0开始, 按 二进制加法, 每次加1, 直至11?1为止. (2) 按从低到高的顺序写出公式的各个层次. (3) 对每个赋值依次计算各层次的真值, 直到最后计算出公式 的真值为止. 例6 写出下列公式的真值表, 并求它们的成真赋值和成假 赋值: