https://www.lexical-resource-semantics.de/wiki/index.php?action=history&feed=atom&title=ExerciseFOLSemantics-1b ExerciseFOLSemantics-1b - Revision history 2026-05-03T02:05:11Z Revision history for this page on the wiki MediaWiki 1.43.8 https://www.lexical-resource-semantics.de/wiki/index.php?title=ExerciseFOLSemantics-1b&diff=4665&oldid=prev Manfred: Created page with "'''blonde(walter)''' = ''true'' iff<br /> < I('''walter''') > &isin; I('''blonde''') iff <br /> < ''Walter'' > &isin; {< ''Alice'' >,< ''Lisa'' >}. Since this is not the case..." 2013-05-22T14:45:20Z <p>Created page with &quot;&#039;&#039;&#039;blonde(walter)&#039;&#039;&#039; = &#039;&#039;true&#039;&#039; iff&lt;br /&gt; &lt; I(&#039;&#039;&#039;walter&#039;&#039;&#039;) &gt; ∈ I(&#039;&#039;&#039;blonde&#039;&#039;&#039;) iff &lt;br /&gt; &lt; &#039;&#039;Walter&#039;&#039; &gt; ∈ {&lt; &#039;&#039;Alice&#039;&#039; &gt;,&lt; &#039;&#039;Lisa&#039;&#039; &gt;}. Since this is not the case...&quot;</p> <p><b>New page</b></p><div>&#039;&#039;&#039;blonde(walter)&#039;&#039;&#039; = &#039;&#039;true&#039;&#039; iff&lt;br /&gt;<br /> &lt; I(&#039;&#039;&#039;walter&#039;&#039;&#039;) &gt; &amp;isin; I(&#039;&#039;&#039;blonde&#039;&#039;&#039;) iff &lt;br /&gt;<br /> &lt; &#039;&#039;Walter&#039;&#039; &gt; &amp;isin; {&lt; &#039;&#039;Alice&#039;&#039; &gt;,&lt; &#039;&#039;Lisa&#039;&#039; &gt;}.<br /> <br /> Since this is not the case, the overall formula is false.<br /> <br /> ====Navigation====<br /> <br /> *[[Exercise_Semantics_of_Predicate_Logic|Link to the exercises on the computation of the interpretation]]<br /> * the material for [[Textbook-chapters#Chapter_2:_Predicate_logic|chapter 2]]<br /> * the overview over [[Textbook-chapters|all chapters]]</div> Manfred