https://www.lexical-resource-semantics.de/wiki/index.php?action=history&feed=atom&title=ExerciseFOLSemantics-1c ExerciseFOLSemantics-1c - Revision history 2026-05-06T14:59:08Z Revision history for this page on the wiki MediaWiki 1.43.8 https://www.lexical-resource-semantics.de/wiki/index.php?title=ExerciseFOLSemantics-1c&diff=4669&oldid=prev Manfred: /* Navigation */ 2013-05-22T15:03:58Z <p><span class="autocomment">Navigation</span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 15:03, 22 May 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l6">Line 6:</td> <td colspan="2" class="diff-lineno">Line 6:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>====Navigation====</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>====Navigation====</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* [[Exercise_Semantics_of_Predicate_Logic|Link to the exercises on the computation of the interpretation]]</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* the material for [[Textbook-chapters#Chapter_2:_Predicate_logic|chapter 2]]</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* the overview over [[Textbook-chapters|all chapters]]</ins></div></td></tr> <!-- diff cache key wikidb-lrswiki:diff:1.41:old-4667:rev-4669:php=table --> </table> Manfred https://www.lexical-resource-semantics.de/wiki/index.php?title=ExerciseFOLSemantics-1c&diff=4667&oldid=prev Manfred: Created page with "'''enjoy-watching-football-togehter(alice,tom)''' = ''true'' iff<br /> < I('''alice'''), I('''tom''') > &isin; I('''enjoy-watching-football-together''') iff<br /> < ''Alice'',..." 2013-05-22T15:02:45Z <p>Created page with &quot;&#039;&#039;&#039;enjoy-watching-football-togehter(alice,tom)&#039;&#039;&#039; = &#039;&#039;true&#039;&#039; iff&lt;br /&gt; &lt; I(&#039;&#039;&#039;alice&#039;&#039;&#039;), I(&#039;&#039;&#039;tom&#039;&#039;&#039;) &gt; ∈ I(&#039;&#039;&#039;enjoy-watching-football-together&#039;&#039;&#039;) iff&lt;br /&gt; &lt; &#039;&#039;Alice&#039;&#039;,...&quot;</p> <p><b>New page</b></p><div>&#039;&#039;&#039;enjoy-watching-football-togehter(alice,tom)&#039;&#039;&#039; = &#039;&#039;true&#039;&#039; iff&lt;br /&gt;<br /> &lt; I(&#039;&#039;&#039;alice&#039;&#039;&#039;), I(&#039;&#039;&#039;tom&#039;&#039;&#039;) &gt; &amp;isin; I(&#039;&#039;&#039;enjoy-watching-football-together&#039;&#039;&#039;) iff&lt;br /&gt;<br /> &lt; &#039;&#039;Alice&#039;&#039;, &#039;&#039;Tom&#039;&#039; &gt; &amp;isin; {&lt;&#039;&#039;Alice, Paul&#039;&#039;&gt;,&lt;&#039;&#039;Paul, Alice&#039;&#039;&gt;,&lt;&#039;&#039;Alice, Lisa&#039;&#039;&gt;,&lt;&#039;&#039;Lisa, Alice&#039;&#039;&gt;,&lt;&#039;&#039;Alice, Tom&#039;&#039;&gt;,&lt;&#039;&#039;Tom, Alice&#039;&#039;&gt;,&lt;&#039;&#039;Paul, Lisa&#039;&#039;&gt;,&lt;&#039;&#039;Lisa, Paul&#039;&#039;&gt;,&lt;&#039;&#039;Paul, Tom&#039;&#039;&gt;,&lt;&#039;&#039;Tom, Paul&#039;&#039;&gt;,&lt;&#039;&#039;Tom, Lisa&#039;&#039;&gt;,&lt;&#039;&#039;Lisa, Tom&#039;&#039;&gt;}<br /> <br /> Since this is the case, the formula is true.<br /> <br /> ====Navigation====</div> Manfred