Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$vx = z$

$zb = y$

Which means $vxb = y$

Does this build on an axiom (and which)? I have to prove a statement using only some specific axioms. But I don't know if I'm allowed to do that.

share|cite|improve this question
It would be very useful to the question to say which axioms you are allowed to use, and what is the context of the multiplication. – Asaf Karagila Sep 20 '11 at 16:25
up vote 2 down vote accepted


  1. Juxtaposition represents the result of performing a binary function written in infix notation; and
  2. This binary function is associative (so that $(ab)c = a(bc)$ for all $a$, $b$, and $c$;

then, yes. If $vx=z$ and $zb=y$, then $y = zb = (vx)b = vxb$. You are using the fact that the product is a function, so evaluating at $z$ and $b$ is the same as evaluating at $vx$ and $b$ (since $vx=z$; this is sometimes called the "Principle of Substitution", which is an axiom of the underlying logic). So $zb= (vx)b$. And because the operation is assumed to be associative, then the two possible meanings of "$vxb$" (namely, $(vx)b$ and $v(xb)$) have the same value, so we do not need to distinguish between them.

In particular, if these are, for instance, real numbers and juxtaposition is the usual multiplication of real numbers, then the implication is valid.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.