Semantics 2: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
|||
| 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 | == 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 mean'''exactly the same'''! Here is an example of a possible model in Carnap: | |||
[[File:Model-0.JPG | 1000px]] | [[File:Model-0.JPG | 1000px]] | ||
In the standard format, this model would look as follows: | |||
M = <D, F> such that | |||
Revision as of 08:33, 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.
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 look as follows:
M = <D, F> such that
