- 1、本文档共4页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 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)