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


6.4.3 Boolean Dominance

Boolean Dominance claims that the conjunction of a sentence and a contradiction is logically equivalent to a contradiction. It also claims that the disjunction of a sentence and a tautology is logically equivalent to a tautology.