GNU Aris Manual: bn

Next: bd, Previous: bi, Up: Boolean Rules [Contents]

6.4.2 Boolean Negation

A ^ ~A <=> !
A v ~A <=> T

Boolean Negation claims that the conjunction of a setentence and its contradiction is a contradiction, and the disjunction of a sentence and its negation is a tautology.