Next: , Previous: bi, Up: Boolean Rules


6.4.2 Boolean Negation

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.