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 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