Exercise Truth Tables: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
No edit summary
Line 2: Line 2:
{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''')|'''   q''' ⊃ ('''p ∧ q'''))
| '''p''' | '''q''' | formula: ('''p ''' ∧ '''q''') | ¬('''p ''' ∧ '''q''')|'''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 17:23, 16 May 2013

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

p q formula: (p q) ¬(p q)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)