https://www.lexical-resource-semantics.de/wiki/index.php?action=history&feed=atom&title=Semantics_1_%28Sailer%29%3A_Week_5Semantics 1 (Sailer): Week 5 - Revision history2026-05-23T04:39:08ZRevision history for this page on the wikiMediaWiki 1.43.8https://www.lexical-resource-semantics.de/wiki/index.php?title=Semantics_1_(Sailer):_Week_5&diff=6607&oldid=prevManfred: /* Preparation for week 5 */2016-05-24T09:00:56Z<p><span class="autocomment">Preparation for week 5</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 09:00, 24 May 2016</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l53">Line 53:</td>
<td colspan="2" class="diff-lineno">Line 53:</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><hr /></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><hr /></div></td></tr>
<tr><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: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Back to the [[Semantics 1 (Sailer)<del style="font-weight: bold; text-decoration: none;">, SoSe 2016</del>|course overview]].</div></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>Back to the [[Semantics 1<ins style="font-weight: bold; text-decoration: none;">, SoSe 2016 </ins>(Sailer)|course overview]].</div></td></tr>
<!-- diff cache key wikidb-lrswiki:diff:1.41:old-6606:rev-6607:php=table -->
</table>Manfredhttps://www.lexical-resource-semantics.de/wiki/index.php?title=Semantics_1_(Sailer):_Week_5&diff=6606&oldid=prevManfred: Created page with " == Formulae with more than one connective == The video shows how the truth value of a more complex formula can be computed. The example contains two connectives: '''kill(ma..."2016-05-24T09:00:13Z<p>Created page with " == Formulae with more than one connective == The video shows how the truth value of a more complex formula can be computed. The example contains two connectives: '''kill(ma..."</p>
<p><b>New page</b></p><div><br />
== Formulae with more than one connective ==<br />
<br />
The video shows how the truth value of a more complex formula can be computed. The example contains two connectives:<br />
<br />
'''kill(malcom,lady-macbeth) &or; &not;thane(macbeth)'''<br />
<br />
The video shows two different methods: top down and bottom up.<br />
<br />
<embedvideo service="youtube" dimensions="400">http://youtu.be/C1rjU104R54</embedvideo><br />
<br />
== Truth tables ==<br />
<br />
(The following exercises have been copied here from the page on [[Exercise_Truth_Tables|exercises for truth tables]].)<br />
<br />
<quiz display="simple"><br />
{Click on the boxes for which the truth value would be ''true''.<br />
|type="[]"}<br />
| '''p''' | '''q''' | <span style="color:white">zwisch</span>('''p ''' &and; '''q''')<span style="color:white">zwisch</span> | <span style="color:white">zwisch</span> &not;('''p ''' &and; '''q''')<span style="color:white">zwisch</span>|<span style="color:white">zwisch</span>('''q''' &sup; &not; ('''p &and; q'''))<span style="color:white">zwisch</span><br />
+++-- (both '''p''' and '''q''' are true)<br />
+--++ ('''p''' is true, but not '''q''')<br />
-+-++ ('''p''' is false, but '''q''' is true)<br />
---++ (both '''p''' and '''q''' are false)<br />
</quiz><br />
<br />
<quiz display="simple"><br />
{Click on the boxes for which the truth value would be ''true''.<br />
|type="[]"}<br />
| '''p''' | '''q''' | '''r''' |<span style="color:white">zwisch</span>&not; r<span style="color:white">zwisch</span> | <span style="color:white">zwisch</span> ('''p ''' &or; '''q''')<span style="color:white">zwisch</span>|<span style="color:white">zwisch</span>(('''p &or; q''') &sup; &not;r)<span style="color:white">zwisch</span><br />
+++-+- ('''p''', '''q''', and '''r''' are true)<br />
++-+++ ('''p''' and '''q''' are true, '''r''' is false)<br />
+-+-+- ('''p''' and '''r''' are true, '''q''' is false)<br />
+--+++ ('''p''' is true, '''q''' and '''r''' are false)<br />
-++-+- ('''p''' is false, '''q''' and '''r''' are true)<br />
-+-+-+ ('''p''' and '''r''' are false, '''q''' is true)<br />
--+--+ ('''p''' and '''q''' are false, '''r''' is true)<br />
---+-+ ('''p''', '''q''', and '''r''' are false)<br />
</quiz><br />
<br />
== Truth tables for complex formulae ==<br />
<br />
Truth tables are also useful to compute the truth value of complex formulae.<br />
This is shown in the following podcast, created by [[User:Lisa|Lisa Günthner]].<br />
<br />
<embedvideo service="youtube" dimensions="400">http://www.youtube.com/watch?v=ZWdltj5Mqdc</embedvideo><br />
<br />
== Preparation for week 5 ==<br />
* Read Levine et al (in prep.), Chapter 2, section 2.<br />
* Using your model from last week, <br />
:* Give 1 formula with ⊃. <br />
:* Give 1 formule with 2 different connectives (both distinct from ⊃)<br />
* Provide the step-by-step computation of the truth of your 2 formulae.<br />
<br />
<hr /><br />
Back to the [[Semantics 1 (Sailer), SoSe 2016|course overview]].</div>Manfred