GNU Aris Manual: id

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

6.2.5 Idempotence

P ^ P ^ Q ^ R ^ R ^ R <=> P ^ Q ^ R
P v P v Q v R v R v R <=> P v Q v R

Idempotence claims that ‘I like blue and I like blue’ is the same as saying ‘I like blue’.