Constructing Logical Proofs -- Only one premise? Alright, so I've been staring at this problem for two hours trying to figure out what exactly is wrong. Is there a typo? Am I missing something? Here is the problem:


*

*$A$    /∴ $B \rightarrow (\lnot A \rightarrow C)$


My professor said these were supposed to be easy. Now I am new to symbolic logic so I could very well be missing something. But I don't understand how constructing this proof is possible. Could anyone help, using the 8 basic inference rules? Or with Conditional Proof/Indirect proof? Thanks.
 A: You don't say which system of rules you are using. But in a natural deduction framework, the proof will go like this:

Given premiss is $A$.
Assume $B$.
Then assume $\lnot A$.
By explosion rule (ex false quodlibet), from the contradictory first and third lines you can infer anything, including $C$.
Discharge second assumption to get $\lnot A \rightarrow C$.
Discharge first assumption to get $B \rightarrow (\lnot A \rightarrow C)$.

(Note standard natural deduction systems allow this second kind of inference where we discharge an assumption which is not actually used.)
A: If you need some intuitive explanation then
$B \implies (\lnot A \implies C)$ is equivalent to $B \land \lnot A \implies C$ because $A$ is true then $B \land \lnot A $ is false and you can infer anything from false statement so $C$ holds.
A: I do not know the logical rules you are using (please, in this type of questions, refer to the textbook you are using, or type the rules you have on your lectures notes) but, in general, you need :

$P \rightarrow Q$ is equivalent to $\lnot P \lor Q$

so that, using Double Negation :

$\lnot A \rightarrow C$ will be $A \lor C$

and you must have a rule (called $\lor$-introduction) that allows you to derive $A \lor C$ form $A$, i.e.

$A \vdash A \lor C$.

Again, $B \rightarrow (\lnot A \rightarrow C)$ is $\lnot B \lor (\lnot A \rightarrow C)$, so that, by the same rule, you "introduce" also $\lnot B$ getting :

$A \vdash \lnot B  \lor (\lnot A \rightarrow C)$ that is your $B \rightarrow (\lnot A \rightarrow C)$.

