Question:
Using the Laws of Logic and Rules of Inference, prove that $$(\neg(\neg p \lor q) \lor r) \Rightarrow (\neg p \lor (\neg q \lor r)).$$
I just don't know how to apply the Rules of Inference. I know how to use the Laws of Logic to prove logical equivalent, but have no idea about logical implication.
I'm not quite understand the Rules of Inference. But rules are listed in wikipedia, List of Rules of Inference. You can use all of them, i think. It looks like my text.
And I also typed the table of Laws of Logic:
Law of Double Negation:
$\neg\neg p \Leftrightarrow p$
DeMorgan's Laws:
$\neg(p \lor q) \Leftrightarrow \neg p \land \neg q,\neg(p \land q) \Leftrightarrow \neg p \lor \neg q$
Commutative Laws:
$p \lor q \Leftrightarrow q \lor p,p \land q \Leftrightarrow q \land p$
Associative Laws:
$p \lor (q \lor r) \Leftrightarrow (p \lor q) \lor r,p \land (q \land r) \Leftrightarrow (p \land q) \land r$
Distributive Laws:
$p \lor (q \land r) \Leftrightarrow (p \lor q) \land (p \lor r),p \land (q \lor r) \Leftrightarrow (p \land q) \lor (p \land r)$
Idempotent Laws:
$p \lor p \Leftrightarrow p,\quad p \land p \Leftrightarrow p$
Identity Laws:
$p \lor F \Leftrightarrow p,p \land T \Leftrightarrow p$
Inverse Laws:
$p \lor \neg p \Leftrightarrow T,p \land \neg p \Leftrightarrow F$
Domination Laws:
$p \lor T \Leftrightarrow T,p \land F \Leftrightarrow F$
Absorption Laws:
$p \lor (p \land q) \Leftrightarrow p,p \land (p \lor q) \Leftrightarrow p$
Best Answer
You should start supposing the contrary of the conclusion, that is, $$\neg(\neg p \vee (\neg q\vee r)))$$ Now, apply twice the De Morgan's law for $\neg(X\vee Y)$: $$p\wedge q \wedge\neg r$$ Eliminate $\wedge$ to obtain $\neg r$. Now, use the premise and eliminate $\vee$: $$\neg(\neg p\vee q)$$ Apply again De Morgan's law: $$p\wedge \neg q$$ Now, eleminate $\wedge$ in two previous formulae to get $q$ and $\neg q$. Insert $\wedge$ and you have the contradiction.