Section 3.4 Equivalent Statements

• Two statements are equivalent (<=>) if both statements have the same values in the answer columns of the truth tables.
• Show p->q and ~pVq are equivalent.
• Show ~(p^q) is not equivalent to ~p^~q
• DeMorgan's Laws
  • ~(p^q) <=> ~pV~q
  • ~(pVq) <=> ~p^~q
• p->q conditional
• q->p converse
• ~p->~q inverse
• ~q -> ~p contrapositive
  • p-> q <=> ~pVq
  • p-> q <=> ~q-> ~p
  • q-> p <=> ~p-> ~q
• Do: Page 147, 9, 10, 13, 15, 17, 19, 22, 23, 31,