0
$\begingroup$

Let $A=\{a,b,c,d,e,f\}$ and let $R\subseteq A\times A$ be a relation which is symmetric and transitive. You have been given some partial information about the relation which is that the following are known to be true for the relation: $$R(e,a),\quad R(b,f),\quad R(e,c),\quad R(d,a),\quad R(b,a)\;.$$ Given all the above information does $R(c,f)$ hold or not? Explain your answer using the information you have been provided with above.

Hey i have the questions

Could someone please tell me if this is correct

$R(b,f)$ holds therefore $R(c,b)$ holds
$R(e,c)$ holds, $R(b,a)$ holds and $R(a,e)$ holds therefore $R(b,e)$ holds
therefore $R(c,f)$ holds

$\endgroup$
4
  • 1
    $\begingroup$ Is it safe to click that link? $\endgroup$ Dec 2, 2013 at 22:15
  • $\begingroup$ yes, it's just a vvcap....snapshot site $\endgroup$
    – harry
    Dec 2, 2013 at 22:15
  • $\begingroup$ You can upload images to stackexchange, although it would be preperafble to transcribe it, it helps others and isn't that hard. $\endgroup$
    – Asinomás
    Dec 2, 2013 at 22:17
  • $\begingroup$ How are you getting from $R(b,f)$ to $R(c,b)$? Your steps don't seem to be in order. $\endgroup$ Dec 2, 2013 at 22:19

2 Answers 2

2
$\begingroup$

Judging by the rest of your answer, I suspect that $R(c,b)$ in the first line is a typo for $R(f,b)$. If so, you have many of the necessary pieces, but you’ve not explained how they fit together, and some of your steps don’t make sense. Here’s how I would do it if I keep as much as possible of what you’ve written.

$R(e,a)$ holds, so by symmetry $R(a,e)$ holds. $R(b,a)$ also holds, so $R(b,e)$ holds by transitivity. $R(e,c)$ holds, so by transitivity $R(b,c)$ holds, and by symmetry $R(c,b)$ holds. Finally, $R(b,f)$ holds, so $R(c,f)$ holds by transitivity.

$\endgroup$
1
$\begingroup$

first note we have simmetry, so the order of the elements in the pairs matters not.

using this we have:

$R(f,b)$ and $R(b,a) \rightarrow R(f,a)$.

$R(a,e)$ and $R(e,c) \rightarrow R(a,c)$

using this we have

$R(f,a)$ and R(a,c)$\rightarrow R(fc)$

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .