Example 1 — Test a property
EasyProblem
On the set of integers with subtraction, is the operation associative: does ?
Solution
-
This is a structural question about a property of an operation, not a computation.
Name the structure before touching arithmetic — that is what makes the right method obvious.
-
Ask the recognition question: Is the question about the properties of an operation, rather than computing a number?
If the answer is yes, the concept applies; the cue, not a keyword, decides the method.
-
Test with values: let .
The rule is chosen only after the structure matches, so the steps mean something.
-
but , and .
Keep units, shape, or answer form tied to the story so the work does not become symbol pushing.
-
Check the answer against the original question.
It should fit the mental model — rules first, numbers later. If it does not, revisit the recognition step before changing the arithmetic.
Answer
No, subtraction is not associative
Takeaway: Structure asks whether a property holds, settled by reasoning/counterexample, not arithmetic alone.