ExerciseFOLSemantics-1b

From Lexical Resource Semantics
Revision as of 14:45, 22 May 2013 by Manfred (talk | contribs) (Created page with "'''blonde(walter)''' = ''true'' iff<br /> < I('''walter''') > ∈ I('''blonde''') iff <br /> < ''Walter'' > ∈ {< ''Alice'' >,< ''Lisa'' >}. Since this is not the case...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.

Navigation

Retrieved from "http:///wiki/index.php?title=ExerciseFOLSemantics-1b&oldid=4665"