In class on Monday, we covered truth tables and logical implication, including the notions of contradiction and tautology. We used a handout of truth-tables and played a logic game (instructions and cards).

For Wednesday: (links below are coming shortly)

Fill in the truth table handout. Lines 3 and 4 (each a single table) are each a demonstration (proof, actually!) of a certain logical equivalence. Write down what the logical equivalence is, and then compare to the solutions.