逻辑思维中的反对称关系举例具体如下:

1、已知“所有动物都能行走”为真,可以推出“所有动物都不能行走”为假,但是从“所有动物都能行走”为假,却不能推出“所有动物都不能行走”的真假。

2、已知“有的动物能行走”为假,可以推出"有的动物不能行走”为真,但是从“有的动物能行走”为真,却不能推出“有动物不能行走”的真假。

关于逻辑思维中的反对称关系:

1、反对关系分为上反对关系和下反对关系,上反对关系不能同真,可以同假,下反对关系不能同假,可以同真。

<

反对称关系的例子

设X={1,2,3},X上的两个二元关系为R1={(1,1),(1,2),(2,3),(3,1)}, R2={(1,2),(2,1),(2,3),(3,1)}。R1是反对称的,R2则不然。 实数集上的小于等于关系≤是反对称的,如果有两个实数x,y,x≤y且y≤x,则必有x=y。 设X为集合,则X的幂集P(X)上的子集关系⊆是反对称的:设A, B为P(X)的元素,即A, B是X的子集。若A⊆B 且B⊆A,则A=B。 实数的严格小于关系<是反对称的;实际上 a <b 且 b <a 是不可能的,因此严格不等的反对称性是一种空虚的真(vacuously true)。 任意集合上的空关系(empty relation),即关系为空集时。 整数上的整除关系|不是反对称的(因为1|-1,-1|1,但1≠-1)。如果限制在自然数范围内则是反对称的。 整数上的模n同余是对称的,但不是反对称的。

逻辑学 关系的传递性和对称性

一、关系的对称性:

根据甲对乙有某种关系,而乙对甲是否也有同样的关系,可以分为三类:对称关系、反对称关系和非对称关系

1、在甲和乙之间,如果甲对乙有某种关系,而乙对甲也有同样的关系,那么,甲和乙之间的这种关系就是对称关系.

例如:

赵虎和孙大立是同乡.

1米等于3尺.

常见的对称关系还有:相似,相同,邻居,对立,兄弟,同学,夫妻,等等.

2、在甲和乙之间,如果甲对乙有某种关系,而乙对甲一定没有同样的关系,那么,甲和乙之间的这种关系就是反对称关系.

例如:

小王比小周大两岁.

绵阳在成都之北.

常见的反对称关系还有:小于,大于,之上,之下,在前,在后,是父亲,等等.

3、在甲和乙之间,如果甲对乙有某种关系,而乙对甲可能有同样的关系,也可能没有同样的关系,那么,甲和乙之间的这种关系就是非对称关系.

例如:

刘婷认识吴小萍.

小郑喜欢小江.

常见的非对称关系还有:佩服,相信,帮助,支援,爱恋,等等.

二、关系的传递性:

在对象甲、对象乙和对象丙之间,如果甲对乙有某种关系,乙对丙是否也有这种关系,根据甲对丙是否也有这种关系,可以分为三类:传递关系、反传递关系和非传递关系

1、在对象甲、对象乙和对象丙之间,如果甲对乙有某种关系,乙对丙也有这种关系,并且甲对丙也有这种关系,那么,这种关系就是传递关系.

例如:

在行政区划上,省大于市,市大于县.

今天上课,小朱比小王早到,而小王又比小韩早到.

除了“大于”和“早到”,我们在日常生活中接触到的“小于”、“在前”、“在后”、“晚于”、“早于”、“相等”、“平行”等等,都属于传递关系.

2、在对象甲、对象乙和对象丙之间,如果甲对乙有某种关系,乙对丙也有这种关系,但是甲对丙肯定没有这种关系,那么,这种关系就是反传递关系.

例如:

甲是乙的父亲,乙是丙的父亲.

小王比小周大两岁,小周比小吴大两岁.

3、在对象甲、对象乙和对象丙之间,如果甲对乙有某种关系,乙对丙也有这种关系,但是甲对丙可能有这种关系、也可能没有这种关系,那么,这种关系就是非传递关系.

例如:

刘婷认识吴小萍,吴小萍认识左德刚.

小郑喜欢小江,小江喜欢大刘.

成都市与德阳市相邻,德阳市与绵阳市相邻.

离散数学中的对称关系与反对称关系怎么区别啊。。。。。。最好能举几个例子

R是A上的对称关系⇔∀a∀b(a∈A∧b∈A∧aRb→bRa)。当A上的R是对称关系时,称R在A上是对称的,或称A上的关系R有对称性。

例如,数集中的关系I={〈x,y〉|x与y相等},N={〈x,y〉|x与y不等}都是对称关系;而L={〈x,y〉|x小于y}不是对称关系,当A上的关系R是对称的时,它的补关系与逆关系都是对称的。

具体回答如图:

扩展资料

对称性关系推理可以用如下的公式来表示:R(a,b)→R(b,a)。或者是:aRb,所以, bRa。在这里,R代表对称性关系,a和b分别为两类对象。 对称性关系推理的规则:如果判断R(a,b)真,那么,R(b,a)也真。

按照定义,偏序和全序都是反对称的。

注意,反对称关系不是对称关系(aRb → bRa)的反义。有些关系既是对称的又是反对称的,比如"等于"。有些关系既不是对称的也不是反对称的,比如上面说的整除例子。

非对称性(aRb∧~bRa)才算是对称关系的反义。事实上,非对称关系都符合反对称性,更准确地说,集合 X 上的二元关系 R 是反对称的,当且仅当对于X里的任意元素a, b,若a R-关系于 b 且 b R-关系于 a,则a=b。

参考资料来源:百度百科-对称关系

参考资料来源:百度百科-反对称关系