Dr. Ben Weng
  • Home
    • About >
      • Curriculum Vitae
  • The Sunshine Blog
  • Ben the Dean
    • Math Pathways
    • Messages from the Dean
    • The Flipped Classroom
    • Course Success
  • Ben the Teacher
    • Publications
    • Math Excursions for Liberal Arts
    • MATH 2220
    • Intro to Analysis
    • Calculus III
    • Discrete Math
    • Calculus II
    • Calculus I
  • Contact

MATH 301 Appendix C Nested Quantifiers
[Return to MATH 301 Fall 2016]

In this appendix students will learn the basics of how to prove or disprove quantified propositions. The focus should be on quantified propositions and nested quantifiers.  Further references can be found in, for example, Chapter 1 of Steven Lay's Analysis with an Introduction to Proof.

Video lessons.​ Watch the bold-faced lessons. If you have difficulties, go to previous ones.
  • ​[video]   [pdf]   1 Propositions and Operations
  • ​[video]   [pdf]   2 Evaluating Propositions
  • ​[video]   [pdf]   3 Conditional Propositions
  • ​[video]   [pdf]   4 Logical Equivalence
  • ​[video]   [pdf]   5 Quantified Propositions
  • ​[video]   [pdf]   6 Proving/Disproving Quantified Propositions
  • ​[video]   [pdf]   7 Nested Quantifiers
  • ​[video]   [pdf]   8 De Morgan's Laws
  • Home
    • About >
      • Curriculum Vitae
  • The Sunshine Blog
  • Ben the Dean
    • Math Pathways
    • Messages from the Dean
    • The Flipped Classroom
    • Course Success
  • Ben the Teacher
    • Publications
    • Math Excursions for Liberal Arts
    • MATH 2220
    • Intro to Analysis
    • Calculus III
    • Discrete Math
    • Calculus II
    • Calculus I
  • Contact