Multiplicative Property of Equality

This property allows us to multiply both sides of the equation by a value. More precisely:

If some equation is true, then it will stay true after we multiply a value to each side.

In Logicwalk, this property is actually an example of substitution, but since it is commonly labeled a property, we will adopt the same naming convention.

Here are some examples:

if 5 = x, then 5 ⋅ 9 = x ⋅ 9

if x = 7, then x ⋅ y = 7 ⋅ y

if m ⋅ n = 2, then (m ⋅ n) ⋅ (j ⋅ k) = 2 ⋅ (j ⋅ k)

Comments

Please log in to add comments