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

第一章 命题逻辑的基本概念 第一章 命题逻辑的基本概念 命题与联结词 命题公式及其赋值 知 识 点：命题及表示、联结词、命题公式与赋值、真值表 教学要求：深刻理解和掌握命题逻辑中的基本概念 教学重点：命题逻辑中的基本概念 学时: 2 §1.1 命题与与联结词 命题：能判断真假而不是可真可假的陈述句 命题的真值 ：作为命题的陈述句所表达的判断结果 真值只取两个值：真或假 真值为真的命题称为真命题 ，真命题表达的判断正确 真值为假的命题称为假命题 ，假命题表达的判断错误 任何命题的真值都是唯一的 ??　 判断给定句子是否为命题，应该分两步 首先判定它是否为陈述句 其次判断它是否有唯一的真值 §1.1 命题与与联结词 例1 : 判断下列句子是否为命题 ?4是素数 ?π是无理数 ? x大于y ?火星上有水 ?2100年元旦是晴天 ?π大于 3 吗？ ?请不要吸烟！ ?这朵花真美丽啊！ ?我正在说假话 所有的整数都大于0 有的整数大于0 §1.1 命题与与联结词 数理逻辑研究方法的主要特征是将论述或推理中的各种要素都符号化，即构造形式语言来代替自然语言 命题真值的符号化：　1 或 T 表示真，0 或 F 表示假 1 或 T , 0 或 F 称为命题常元 命题的符号化：用字母p,q,r,… , pi,qi,ri,…表示命题 一个代表命题的变量称为命题变元 命题变元是用来表示任意命题的, 它的真值是未确定的 当命题变元用一个具体的命题 “代入” 时, 它才有确定的真值 用一个具体的命题 “代入” 一个命题变元 p 称为对命题变元p进行指派, 也称赋值或解释 例如： 用”雪是黑的” 代入p后，p就表示命题, 这时p有确定的值0 用”雪是白的” 代入p后，p就表示命题, 这时p有确定的值1 §1.1 命题与与联结词 原子命题 : 不能分解为更简单命题的命题 复合命题 : 由原子命题通过联词复合而成的命题 为了避免歧义,对联结词进行严格定义, 并且加以符号化 常用的联词 设p 和 q为两个命题 定义1.1 否定联结词 : ┐ 复合命题”非 p”称为p的否定式,记为 ┐p 定义1.2 合取联结词 : ∧ 复合命题”p并且q”称为p与q的合取式,记作 p∧q 定义1.3 析取联结词 : ∨ 复合命题”p或者q”称为p与q的析取式,记作 p∨q 定义1.4 蕴涵联结词 : ? 复合命题”如果p则q”称为p与q的蕴涵式,记作 p?q 定义1.5 等价联结词 : ? 复合命题”p当且仅当q”称为p与q的等价式,记作 p ?q §1.1 命题与与联结词 基本复合命题的真值表 §1.1 命题与与联结词 逻辑联词也称为逻辑运算符 运算的优先级依次为: ( , ) ? ? ? ? ? §1.1 命题与与联结词 例2 试用符号形式表示下列命题: 设p为“明天下雨”, q为“明天我去看电影” , r为“明天我有时间” 明天不下雨 ?p 如果明天不下雨, 那么我去看电影 ?p?q 当且仅当明天不下雨, 我才去看电影 ?p?q 如果明天不下雨而且我有时间, 那么我去看电影 (?p?r)?q 如果明天下雨或我没有时间, 那么我就不去看电影 (p??r)? ?q 除非明天下雨, 否则我就去看电影 ?p?q 只有明天下雨我才会去看电影 q?p 除非明天下雨我才会去看电影 q?p §1.1 命题与与联结词 例3 试用符号形式表示下列命题并求真值: 　设 p:2是有理数, q:2是无理数, r:3是有理数, s:3