In this week's class, we introduced models in which to inpret the expressions of first order logic. Here is an exerpt from Lohnstein(2011) that explains the basics: