Logic - Logically implies question $\forall x(A(x) \rightarrow B(x))$ logically implies $\exists x(A(x) \land B(x))$
Is the above statement true or false? I have no clue on how to start figuring this out. Can someone help me please?
 A: I feel like vacuous truths would disprove this. For example, I could let $A(x)$ be "$x\in \emptyset$" and $B(x)$ be "$x$ is a seven-headed purple fire-breathing dragon." The first statement of yours ($\forall x(A(x)\to B(x))$ is true (since there are no members of the empty set). However, the second statement is false since there does not exist $x$ such that $A(x)$ is true.
A: Torched90, you seem to be asking a lot of questions concerning quantifiers (your question history suggests this anyway) and their properties concerning relations such as $\to, \lor$, and $\land$. I would like to give you six claims that you can explore for yourself concerning their truthfulness (truth or falseness will appear in an enumerated list below the properties). 


*

*$\forall x(P(x)\to Q(x))$ implies $\exists x(P(x)\land Q(x))$

*$\forall x(P(x)\to Q(x))$ and $\forall xP(x)\to \forall xQ(x)$ have the same truth value.

*$\forall x(P(x)\land Q(x))$ and $\forall xP(x)\land \forall xQ(x)$ have the same truth value.

*$\exists x(P(x)\lor Q(x))$ and $\exists xP(x)\lor \exists xQ(x)$ have the same truth value.

*$\forall xP(x)\lor \forall xQ(x)$ and $\forall x(P(x)\lor Q(x))$ are logically equivalent.

*$\exists xP(x)\land \exists xQ(x)$ and $\exists x(P(x)\land Q(x))$ are logically equivalent. 


Are these claims true or false? Try to verify for yourself before looking at the list of answers below (or before asking another very similar question on MSE).


*

*False

*False

*True

*True

*False

*False


If you are still stuck on understanding why these claims are true or false, then I would suggest reviewing or reading up on some basic propositional logic. The book here has a gentle introduction to logic if you do not know of another book. 
