Advertisements
Advertisements
Question
Using the truth table prove the following logical equivalence.
p → (q → p) ≡ ∼ p → (p → q)
Chart
Advertisements
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)
shaalaa.com
Is there an error in this question or solution?
