I solute this question like that and the question need to use the logic to proof that the first part implies the second part is true is my solute right or not , would appreciate any help.
\begin{align} \neg (p\wedge\neg Q) \vee Q & \implies \neg p \tag 1\\ \neg (p \vee Q) \wedge (\neg Q \vee Q) &\implies \neg p \tag 2 \\ \neg (p\wedge Q) &\implies \neg p \tag 3\\ \neg p \vee \neg Q &\implies ¬p \tag 4 \\ \end{align}