binary relation

References

binary relation

logic and mathematics

Also known as: dyadic relation

Written by

The Information Architects of Encyclopaedia Britannica

Learn about this topic in these articles:

formal logic
Classification of dyadic relations
Consider the closed wff (∀x)(∀y)(ϕxy ⊃ ϕyx), which means that, whenever the relation ϕ holds between one object and a second, it also holds between that second object and the first. This expression is not valid, since it is true for some relations…
Read More
Consider the closed wff (∀x)(∀y)(ϕxy ⊃ ϕyx), which means that, whenever the relation ϕ holds between one object and a second, it also holds between that second object and the first. This expression is not valid, since it is true for some relations…
Read More