2 Matching Annotations
- May 2020
R is symmetric iff ∀∀\forall x ∀∀\forall y [xRy → yRx].
For any x and y in a set, if x is related to y then y must be related to x for the relation to be symmetric.
We have the set [1 2 3].
For a relation to be symmetric, if you have (1 2) you must have (2 1). Equally, (1 1) is symmetric.
- Jul 2019