PHL1003: Natural Deduction - a worked example

This was the first video I recorded, and mainly was meant as a test of my hardware. So there's a budgie singing in the background, and a Youtube video of budgies (keeping her company), but I figure I might as well upload it anyway in case it's helpful to someone.

This video was recorded in March 2020 and is mainly intended for students in PHL1003 at Queen's University Belfast.