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$