Can I prove that $A\Rightarrow (B\wedge C)$ by proving that $\neg B\Rightarrow\neg A$? Let $A$, $B$ and $C$ be propositional variables. I need to prove a statement of the form $A\Rightarrow (B\wedge C)$ and I’m thinking of proving it by showing the equivalent contrapositive statement
$$\neg(B\wedge C)\Rightarrow \neg A$$
Specifically, I’m thinking of simply showing that
$$\neg B\Rightarrow \neg A$$
However, I’m not 100% sure my approach is correct. My question is: can I prove that $A\Rightarrow(B\wedge C)$ by proving $\neg B\Rightarrow\neg A$? My attempt at answering my own question is below.
Statement: $(\neg B\Rightarrow\neg A)\Rightarrow(A\Rightarrow(B\wedge C))$
Proof:
Suppose that
$$\neg (B\wedge C)\Rightarrow \neg A$$
Because
$$\neg B\Rightarrow\neg(B\wedge C)$$
it follows that
$$\neg B\Rightarrow \neg A$$
EDIT: I understand from the answers that my reasoning is false. Suppose nonetheless that I still want I to show
$$\neg(B\wedge C)\Rightarrow \neg A$$
How do I do it?
 A: *

*Re: your first question: unfortunately, your suggestion is invalid. With the counterexample $(A,B,C)=(\text{True, True, False}),$ $$\neg B\Rightarrow\neg A$$ is true but $$\neg(B\wedge C)\Rightarrow\neg A$$ false.


*Your last section is a proof of $$(¬(B ∧ C) \Rightarrow¬A) \Rightarrow(¬B \Rightarrow ¬A),$$ rather than a proof of $$(\neg B\Rightarrow\neg A)\Rightarrow(A\Rightarrow(B\wedge C)).$$
While the latter is not logically true (my above counterexample shows that it can be false), the former is a tautology, i.e., is logically true.

Addendum

EDIT: I understand from the answers that my reasoning is false. Suppose nonetheless that I still want I to show $$\neg(B\wedge C)\Rightarrow \neg A$$ How do I do it?

Remember, you are proving a statement of this form, not the proposition as it currently stands. For example, does $B$ stand for $\exists x{\in}\mathbb Z\;x^2=8,$ or does it symbolise a compound proposition? That informs your proof strategy.
A: If $A$ and $B$ are true while $C$ is false, then $\lnot B\to\lnot A$ is true and $\lnot (B\land C)$ is true, meaning $\lnot (B\land C)\to \lnot A$ is false; a true statement cannot imply a false statement.
