Propositional Logic- Prove sentences (a) and (b) entail (c) I'm given three sentences:
(a) If Frodo destroys the ring, then the world will be saved.
(b) Gollum stole the ring from Frodo or Frodo destroyed the ring.
(c) The world will be saved or Gollum stole the ring from Frodo.
I have to prove that sentences (a) and (b) jointly entail (c). I'm not quite sure how to do this.

I started by assigning the following variables:
$p$ = Frodo destroys the ring
$q$ = The world will be saved
$r$ = Gollum stole the ring. 

Sentence (a) translates to: ($p \rightarrow q$)
Sentence (b) translates to: ($r \lor p$)
Sentence (c) translates to: ($q \lor r$)

I wrote up a truth table for all three variables, and then for each statement. I tried making the truth table for the statement $( p \rightarrow q) \land (r \lor p)$ equivalent to the one for $(q \lor r)$, but was not able to. Any ideas what I am doing wrong?   
 A: Entailment means: Whenever $p\to q$ and $p\vee r$ are both true, then $q\vee r$ is also true.
Your truth table just needs to show that every row that has a truth in both those columns also has a truth in the later column -- not necessarily the other way around.
$$\begin{array}{|c:c:c|c:c|c:c|l|} \hline
P & Q & R & P\to Q & R\vee P & (P\to Q) \wedge (R\vee P) & R\vee Q & \text{test: second last column is...}
\\\hline
\top & \top & \top & \top & \top & \top & \top & \checkmark\text{(true so must check that the last column also is)}
\\
\top & \top & \color{red}\bot & \top & \top & \top & \top  & \checkmark\text{(true so must check that the last column also is)}
\\
\top & \color{red}\bot & \top & \color{red}\bot & \top & \color{red}\bot & \top  & \checkmark \text{(false so don't care)}
\\  
\top & \color{red}\bot & \color{red}\bot & \color{red}\bot & \top & \color{red}\bot & \color{red}\bot& \checkmark \text{(false so don't care)}
\\
\vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots
\\ \hline
\end{array}$$
A: As others have pointed out, what you're doing wrong in your truth table calculations is trying to prove equivalence. You only need to prove that a) and b) imply c). You can't prove that c) implies a) and c) — it doesn't! (In fact, c) doesn't imply either of a) or b): there's an assignment of values to $p,q,r$ that makes c) true but a) false, and another that makes c) true but b) false.)
You can also prove the result deductively. The following is a tautology, and a theorem of whatever proof system for propositional logic you want to use (natural deduction, a Hilbert style axiomatic system, truth tables, ...):
$$
((p\to q)\land (p\lor r))\to(q\lor r).\tag{*}
$$
If you construct the truth table for (*), the value of the formula will be T in every row. 
The antecedent of (*) is exactly the conjunction of your premises a) and b), so by modus ponens we can conclude:
$$
(q\lor r),
$$
which is what you wanted to prove.
A: As hinted at in the comments, your proving the wrong thing. To prove the statement $A\rightarrow B$, make a truth table for both, A and B under all the options, and then compute the truth value of $A\rightarrow B$. If it's all True, then the implication holds.
