Argument
Associative property
Overview
In mathematics, the associative property is a property of some binary operations that rearranging the parentheses in an expression will not change the result. In propositional logic, associativity is a valid rule of replacement for expressions in logical proofs.
Within an expression containing two or more occurrences in a row of the same associative operator, the order in which the operations are performed does not matter as long as the sequence of the operands is not changed. That is (after rewriting the expression with parentheses and in infix notation if necessary), rearranging the parentheses in such an expression will not change its value. Consider the following equations:
(
2
+
3
)
+
4
=
2
+
(
3
+
4
)
=
9
2
×
(
3
×
4
)
=
(
2
×
3
)
×
4
=
24.
{\displaystyle {\begin{aligned}(2+3)+4&=2+(3+4)=9\,\\2\times (3\times 4)&=(2\times 3)\times 4=24.\end{aligned}}}
Even though the parentheses were rearranged on each line, the values of the expressions were not altered. This is always true when performing additions and multiplications of real numbers, since addition and multiplication of real numbers are associative operations.
Associativity is not the same as commutativity, which addresses whether the order of two operands affects the result. For example, the order does not matter in the multiplication of real numbers, that is, a × b = b × a, so we say that the multiplication of real numbers is a commutative operation. However, operations such as function composition and matrix multiplication are associative, but not (generally) commutative.
Associative operations are abundant in mathematics; in fact, many algebraic structures (such as semigroups and categories) explicitly require their binary operations to be associative. However, many important and interesting operations are non-associative; some examples include subtraction, exponentiation, and the vector cross product. In contrast to the theoretical properties of real numbers, the addition of floating point numbers in computer science is not associative, and the choice of how to associate an expression can have a significant effect on rounding error.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Possible passages
Found by search and not yet checked by a person; they may only mention the idea in passing.
This is nothing else than the necessity of abstract logic, which is the presupposition involved in the very fact of interrelated existence as disclosed in each immediate occasion of experience. The key to the pattern means this fact:—that from a select set of those general conditions, exemplified in any one and the same occasion, a pattern involving an infinite variety of other such conditions, also exemplified in…
Alfred North Whitehead, Science and the modern world
States what Associative property is.
In this case it might seem as though we were dealing with the particulars that have the property rather than with the property. The proposition 'two and two are four' is really a case in point, for this may be stated in the form 'any two and any other two are four', or 'any collection formed of two twos is a collection of four'. If we can show that such statements as this really deal only with universals, our…
Bertrand Russell, The Problems of Philosophy
Close in meaning to Associative property; the term itself is not named.
All types of series are capable of formal definition, and their properties can be deduced from the principles of symbolic logic by means of the Algebra of Relatives. The notion of a limit, which is fundamental in the greater part of higher mathematics, used to be defined by means of quantity, as a term to which the terms of some series approximate as nearly as we please. But nowadays the limit is defined quite…
Bertrand Russell, Mysticism and Logic and Other Essays
States what Associative property is.
Related ideas
- Springer Science+Business Media
- Logical equivalence
- Logical connective
- Propositional logic
- Function (mathematics)
- Mathematics
- Mathematician
- Real number
- Logical NOR
- Validity (logic)
- Logical biconditional
- Intersection (set theory)
- Symbol (formal)
- Curry–Howard correspondence
- Set (mathematics)
- Arithmetic
- Metalogic
- Well-formed formula
- Tautology (logic)
- Union (set theory)
- Complement (set theory)
- Complex number
- Category theory
- Currying
Place in the tradition
Part of Propositional logic.