Chart
Using the truth table prove the following logical equivalence.
p → (q → p) ≡ ∼ p → (p → q)
Advertisement Remove all ads
Solution
1 | 2 | 3 | 4 | 5 | 6 | 7 |
p | q | q → p | p → (q → p) | ∼ p | p → q | ∼ p → (p → q) |
T | T | T | T | F | T | T |
T | F | T | T | F | F | T |
F | T | F | T | T | T | T |
F | F | T | T | T | T | T |
The entries in columns 4 and 7 are identical.
∴ p → (q → p) ≡ ∼ p → (p → q)
Concept: Statement Patterns and Logical Equivalence
Is there an error in this question or solution?
APPEARS IN
Advertisement Remove all ads