Semantics 2: Difference between revisions
Jump to navigation
Jump to search
| Line 15: | Line 15: | ||
You do the exercises on [https://carnap.io/ Carnap]. | You do the exercises on [https://carnap.io/ Carnap]. | ||
The models in Carnap are written in a different format than the one above, but they contain '''exactly the same''' information! | The models in Carnap are written in a different format than the one above, but they contain '''exactly the same''' information! Here is an example of a possible model in Carnap: | ||
[[File:Model-0.JPG | 1000px]] | |||
| Line 21: | Line 27: | ||
[[File:Model-at-the-outset.JPG | 1000px]] | [[File:Model-at-the-outset.JPG | 1000px]] | ||
Revision as of 08:26, 28 January 2021
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 contain exactly the same information! Here is an example of a possible model in Carnap:
