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...") |
(Blanked the page) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||