Question

Show that the following argument with hypotheses on lines 1–2 and conclusion on line c is

Answer 1

Answer:

Step-by-step explanation:

$p \Rightarrow q \equiv (\neg p \vee q)$ [logical equivalence]

$\neg (q \vee r) \equiv (\neg q \wedge \neg r)$ [morgan laws]

if $(\neg q \wedge \neg r)$ is true, then $\neg q$ is true and $\neg r$ is too.

with $\neg q$ true, then $q$ is false [double denial]

In the first equivalence it follows that $\neg p$ is true [identity law]

Then it can be concluded that $\neg p$