Talk:Asymmetric relation

From Wikipedia, the free encyclopedia

Mathematics Portal

This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.

Mathematics rating:

Stub Class

Low Priority

Field: Foundations, logic, and set theory

Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments.
Please add to or update the comments to suggest improvements to the article.
Geometry guy 00:46, 22 May 2007 (UTC)

[edit] nonsymmetric

Someone redirected nonsymmetric relation to asymmetic. 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 $\to$ (( $\exists$ x)( $\exists$ y)(Ryx)&( $\exists$ x)( $\exists$ y)(~Ryx))