命题逻辑基本概念1.pptVIP

离散数学 福建师范大学数学与计算机科学学院 本课程是现代数学的一个重要分支，是计算机科学基础理论的核心课程 。 研究的对象是离散数据结构及相互关系。 主要内容：数理逻辑、集合论及代数、图论和组合数学等 。 离散数学与数学 连续型、离散型、随机型 离散数学与计算机科学 数据结构、算法与软件理论、人工智能、数据挖掘、信息安全、...... 离散数学与我 数理逻辑 关于逻辑的故事： 上帝能否造出一块自己搬不动的石头？ 理发师悖论 集合论悖论 … 什么是逻辑？ 研究人的思维形式和规律的学科。由研究对象和方法的差异可分为： 1. 形式逻辑 2. 数理逻辑 3. 思辨逻辑 什么是数理逻辑？ 字面含义：数学理论的逻辑。逻辑是研究演绎（推理）规律的学科。 广义理解：用数学方法研究演绎规律的学科。 狭义理解：用数学方法研究数学中演绎规律和数学基础的学科。 我们只介绍命题逻辑和一阶逻辑 §1 .1 命题与联结词 第一章 命题逻辑 称能判断真假而不是可真可假的陈述句为命题。 作为命题的陈述句所表达得的判断结果称为命题的真值。 真值只取两个：真与假(T,F)。 真值为真的命题称为真命题。 真值为假的命题称为假命题。 例 判断下列句子是否为命题。 4是素数。 x大于y。 充分大的偶数等于两个素数之和。 今天是星期二。 请不要吸烟！ 这朵花真美丽啊！ 我正在说假话。 命题和真值的符号化 用小写英文字母p,q,r…,pi ,qi ,ri …表示命题 用“1”表示真，用“0”表示假 命题常元 我们把表示具体命题及表示常命题的p，q，r，s等与1，0统称为命题常元。 命题变元 是以“真、假”或“1，0”为取值范围的变元，它未指出符号所表示的具体命题，可以代表任意命题。 指派 当命题变元用一个特定命题取代时，该命题变元才能有确定的真值，从而成为一个命题。称对命题变元进行指派。 数理逻辑研究方法的主要特征是将论述或推理中的各种要素都符号化。即构造各种符号语言来代替自然语言。 将联结词（connective）符号化，消除其二义性，对其进行严格定义。 例如： 他学过英语或法语。  鱼香肉丝或西红柿炒鸡蛋，加一碗汤。 定义1.1 否定(NOT) 设p为命题，复合命题“非p”(或“p的否定”)称为p的否定式,记作┐p，符号┐称作否定联结词，并规定┐p为真当且仅当p为假。 定义1.2 合取(AND) 设p,q为二命题，复合命题“p并且q”(或“p与q”)称为p与q的合取式，记作p∧q，∧称作合取联结词，并规定p∧q为真当且仅当p与q同时为真（遇假则假）。 例 将下列命题符号化 吴颖既用功又聪明。 吴颖不仅用功而且聪明。 吴颖虽然聪明，但不用功。 张辉与王丽都是三好学生。 张辉与王丽是同学。 合取举例 p：我们去看电影。q：房间里有十张桌子。 p∧q：我们去看电影并且房间里有十张桌子。 定义1.3 析取(OR) 设p，q为二命题，复合命题“p或q”称作p与q的析取式，记作p∨q，∨称作析取联结词，并规定p∨q为假当且仅当p与q同时为假（遇真为真）。 例 将下列命题符号化 张晓静爱唱歌或爱听音乐。 张晓静只能挑选202或203房间。 张晓静是江西人或安徽人。 他昨天做了二十或三十道习题。 定义1.4 蕴涵 设p，q为二命题，复合命题“如果p，则q”称作p与q的蕴涵式，记作p→q，并称p是蕴涵式的前件，q为蕴涵式的后件，→称作蕴涵联结词,并规定p→q为假当且仅当p为真q为假。 例 将下列命题符号化，并指出其真值 如果3+3＝6，则雪是白的。 如果3+3≠6，则雪是白的。 如果3+3＝6，则雪不是白的。 如果3+3≠6，则雪不是白的。 以下命题中出现的a是一个给定的正整数： (5) 只要a能被4整除，则a一定能被2整除。 (6) a能被4整除，仅当a能被2整除。 (7) 除非a能被2整除， a才能被4整除。 (8) 除非a能被2整除，否则a不能被4整除。 (9)?只有a能被2整除， a才能被4整除。 (10)只有a能被4整除， a才能被2整除。 关于蕴含的进一步说明 作为一种规定，当p为假时，无论q是真是假，p→q均为真。也就是说，只有p为真q为假这一种情况使得复合命题p→q为假。 例：如果x5，则x2。(1) x=6 如果65，则62。(2) x=3 如果35，则32。(3) x=1 如果15，则12。 例：如果我有车，那么我去接你 常出现的错误，没有分清充分条件与必要条件。 定义1.5 等价 设p，q为二命题，复合命题“p当且仅当q”称作p与q的等价式，记作p?q，称作等价联结词，并规