solution of a formula

(x = 2y) ∧ (y = 2z) ∧ (z = 2x)


why is this x=6x ?
What does "^" mean in the context of this assignment?

Please show us what you have tried and exactly where you are stuck.

Please follow the rules of posting in this forum, as enunciated at:
READ BEFORE POSTING
Please share your work/thoughts about this problem.
 
(x = 2y) ∧ (y = 2z) ∧ (z = 2x)

why is this x=6x ?
I assume this means (x = 2y) and (y = 2z) and (z = 2x). But if I substitute one equation at a time in the first, I get x = 8x, not 6x. Who told you that?

On the other hand, that difference doesn't affect the solution. What is x?
 
Top