ExerciseFOLSemantics-b: Difference between revisions

@@ Line 1: / Line 1: @@
-'''blonde(walter)''' = ''true'' iff<br />
-< I('''walter''') > &isin; I('''blonde''') iff <br />
-< ''Walter'' > &isin; {< ''Alice'' >,< ''Lisa'' >}.
-Since this is not the case, the overall formula is false.
-====Navigation====
-*[[Exercise_Semantics_of_Predicate_Logic|Link to the exercises on the computation of the interpretation]]
-* the material for [[Textbook-chapters#Chapter_2:_Predicate_logic|chapter 2]]
-* the overview over [[Textbook-chapters|all chapters]]

Latest revision as of 14:45, 22 May 2013