PHL1003: Interpretations

An introduction to interpretations in FOL, our tool for showing an invalid argument is invalid.

0:00 The idea behind interpretations;
16:00 How to give an interpretation by means of a diagram, using the example argument.

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