Connex (logic)

From Wikipedia, the free encyclopedia

 This article does not cite any references or sources. (September 2007)
Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed.
The introduction to this article provides insufficient context for those unfamiliar with the subject.
Please help improve the article with a good introductory style.

In logic, a connex relation is:

(x)(y)(Pxy \lor Pyx)

\lnot(p\land\lnot p)  This logic-related article is a stub. You can help by expanding it.