Next: , Previous: , Up: Equivalence Rules   [Contents]

6.2.3 Association

A note to users, typically association is used as P ^ (Q ^ R) <=> (P ^ Q) ^ R. While Aris will allow you to prove that this is equivalent, association allows the removal of one pair of parentheses at a time. (P ^ Q) ^ (R ^ S) <=> P ^ Q ^ R ^ S is also valid in Aris, because association allows recursion, but only when removing several sets of parentheses or adding several sets of parentheses.