Exercise Truth Tables: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
No edit summary
 
(26 intermediate revisions by the same user not shown)
Line 1: Line 1:
<quiz display="simple">
<quiz display="simple">
{ Complete the truth table
| type="{}"}
'''p''': true; '''q''': true; '''p &and; q''': { true }
{Click on the boxes for which the truth value would be ''true''.
{Click on the boxes for which the truth value would be ''true''.
|type="[]"}
|type="[]"}
| '''p''' | '''q''' | ('''p ''' &and; '''q''') | &not;('''p ''' &and; '''q''')| (&not;('''p ''' &and; '''q''') &sup; ('''p &and; q'''))
| '''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>
+++-- (both '''p''' and '''q''' are true)
+++-- (both '''p''' and '''q''' are true)
+--++ ('''p''' is true, but not '''q''')
+--++ ('''p''' is true, but not '''q''')
Line 13: Line 10:
</quiz>
</quiz>


<!-- Notes for Manfred
 
 
<quiz display="simple">
<quiz display="simple">
{ Welche englischen Verbformen sind das?
{Click on the boxes for which the truth value would be ''true''.
| typ="[]" }
|type="[]"}
| Infinitiv | Präteritum | Partizip Perfekt
| '''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>
+-- say
+++-+- ('''p''', '''q''', and '''r''' are true)
-++ said
++-+++ ('''p''' and '''q''' are true, '''r''' is false)
+++ hit
+-+-+- ('''p''' and '''r''' are true, '''q''' is false)
+--+++ ('''p''' is true, '''q''' and '''r''' are false)
-++-+- ('''p''' is false, '''q''' and '''r''' are true)
-+-+-+ ('''p''' and '''r''' are false, '''q''' is true)
--+--+ ('''p''' and '''q''' are false, '''r''' is true)
---+-+ ('''p''', '''q''', and '''r''' are false)
</quiz>
</quiz>


{| class="wikitable"
|-
|'''p'''
|'''q'''
|'''p''' &and; '''q'''
|-
| 1
| 1
| 1
|}


-->
<hr />
Back to
* the [[Exercise-ch2|exercises for chapter 2]]
* the material for [[Textbook-chapters#Chapter_2:_Predicate_logic|chapter 2]]
* the overview over [[Textbook-chapters|all chapters]]

Latest revision as of 18:27, 30 May 2013

Click on the boxes for which the truth value would be true.

p q zwisch(p q)zwisch zwisch ¬(p q)zwischzwisch(q ⊃ ¬ (p ∧ q))zwisch
(both p and q are true)
(p is true, but not q)
(p is false, but q is true)
(both p and q are false)



Click on the boxes for which the truth value would be true.

p q r zwisch¬ rzwisch zwisch (p q)zwischzwisch((p ∨ q) ⊃ ¬r)zwisch
(p, q, and r are true)
(p and q are true, r is false)
(p and r are true, q is false)
(p is true, q and r are false)
(p is false, q and r are true)
(p and r are false, q is true)
(p and q are false, r is true)
(p, q, and r are false)



Back to