Can
$$\neg B$$
Be directly deduced from $$\neg(A \wedge B) $$
By using the conjunction elimination rule? There does not seem to be any information on how to deal with the negation in the rules I have seen, but I can't figure any other way to derive the result than by directly applying the conjunction elimination rule.
No, it cannot. $\neg (A \wedge B)$ is equivalent (by DeMorgan's law) to $\neg A \vee \neg B$. And you cannot deduce $\neg B$ from $\neg A \vee \neg B$. For instance, if $A$ is "$x$ is prime" and $B$ is "$x$ is even" then $\neg (A \wedge B)$ is the statement "it is not the case that both $x$ is prime and $x$ is even." We cannot deduce from this $\neg B$, which is the statement "$x$ is not even" i.e. "$x$ is odd" because, for instance, $x$ could be $4$.