Logical constructions: for all, there exists, and implies

In this video, we give an introduction to the intuitive meaning of the for all, there exists, and implies statements that are used as the building blocks for almost all mathematical definitions, then we work to view each one as a tangible transaction, in an effort to better understand what each one logically means, how they are proven, and how to use them in proofs. Overall, the intent is to build a firm foundation as students move into more abstract mathematics courses.