The properties used to solve an equation are the properties of the relationship of equality, reflexivity, symmetry and transitivity and the properties of operations. These properties are as true in arithmetic and algebra as they are in propositional language.