Next: , Previous: bn, Up: Boolean Rules


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.