Quantifiers
Channel: Andrew Misseldine
Date: 2022-09-01

In this video, we discuss quantification of logical statements and introduce two quantifiers: the universal quantifier "for all" and the existential quantifier "at least one."

This is lecture 10 (part 2/3) of the lecture series offered by Dr. Andrew Misseldine for the course Math 3120 - Transition to Advanced Mathematics at Southern Utah University. A transcript of this lecture can be found at Dr. Misseldine's website or through his Google Drive at: 
https://drive.google.com/file/d/1YHwRArWozxsqm42adMId2scrpPvbBG9y/view

This lecture is based upon Sections 3.2, 2.5, and 2.9 of Book of Proof (https://www.people.vcu.edu/~rhammack/BookOfProof/) by Richard Hammack, from the corresponding sections of A Transition to Advanced Mathematics (https://math.byu.edu/~doud/Transition/) by Darrin Doud and Pace P. Nielsen, and from Dr. Misseldine's own notes. Please post any questions you might have below in the comment field and Dr. Misseldine (or other commenters) can answer them for you. Please also subscribe for further updates.