[CSC 348 S20] Introduction to Predicate Logic
Channel: Iris Kohler
Date: 2020-04-13

We discuss predicate logic today. Our propositions have ascended to demigod status, though occasionally they grace our propositional gaze with quantified forms and the words "Be not afraid. This open statement is true for all possible values." Cool stuff.