SP19:Lecture 5 Quantifiers and negation

This is a placeholder for the lecture 5 notes, which are under construction.

See the summary slides and board image

Key takeaways:

• We completed the table of proof techniques
• We discussed proof by contradiction
• We discussed nested quantifiers
  • everybody loves somebody vs. there's somebody that everybody loves
  • limits example: we can encode complicated ideas like "this function can get arbitrarily close to a given output by choosing a sufficiently close input" using nested quantified statements. Repeatedly applying standard proof techniques will get you through.