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