Video 1: Introduction

Video 2: Course motivation

Video 3: A logic puzzle

Video 4: Syntax of propositional logic

Video 5: Inference rules for implication

Video 6: Inference rules for conjunction

Video 7: Natural deduction with implies

Video 8: Natural deduction with and and implies