How can I show $ (p \to r) \vee (q \to r) \equiv (p \vee q) \to r $ by Natural Deduction?

179 Views Asked by At

The real question I have been given is:
$(p \vee r), (\neg q \vee r)$
and I need to conclude
$ (p\to q) \to r $


$ (\neg p \to r) \vee (q \to r) \equiv (\neg p \vee q) \to r $

I have the left side of the equivalence but I cannot show right side with natural deduction. Please help?

2

There are 2 best solutions below

0
On BEST ANSWER

Hint. Use the following two tautologies.

$$ \begin{align} \Big(\;\varphi\implies\psi\;\Big)&\iff\Big(\;\neg\varphi\;\vee\;\psi\;\Big) \\[5pt] \Big(\;\varphi\;\vee\;\psi\;\Big)&\iff\Big(\;\psi\;\vee\;\varphi\;\Big) \end{align} $$

0
On

Hint: Suppose $P\implies Q$. Equivalently, we then have two cases to consider: $\neg P$ or $Q$. In both cases, you can prove $R$.