ExerciseFOLSemantics-1b: Difference between revisions
Jump to navigation
Jump to search
(Created page with "'''blonde(walter)''' = ''true'' iff<br /> < I('''walter''') > ∈ I('''blonde''') iff <br /> < ''Walter'' > ∈ {< ''Alice'' >,< ''Lisa'' >}. Since this is not the case...") |
(No difference)
|
Latest revision as of 14:45, 22 May 2013
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