Term
|
Definition
| property of additive inverse |
|
|
Term
| (-13x) + 13x = 13x + (-13x) |
|
Definition
| commutative property of addition |
|
|
Term
|
Definition
| reflexive property of equality |
|
|
Term
|
Definition
| identity property of multiplication |
|
|
Term
|
Definition
| property of multiplicative inverses |
|
|
Term
| -13x + 0 = -13x ---> -13x = 13x + 0 |
|
Definition
| symmetric property of equality |
|
|
Term
| -2(x + 1) = -2 * x + -2 * 1 |
|
Definition
|
|
Term
| (-13x + 0) + 13x = -13x + (0 + 13x) |
|
Definition
| associative property of addition |
|
|
Term
|
Definition
| multiplicative property of zero |
|
|
Term
|
Definition
| identity property of addition |
|
|
Term
|
Definition
| closure property of integers |
|
|
Term
| a=b AND c=d ---> a+c =b+d |
|
Definition
| transitive property of equality |
|
|
Term
| 8 * (3 * 4) = (8 * 3) * 4 |
|
Definition
| associative property of multiplication |
|
|