Using truth table examine whether the following statement pattern is tautology, contradiction or contingency `(p^^~q) harr (p->q)`
Advertisement Remove all ads
Solution
|
`p` |
`q` |
`~q` |
`p^^~q` |
`p->q` |
`(p^^~q)harr(p->q)` |
| T | T | F | F | T | F |
| T | F | T | T | F | F |
| F | T | F | F | T | F |
| F | F | T | F | T | F |
All the entries in the last column of the above truth table are F.
`(p^^~q) harr (p->q)` is is a contradiction
Is there an error in this question or solution?
Advertisement Remove all ads
APPEARS IN
Advertisement Remove all ads
Advertisement Remove all ads
