(idea) by Tem42 Sun Nov 14 1999 at 9:01:24
(Assoc) for short.
A rule of propositional logic. To demonstrate:

{P^(Q^R)} = {(P^Q)^R)
And
{P*(Q*R}) = {(P*Q}*R)

See also: Everything Logic Symbols, Disjuctive Syllogism, Double Negation, Tautology, DeMorgan's Rule
del.icio.us Facebook Digg StumbleUpon Reddit (I like it!)
(idea) by ariels Tue Nov 21 2000 at 7:48:15

A property some binary operations possess. The operation @ is associative if for all a,b,c


a@(b@c) = (a@b)@c

Examples:


Non examples:

These all are not associative.


Note that the operation @ must have the type AxA -> A. So it is a categorical error to suggest that relations might be associative.

del.icio.us Facebook Digg StumbleUpon Reddit (I like it!)
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.