Term
| FORMAL DEFINITION OF ASSOCIATIVE PROPERTY OF ADDITION (USE VARIABLES) |
|
Definition
| (A + B) + C = A + (B + C) |
|
|
Term
| FORMAL DEFINITION OF COMMUTATIVE PROPERTY OF MULTIPLICATION (USE VARIABLES) |
|
Definition
|
|
Term
| FORMAL DEFINITION OF IDENTITY PROPERTY OF ADDITION (USE VARIABLES) |
|
Definition
|
|
Term
| FORMAL DEFINITION OF COMMUTATIVE PROPERTY OF ADDITION (USE VARIABLES) |
|
Definition
|
|
Term
| FORMAL DEFINITION OF THE ASSOCIATIVE PROPERTY OF MULTIPLICATION (USE VARIABLES) |
|
Definition
| (A * B) * C = A * (B * C) |
|
|
Term
| FORMAL DEFINITION OF IDENTITY PROPERTY OF MULTIPLICATION (USE VARIABLES) |
|
Definition
|
|