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.

Models in Carnap

The models in Carnap are written in a different format from the standard format which you saw above, but the two notations meanexactly the same! Here is an example of a possible model in Carnap:

In the standard format, this model would be written as follows:

M = <D, F> such that

D = {0, 1}

F(M) = {0}

F(L) = {<0,1>}

F(p) = 0

F(m) = 1