How can $(\lnot q \lor r)$ become $(p \to r)$ in this context?

62 Views Asked by At

Question

Show that $(p\lor q)\rightarrow r\equiv(p\rightarrow r)\land(p\rightarrow r)$

Given solution

enter image description here

While I was taught that $(p\rightarrow r)\equiv( \neg p\lor r)$ which can be easily proven by a truth table...

but how is the last 2 statements in the given solution be possible? How is it possible that $(\neg q\lor r)$ transformed into $(p\rightarrow r)$? Is this a typo?

1

There are 1 best solutions below

0
On BEST ANSWER

It's a typo. See here for the tableau of the intended statement

enter image description here