- 1、本文档共154页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第3章1命题逻辑课件.ppt
其一,不是所有的语句都表达命题。 其二,同一个命题可以由不同的语句来表达。 “这里好不热闹”与“这里好热闹”。 “这件事在我来北京之前就已经听说了”与“这件事在我没有来北京之前就已经听说了” 。 选择恰当语句与语境、使用习惯有关。 一句话百样说,说与说不一样 “不好了”与“好了”。 其三,同一个语句在不同的情况下可以表达不同的命题。 多义句。 说者无意,听者有心。 1979年公布的《中华人民共和国刑法》第八条是: “享有外交特权和外交豁免权的外国人的刑事责任问题,通过外交途径解决。” 1、有人认为,“和”表示选择性:“一个外国人,只要享有外交特权和外交豁免权的其中一种,其刑事责任问题就可以通过外交途径解决。” 2、 有人认为“和”只能表示并存: “享有外交特权的外国人的刑事责任问题通过外交途径解决;并且,享有外交豁免权的外国人的刑事责任问题通过外交途径解决。” 两种解释基本意思一样的。 3、 “和” 表示事物情况的并存,因此也不排除这句话还表达:“既享有外交特权又享有外交豁免权的外国人的刑事责任问题,通过外交途径解决。” 同一个语句表达不同命题的情况 多义词造成多义句 句子结构切分造成多义句 索引词造成指代不明 语义笼统造成指代不明 语境中的多义造成歧义 思考:造成这种情况的原因是什么? 他背着总经理和副总经理偷偷地把这笔钱分别存入了两家银行。 他这个人谁都认识。 四个工厂的代表到齐了 歧义的消解 接在“我们要学习文件”后面能消除歧义的一项是?? A.请做好准备。 B.请把电视机关上。?? C.小说不要带来。 D.请你告诉小王。 (三)、命题形式 任何命题都有内容和形式两个方面。 (1)、如果没有付出,那么就不会有收获; (2)、如果某人患了肺炎,那么他就会发高烧。 内容不同,形式相同:如果p,那么q 可以符号化为:p→q (2)充分条件假言命题 前件是后件充分条件的假言命题是充分条件假言命题。 充分条件:有前件,必有后件;没前件,不见得没后件。 “有之必然,无之未必不然”。 形式:如果p,那么q 引入数理逻辑蕴涵符号“→” ,进一步用符号表示为: p→q(读作:“p蕴涵q”。) 数理逻辑的蕴涵是实质蕴涵。 普通逻辑的蕴涵是条件蕴涵。 “如果他是作案人,则他一定有作案时间”真,不排除下面三种情况: 他是作案人,且他有作案时间; 他不是作案人,且他没有作案时间; 他不是作案人,且他有作案时间。 所要排除的是: “他是作案人,并且他没有作案时间”。 (3)必要条件假言命题 反映前件是后件的必要条件的假言命题就是必要条件假言命题。 必要条件:没有前件,必没有后件;有了前件,不见得一定会有后件。 “无之必不然,有之未必然”。 形式:只有p,才q 也可以用数理逻辑中的蕴涵符号“→” 来表示 ?p??q(即:“如果非p则非q”。数理逻辑的读法是:“?p蕴涵?q”) 数理逻辑认为以上命题只有在一种情况下是假的:“他没有作案时间,但他是作案人”。 一个真的必要条件假言命题所要排除的是前件假而后件真的情况 数理逻辑由此抽象出必要条件假言命题的真值关系并用真值表表示: (见教材第36页) (4)充分必要条件假言命题。 充分必要条件假言命题就是反映前件是后件的充分必要条件的假言命题。 充分必要条件:有了前件,必然会有后件;没有前件,一定没有后件。 “有之必然,无之必不然”。 形式: p当且仅当q 引入数理逻辑中的等值符号“?” 进一步用符号表示为: p ? q (数理逻辑读作:“p等值于q”。) “当且仅当社会出现了阶级,国家才会产生 ”真,不排除下面两种情况: 社会出现了阶级,国家产生了; 社会没有出现阶级,国家没有产生。 要排除的是如下两种情况: 社会出现了阶级,国家不会产生; 社会没有出现阶级,国家却产生。 充要条件假言命题有时也用一个充分条件假言命题和一个必要条件假言命题并于一起表达。例如: “人不犯我,我不犯人;人若犯我,我必犯人”就是一个充要条件假言命题。其表达形式是: (?p??q)∧(p?q) 二、重言式及其判定 (一)真值联结词、真值形式复合命题形式在数理逻辑中叫真值形式。表示关系的联结词叫真值联结词。真值联结词是日常语言联结词在真假关系上的一种抽象。 真值联结词有五个:否定? 、合取∧ 、析取∨ 、蕴涵→ 、等值←→ 。真值形式就是真值联结词与命题变项所构成的形式结构。命题变项是组成复合命题的原子命题,用字母p、q、r、s···表示。 五种基本的真值形式:合取式:p∧q析取式:p∨q蕴涵式:p→q等值式:p←→q否定式:?
文档评论(0)