Is the formula (∃xP(x))∧(∃xQ(x)) ⟹ ∃x(P(x)∧Q(x))(\exists x P(x)) \land (\exists x Q(x)) \implies \exists x (P(x) \land Q(x))(∃xP(x))∧(∃xQ(x))⟹∃x(P(x)∧Q(x)) a tautology?
Yes
No
Only if domain is infinite
Only if PPP and QQQ are the same