Consider the following axioms:

1. There exist symbols A and B.

2. AA = B.

3. If X, Y are symbols, then XY is a symbol.

4. If X is a symbol, then BX = X.

5. For symbols X, Y, Z, if X = Y and Y = Z, then X = Z.

6. For symbols X, Y, Z, if Y = Z, then XY = XZ.

Using these axioms,

prove that for any symbol X, ABX = BAX.

Answer rating: 100% (QA)

To prove that for any symbol X ABX BAX we will use the given axioms to derive this equation ste... View the full answer