第三章命题演算(一)ppt课件.ppt

上传人:牧羊曲112 文档编号:1469410 上传时间:2022-11-28 格式:PPT 页数:30 大小:155KB
返回 下载 相关 举报
第三章命题演算(一)ppt课件.ppt_第1页
第1页 / 共30页
第三章命题演算(一)ppt课件.ppt_第2页
第2页 / 共30页
第三章命题演算(一)ppt课件.ppt_第3页
第3页 / 共30页
第三章命题演算(一)ppt课件.ppt_第4页
第4页 / 共30页
第三章命题演算(一)ppt课件.ppt_第5页
第5页 / 共30页
点击查看更多>>
资源描述

《第三章命题演算(一)ppt课件.ppt》由会员分享,可在线阅读,更多相关《第三章命题演算(一)ppt课件.ppt(30页珍藏版)》请在三一办公上搜索。

1、第三章 逻辑推理:命题逻辑,第一节 复合命题 一、概述 1、什么是命题? 2、命题的种类,一、什么是命题? 1、如果试纸变红,则溶液呈酸性 2、试纸变红了 3、鲁迅是浙江绍兴人 命题是对事物情况所作的陈述,一个命题或者为真、或者为假(真值)。,命题-陈述句 单句 - 简单命题陈述句 命题 复句 - 复合命题复合命题(简单命题+联结词),三、命题的种类 简单命题-单句命题 基本复合命题二重复句 陈 复合命题 复句 述 多重复合命题多重复句 句,命题,简单命题,基本复合命题,多重复合命题,命题的分类 推理的分类 简单命题 简单命题推理 命题 推理 复合命题 复合命题推理,二 、 复合命题的种类及其

2、形式 基本复合命题的种类 划分标准基本复合命题的构成:联结词 + 简单命题 联结词的种类 关联词的种类,逻辑联结词可概括为五种,相应地:基本复合命题有五种,五种逻辑联结词及五类基本的复合命题:名称 符号 对应的关联词 生成的复合命题及形式 否定词 并非 负命题 p 合取词 并且 联言命题 pq析取词 或者 选言命题 pq 蕴涵词 如果则 假言命题 pq 等值词 当且仅当 等值命题 pq,(一)负命题1、什么是负命题 例1 不是所有的证人都讲真话。 2 到过现场的并不都是作案人。 3 关于身份关系的协议不适用合同法的有关规定。 负命题:否定一个命题所得到的那个命题。2、负命题的命题形式 p,4、

3、用真值表定义“”,p, p,+,-,-,+,(二)联言命题1、什么是联言命题 例1 甲不但有作案动机而且有作案时间。 2 发展中国家既要保持政治上的独立性,又要保持经济上的开放性。 联言命题:陈述两个命题都成立的那个命题。2、联言命题的命题形式 pq,4、用真值表定义“”,p q,p q,+ +,+ -,- +,- -,+,-,-,-,(三)选言命题 1、什么是选言命题 例1 甲和乙至少有一个是凶手。 2 你说错了,或者我听错了。 选言命题:陈述两个命题至少有一个成立的那个命题。 2、选言命题的命题形式 p q,4、用真值表定义“”,p q,p q,+ +,+ -,- +,- -,+,+,+,

4、-,排斥性选言命题:陈述几个命题至少有一个成立、且至多有一个成立的那个命题。(两个支的)排斥性选言命题的命题形式: 1、 ( p q ) (p q) 2、 (p q) ( p q),(四)假言命题 1、什么是假言命题 假言命题:陈述一个命题蕴涵另一个命题的复合命题。 p蕴涵q指:p真则q也必为真,2、假言命题的命题形式 p q 前件 后件,4、用真值表定义“”,p q,p q,+ +,+ -,- +,- -,+,-,+,+,表达必要条件关系的命题:必要条件假言命题 如: 1、只有有水,才有生命存在。 2、只有甲有作案时间,甲才是凶手。 必要条件假言命题:陈述一个命题是另一个命题必要条件的复合命

5、题。,必要条件假言命题的命题形式: 只有p才q = 如果非p则非q 1、 p q 只有p才q =如果q则p 2、 q p,(五)等值命题 1、什么是等值命题 例 一个三角形三条边相等,当且仅当三个角相等。 等值命题:陈述两个命题真假相同的那个命题。 2、等值命题的命题形式 p q,4、用真值表定义“”,p q,p q,+ +,+ -,- +,- -,+,-,-,+, q p pq p q p q pq + + - + + + + + - - - + - - - + + - + + - - - + - - + + 矛盾关系 蕴涵关系 等值关系,(六)多重复合命题例1 如果明天不刮风也不下雨,我们就去故宫或者长城。,如果明天不刮风(也)不下雨, 我们就去故宫(或者) 长城。, q 如果明天不刮风(也)不下雨, 我们就去故宫(或者) 长城。 r s (p q) (r s),例2 司法工作人员明知其无罪而使其受到追诉, 明知其有罪而故意包庇不使其受到追诉,或者故意颠倒黑白作 枉法裁断的,处五年以下有期徒刑。,司法工作人员明知其无罪(而) 使其受到追诉, 明知其有罪(而) 故意包庇不使其受到追诉,(或者) 故意颠倒黑白作 枉法裁断的, 处五年以下有期徒刑。 (p q) (r s) t ) u,括号的省略 ; 、 ; ; ,

展开阅读全文
相关资源
猜你喜欢
相关搜索
资源标签

当前位置:首页 > 生活休闲 > 在线阅读


备案号:宁ICP备20000045号-2

经营许可证:宁B2-20210002

宁公网安备 64010402000987号