Condition making a relation reflexive The relation R = <mrow class="MJX-TeXAtom-ORD">

minwaardekn

minwaardekn

Answered question

2022-06-08

Condition making a relation reflexive
The relation R = ( a , b ) a = b   or   a = b [ a , b Z ] is reflexive, as per Discrete Mathematics and Its Applications 8th Edition by Kenneth Rosen.
Is this because a = b short-circuits the evaluation of a = b or a = b (making it always true), or is there some other reason why the relation is reflexive?

Answer & Explanation

kuncwadi17

kuncwadi17

Beginner2022-06-09Added 16 answers

Step 1
To see reflexivity, note that " a = a or a = a" is always true, because of the first bit - either one of these statements needs to be true, after all, not both. So you could think of the first statement as "short-circuiting" the reflexivity statement, since that a = a statement is not necessary for it.
Step 2
If it makes you more comfortable, perhaps think of R as being all (a,b) for a , b Z where | a | = | b | .

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?