网站大量收购独家精品文档,联系QQ:2885784924

命题关系及其推理.doc

  1. 1、本文档共4页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
命题关系及其推理

命题关系及其推理 所谓关系命题是断定事物与事物之间关系的命题 关系命题是由关系。关系项和量项三个部分组成的。关系项是关系命题所陈述的对象。关系项可以是两个,也可以是三个,甚至是三个以上。关系项有几个,就称为几项关系命题。 两项关系命题由两个关系项和一个关系组成,其逻辑形式如下: a R b,(读作“a与b有关系R”) 两种关系:对称性关系、传递关系 1.对称性关系: 对称性关系包括三种:对称关系、非对称关系和反对称关系。 ① 当事物a与事物b有关系R时,并且b与a之间也有关系R,则R是对称关系。当a是b的亲戚邻居时,b也是a的亲戚邻居。 公式:a R b真,b R a也真。 对称性关系的表现为:对立关系、矛盾关系、交叉关系、相等关系、朋友关系、同乡关系等。 ②当事物a与事物b有关系R,但b与a是否有关系R不定;即b与a既可能有关系R,也可能没有关系R是,关系R就是非对称关系。 如:a喜欢b,b可能喜欢a也可能不喜欢a。 公式:a R b真,则b R a真假不定。 非对称性关系的表现:如批评、信任、尊敬、想念、认识、喜欢等。 ③对事物a与事物b有关系R,但b与a肯定没有关系R时,关系R就是反对 称关系。 如:甲是乙的父亲,乙一定不是甲的父亲。 公式:a R b真,则b R a不定。 反对称关系具体表现:如小于、多于、重于、轻于、压迫于等。 传递关系 三种:传递关系、反传递关系和非传递关系。 ①当事物a与事物b有关系R,事物b与事物c有关系R,且事物a与事物c也有关系R时,关系R就是传递关系。 如:a是b的祖先,b是c的祖先,a一定是c的祖先。 公式:a R b,并且b R c,则a R b。 传递关系的具体表现:如先于、早于、晚于、相等、平均、大于、小雨等。 ②当事物a与事物b有关系R,事物b与事物c有关系R,而事物a与事物c没有关系R时,关系R就是反对称关系。 公式:a R b,并且b R c,则非a R b。 ③当事物a与事物b有关系R,事物b与事物c有关系R,而事物a与事物c是否有关系R不定时,关系R就是非传递关系。 如:a与b相交,b与c相交,则a与c可能相交也可能不相交。 公式: a R b,并且b R c,a R b真假不定。 命题的运算法则及其运用 1.命题的运算法则: 根据命题的基本运算和命题等值的概念,不难验证下列运算法则: ⑴交换律:A∨B=B∨A, A∧B=B∧A ⑵结合律: A∨(B∨C)=(A∨B)∨C; A∧(B∧C)=(A∧B)∧C ⑶分配率: A∨(B∧C)=(A∨B)∧(A∨C);A∧(B∨C)=(A∧B)∨(A∧C) ⑷等幂律: A∨A=A A∧A=A ⑸吸收率: A∨(A∧B)=A A∧(A∨B)=A ⑹双重否定率: = A ⑺同一律:若 I 为恒真命题,O为恒假命题,则 : A∨ I = I A∨O=A A∧ I =A A∧O=O 求补率:若 I 为恒真命题,O为恒假命题,则: A∨ = I A∧ =O ⑼德摩根率: ⑽ :(A→B)= ∨ B ⑾:(A?B)= (A→B)∧(B → A)=(A∧B)∨ A B A∨B A∧B T F 1 0 1 0 0 1 0 0 T F 0 1 1 0 0 0 1 1 F T 1 0 1 0 0 0 1 1 F T 0 1 0 1 1 0 1 1 关系(9)有: ∴有 A B A→B I 0 I I I I 0 0 0 0 0 I I I I 0 I 0 I I 关系⑽有: 命题运算的应用: ⑴研究命题的四种形式的等效关系的应用: 研究命题的四种形式: 原命题: A→B(若A则B) 逆命题: B→A 否命题: 逆否命题: 用运算法则来验证: ①(A → B)= ②(B → A)= 验证: ① ∵(A → B)= ∴ ①式成立。 ∵ (B → A)= ∴ ②式成立。 A B ? ? A→B B→A ? I I 0 0 I I I I I 0 0 I 0 I I 0 0 I I 0 I 0 0 I 0 0 I I I I I I 这四种命题的真值表为: 例:复数a + bi、c + di相等的条件是a=c, b=d。求两个负数不相等的条件。 解 表两个复数不相等,又∵

文档评论(0)

youshen + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档