Read: Continue with Section 2.2.
Turn in: 2.24, 2.26, 2.27, 2.28, 2.30
- Make sure to read the paragraph before Theorem 2.25 before starting 2.26. You can prove that two (compound) propositions are logically equivalent by constructing truth tables for each one and showing that they are the same. But, make sure to add a few words like “since the columns for $\neg(A\wedge B)$ and $\neg A \vee \neg B$ are identical…”
- On 2.28, start by writing each statement in the form $A\vee B$ or in the form $A\wedge B$ for appropriate choice of propositions $A$ and $B$. Then negate and simplify using De Morgan’s Law (Problems 2.26 and 2.27).
- Please make sure to read 2.29 even though I’m not asking you to prove. The result is important for proof tecniques later.
Extra practice: 2.25, 2.29
