PHL1003: Interpretations - Chapter 28, Exercise C

In this video, I walk you through how to answer Exercise C from Chapter 28 "Truth in FOL" from the textbook (_forall x, Calgary Version_). The exercise gives you an interpretation and asks whether a bunch of sentences are true or false in the interpretation.

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