Next: bd, Previous: bi, Up: Boolean Rules [Contents]
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.