Associativity

Associativity is a replacement rule in sentential logic that says that P ^ (Q ^ R) is identical to (P ^ Q) ^ R. Likewise, P v (Q v R) is identical to (P v Q) v R. The only difference is which sentences are first associating with which other sentences. Hence, “associativity” is the name of this replacement rule.