Next: co, Previous: dm, Up: Equivalence Rules [Contents]
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.