Sum
Determine whether the following statement pattern is a tautology, contradiction or contingency:
[(p ∧ (p → q)] → q
Advertisement Remove all ads
Solution
| p | q | p → q | p ∧ (p → q) | [p ∧ (p → q)] → q |
| T | T | T | T | T |
| T | F | F | F | T |
| F | T | T | F | T |
| F | F | T | F | T |
All the entries in the last column of the above truth table are T.
∴ [(p ∧ (p → q)] → q is a tautology.
Concept: Statement Patterns and Logical Equivalence
Is there an error in this question or solution?
APPEARS IN
Advertisement Remove all ads
