Exercise Truth Tables: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
(4 intermediate revisions by the same user not shown) | |||
Line 3: | Line 3: | ||
{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''' | <span style="color:white">zwisch</span>('''p ''' ∧ '''q''')<span style="color:white">zwisch</span> | <span style="color:white">zwisch</span> ¬('''p ''' ∧ '''q''')<span style="color:white">zwisch</span>|<span style="color:white">zwisch</span>('''q''' ⊃ ('''p ∧ q'''))<span style="color:white">zwisch</span> | | '''p''' | '''q''' | <span style="color:white">zwisch</span>('''p ''' ∧ '''q''')<span style="color:white">zwisch</span> | <span style="color:white">zwisch</span> ¬('''p ''' ∧ '''q''')<span style="color:white">zwisch</span>|<span style="color:white">zwisch</span>('''q''' ⊃ ¬ ('''p ∧ q'''))<span style="color:white">zwisch</span> | ||
+++- | +++-- (both '''p''' and '''q''' are true) | ||
+--++ ('''p''' is true, but not '''q''') | +--++ ('''p''' is true, but not '''q''') | ||
-+-+ | -+-++ ('''p''' is false, but '''q''' is true) | ||
---++ (both '''p''' and '''q''' are false) | ---++ (both '''p''' and '''q''' are false) | ||
</quiz> | </quiz> | ||
Line 16: | Line 16: | ||
|type="[]"} | |type="[]"} | ||
| '''p''' | '''q''' | '''r''' |<span style="color:white">zwisch</span>¬ r<span style="color:white">zwisch</span> | <span style="color:white">zwisch</span> ('''p ''' ∨ '''q''')<span style="color:white">zwisch</span>|<span style="color:white">zwisch</span>(('''p ∨ q''') ⊃ ¬r)<span style="color:white">zwisch</span> | | '''p''' | '''q''' | '''r''' |<span style="color:white">zwisch</span>¬ r<span style="color:white">zwisch</span> | <span style="color:white">zwisch</span> ('''p ''' ∨ '''q''')<span style="color:white">zwisch</span>|<span style="color:white">zwisch</span>(('''p ∨ q''') ⊃ ¬r)<span style="color:white">zwisch</span> | ||
+++-+- ( | +++-+- ('''p''', '''q''', and '''r''' are true) | ||
++-+++ ('''p''' | ++-+++ ('''p''' and '''q''' are true, '''r''' is false) | ||
+-+-+- ('''p''' and ''' | +-+-+- ('''p''' and '''r''' are true, '''q''' is false) | ||
+--+++ ('''p''' is true, '''q''' and '''r''' are false) | +--+++ ('''p''' is true, '''q''' and '''r''' are false) | ||
-++-+- ('''p''' is false, '''q''' and '''r''' are | -++-+- ('''p''' is false, '''q''' and '''r''' are true) | ||
-+-+-+ ('''p''' and '''r''' are false, '''q''' is true) | -+-+-+ ('''p''' and '''r''' are false, '''q''' is true) | ||
--+--+ ('''p''' and '''q''' are false, '''r''' is true) | --+--+ ('''p''' and '''q''' are false, '''r''' is true) | ||
---+-+ ('''p''', '''q''', and '''r''' are false) | ---+-+ ('''p''', '''q''', and '''r''' are false) | ||
</quiz> | </quiz> | ||
<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]] |