GNU Aris Manual: dn

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

6.2.8 Double Negation

~~P <=> P

You probably learned in english class that saying ‘I would not like to disagree’ is the same thing as saying ‘I would like to agree’. That’s what double negation claims.