Logic 1: Introduction

I give an idea of what mathematical logic is about using an analogy. I then give an overview of the material will be covered in the logic portion of the course, namely propositional and first order logic.