Semantics 2

Exercises on Models

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:

In order to practice the relationship between formulas and models, you are going to do 2 exercises. In the first exercise, you are supposed to create models that make a formula true and in the second one models that make the formula false.

You do the exercises on Carnap.

The models in Carnap are written in a different format than the one above, but they contains **exactly the same** information!