Boolean Algebra
Inference Rules
Modus Ponens:
Modus Tollens:
Or Introduction:
And Introduction:
And Elimination:
Material Implication:
De Morgan's Laws
The negation of a disjunction is the conjunction of negations.
Let and be boolean variables. We want to show that
First, assume is true. Then, is false. If were true, then we'd have a contradiction, and similarly with so both and must be false, that is, and most both be true, and
Now, assume Here, both and must be true, so both and must be false. Therefore, is false, so and we have shown
The negation of a conjunction is the disjunction of negations.
Let and be boolean variables. We want to show that
First, assume is true. Then, both must be false, so either must be false or must be false, or both must be false. If is false, then is true, and so is The same is true if is false, so
Now, assume is true. Then, either or must be true, so either or or both must be false. Now, if is false, then is false. The same holds if is false, and thus is true. Therefore and we have shown