Prove: $\forall x ( R(x,x) \to R(a,a))$

Question

Nãoconsigo entender como se prova este argumento, podem me ajudar: $\forall x ( R(x,x) \to R(a,a))$

Translation: I don't understand how to prove that

$$\forall x ( R(x,x) \to R(a,a))$$

Could you help me?

Answer 1

What is true is that

$\forall x R(x,x) \to R(a,a) $.

Just substitute $a$ for $x$ in the left side.