CRAM Math Properties of Equations
this wiki
The typical algebraic object the student runs into on the street is the equation. The following Properties of Equations provide us with the definition of what equations are in the context of algebra and CRAM Math.
 There are other algebraic objects, such as inequalities, systems of equations and systems of inequalities. Their properties are also important for a complete understanding of algebra, but for now, we will concentrate on understanding equations first.
Reflexive Property of Equations
Any quantity a is equal to itself.
Symmetric Property of Equations
If the left hand expression a of an equation is equal to the right hand expression b, then b is equal to a.
Transitive Property of Equations
If a quantity a is equal to another quantity b, and the second quantity b is equal to a third quantity c, then the first quantity a is equal to the third quantity c.
Substitution Property of Equations
If a quantity a is equal to b, then b replaces every instance of a written in an expression E.
Additive Property of Equations
If a is equal to b, then the sum of a and a third quantity c is equal to the sum of b and c.
If a is equal to b, then the product of a and a third quantity c is equal to the product of b and c

 or
How to use
Remembering our rule of inference modus ponens, we may use a logical deduction to act as a rewrite rule, combining known facts (complex equation) into some new fact whenever we have an algebraic argument of the form A B; A; B.
Example:
 (given)
 (instance of Symmetric Property)
 (MP, 1, 2)
This is a trivial example, but it illustrates the concept of using the properties that are in the form as rewritten lines of an assigned problem, leading to the conclusion according to the particular property you happen to choose to use.
 Notice how the limited number of properties also limits the number of rewriting possibilities you have, guiding you from one step to another in making progress to a solution.