Equivalent Statements

• Just a bit of cleanup from last time.
  • A self contradiction is a compound statement that is always false.
  • A tautology is a compound statement that is always true.
  • An implication is a conditional statement that is a tautology.
• Two statements, p and q, are equivalent (p <=>) if the statements have exactly the same truth values in the answer columns of the truth table.
  • Show p→q is equivalent to ~p∨q
  • Show (p∧q)' is not equivalent to ~p ∧ ~q
  • Show (p ∨q)' is not equivalent to ~p ∨ ~q
  • Show (p∧q)' is equivalent to ~p ∨ ~q
• What is the negation of:
  • I live in Edinboro and I like snow
  • Today is not Tuesday and logic is fun.
• Use p→q is equivalent to ~p∨q to restate:
  • Exercises 35-40