Talk:Asymmetric relation

nonsymmetric
Someone redirected nonsymmetric relation to asymmetric. However, they deleted the article without including anything about nonsymmetric relations. So here is the deleted part. Apparently he thought it look wierd and deleted it. Way to go. That's a great way to do things. Gregbard 23:04, 29 August 2007 (UTC)

In logic, the nonsymmetrical or partimsymmetric relation is defined as:

(x)(y)(Rxy((x)(y)(Ryx)🇦🇩(x)(y)(~Ryx))

Examples
"x loves y", "is the brother of"

nonsymmetric
nonsymmetric relation and asymmetric relation is the same.

In Logic, the non-symmetric or the asymmetric relation occurs when, in the same context U (being U a finite set; and x and y elements of U), some couples  of R do exist and , too; there are also cases where  do exist but  does not. From the point of view of symmetry, any pattern is possible for a given couple. The non-symmetric property of xRy is defined taken advantage of NOR connector (either symmetric or antisymmetric but neither both nor none) as:

(x)(y)(xRy((x)(y)(yRx)NOR(x)(y)(~yRx))

Examples
"x loves y", "x is the brother of y"