联言命题推理.doc
kp****93
在线预览结束,喜欢就下载吧,查找使用更方便
相关资料
联言命题推理.doc
给人改变未来的力量联言命题推理一、联言命题的概念复言命题是由逻辑联结词联结若干个命题而成的命题。构成复言命题的命题称为肢命题。根据逻辑联结词的不同,我们可以将复言命题分为联言命题、选言命题、假言命题和负命题四种。本节我们就先讲解下联言命题。联言命题是陈述事物同时存在的命题,一般的形式为“p并且q”,联结词除了“并且”之外还有:“……和……,不但……而且……,虽然……但是……,不是……而是……”。例如:国家和地方的公务员我都要考。这就是个联言命题,表示的是我同时要考国家和地方的公务员。“国家的公务员我要考”
负命题、联言命题及其推理.ppt
第二节复合命题及其推理3、负命题的推理1)负命题的两种语义推出关系根据┐的逻辑性质,可得到如下等值关系:p┐┐p该等值关系可以用如下真值表说明。由该等值关系得出对任何公式A,有A┐┐A,因而有如下语义推论关系:A╞┐┐A,┐┐A╞A2)负命题的两种语法推理关系由如上语义推论关系得出如下推导规则(变形规则):A┐┐A┐┐+:┐┐-:┐┐AA(双重否定引入规则)(双重否定消去规则)从而有如下语法推理关系:A├┐┐A,┐┐A├A。二、联言命题及其推理1、联言命题的定义及形式联言命题是由命题联结词“并且”联结
负命题、联言命题及其推理.ppt
第二节复合命题及其推理3、负命题的推理1)负命题的两种语义推出关系根据┐的逻辑性质,可得到如下等值关系:p┐┐p该等值关系可以用如下真值表说明。由该等值关系得出对任何公式A,有A┐┐A,因而有如下语义推论关系:A╞┐┐A,┐┐A╞A2)负命题的两种语法推理关系由如上语义推论关系得出如下推导规则(变形规则):A┐┐A┐┐+:┐┐-:┐┐AA(双重否定引入规则)(双重否定消去规则)从而有如下语法推理关系:A├┐┐A,┐┐A├A。二、联言命题及其推理1、联言命题的定义及形式联言命题是由命题联结词“并且”联结
选言推理-假言推理-联言推理.doc
(完整版)选言推理,假言推理,联言推理(完整版)选言推理,假言推理,联言推理(完整版)选言推理,假言推理,联言推理选言推理百科名片选言推理是根据HYPERLINK”http://baike.baidu。com/view/379156.htm”\t"_blank”选言命题的HYPERLINK”http://baike.baidu。com/view/1838。htm”\t”_blank"逻辑性质而进行的推理。选言命题有相容与不相容之分,相应地,选言推理分为相容选言推理和不相容选言推理两种。目录[
第 三节 联言命题及其推理.ppt
第三节联言命题及其推理二、联言命题推理的有效式真值表作用¬(p∧q)∧¬(¬p∧¬q)¬(p∧¬q∧r)∧¬(¬p∧q∧¬r)交换律p∧¬q∧r┣?