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