Suppose I have two predicates $P(x)$ and $Q(x)$, such that $\overline{P(x)\wedge Q(x)}$ holds for all $x$.
Now, if $\displaystyle \bigwedge_{x\in A}P(x)$ for a set $A$, it must be certainly true, that $\displaystyle \overline{\bigwedge_{x\in A}Q(x)}$ by intuition. But suppose, that $A = \{\;\;\}$, then obviously both $\displaystyle \bigwedge_{x\in A}P(x)$ and $\displaystyle\bigwedge_{x\in A}Q(x)$.
Where is my mistake? I guess it is in the assumption that $\bigwedge_x\overline{P(x)\wedge Q(x)} \rightarrow \left(\bigwedge_{x\in A}P(x) \rightarrow \overline{\bigwedge_{x\in A}Q(x)}\right)?$
*Note: $\displaystyle \overline{P(x)\wedge Q(x)} \equiv \lnot(P(x)\land Q(x))$
$\displaystyle \quad\quad\quad\quad \overline{\bigwedge_{x\in A}Q(x)} \equiv \lnot \left(\bigwedge_{x\in A}Q(x)\right)$