Semantics 2

Exercises on Models

In this week's class, we introduced models in which to inpret the expressions of first order logic.