ExerciseFOLSemantics-b: 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)
|
Revision as of 14:43, 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.