Question 2: Let R be a relation in a set A, and derive from R another relation S in A as follows:
x S y if (x R y xor y R x).
Recall that xor, exclusive or, is defined as: p xor q is true if (p is true and q is false, or p is false and q is true).
a) Prove that S is irreflexive.
b) Prove that S is symmetric.
Comments
Leave a comment