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
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)$