Mathematical ReasoningHard

Question

The statement p → (q → p) is equivalent to

Options

A.p → (p → q)
B.p → (p ∨ q)
C.p → (p ∧ q)
D.p → (p ↔ q)

Solution

p → (q → p) = ~ p ∨ (q → p)
= ~ p ∨ (~q ∨ p) since p ∨ ~ p is always true
= ~ p ∨ p ∨ q = p → (p ∨ q).

Create a free account to view solution

View Solution Free
Topic: Mathematical Reasoning·Practice all Mathematical Reasoning questions

More Mathematical Reasoning Questions