ExerciseFOLSemantics-1b
Jump to navigation
Jump to search
blonde(walter) = true iff
< I(walter) > ∈ I(blonde) iff
< Walter > ∈ {< Alice >,< Lisa >}.
Since this is not the case, the overall formula is false.
- Link to the exercises on the computation of the interpretation
- the material for chapter 2
- the overview over all chapters