Semantics 2: Difference between revisions
Jump to navigation
Jump to search
| Line 4: | Line 4: | ||
== Exercises on Models == | == Exercises on Models == | ||
In this week's class, we introduced models in which to inpret the expressions of first order logic. | 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: | ||
[[File:Lohnstein-Models-1JPG.JPG | | [[File:Lohnstein-Models-1JPG.JPG | 600px]] | ||
[[File:Lohnstein-Models-2.JPG | | [[File:Lohnstein-Models-2.JPG | 600px]] | ||
Revision as of 08:20, 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:
