Exercise Truth Tables: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
No edit summary
Line 6: Line 6:
{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 ''' ∧ '''q''')|¬('''p ''' ∧ '''q''')| (¬('''p ''' ∧ '''q''') ⊃ ('''p ∧ q''')
| '''p''' | '''q''' | ('''p ''' ∧ '''q''') | ¬('''p ''' ∧ '''q''')| (¬('''p ''' ∧ '''q''') ⊃ ('''p ∧ q'''))
+++-- (both '''p''' and '''q''' are true)
+++-- (both '''p''' and '''q''' are true)
+--++ ('''p''' is true, but not '''q''')
+--++ ('''p''' is true, but not '''q''')

Revision as of 15:40, 16 May 2013

1 Complete the truth table

p: true; q: true; p ∧ q:

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

p q (p q) ¬(p q) (¬(p q) ⊃ (p ∧ q))
(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)