Under a different form this proposition appears to be (oddly) true. Why? Similar question to this question (This question was actually the motivation for the other question, which - if I haven't got it wrong - generalizes this one): I have to prove a proposition of the following form: $$\forall T \subseteq V: \ P(T) \ \& \ Q(T)$$where $T,V$ are sets and $P,Q$ are some properties the set $T$ has to satisfies (which are irrelevant for this question). Now, if no $T$ satisfies $P(T)$, the proposition os obviously false. But if I would rewrite the set of which $T$ is a subset in the following manner $$ \forall T \in \left\{ F \in \mathcal{P}(V) \ | \ P(F) \right\}: \ Q(T)$$ it should be equivalent to the above proposition, because all I did was constrain the possibilities what a set $T$ can be such that my first property $P$ is already included (so if the above proposition would be true, this one, with the $T$'s that already satisfy $P$ would also have to be true and if the above is false, this one ought to be false as well since all I did was move the property $P$ around). But in this form the proposition is vacuously true. What have I done wrong ?
 A: The reason the kind of "rewriting" you are doing is not in general valid is that the universal quantifier does not specify a domain; when we write something like "$\forall T\in X (U(T))$", we are actually abusing notation, because the $\forall$ only quantifies over all objects, not over some objects. The above formula is actually shorthand for "$\forall T( T\in X\rightarrow U(T))$" (that is, when we say "for all $T$ in $X$, $U$ holds", we are really saying "for all $T$, if $T$ is in $X$ then $U$ holds"). 
So you have gone wrong in assuming the two statements are equivalent. The second statement is actually of the form $\forall T\bigl((T\in \mathcal{P}(V)\land P(T))\rightarrow Q(T)\bigr)$ (that is, if $T$ is a subset of $V$ and satisfies $P$, then it satisfies $Q$). The first statement, on the other hand, is $\forall T\bigl(\mathcal{P}(V)\rightarrow (P(T)\land Q(T))\bigr)$.
The two statements are not equivalent: $(R\land T)\rightarrow S$ is equivalent to $R\rightarrow(T\rightarrow S)$; but $T\rightarrow S$ is not equivalent to $T\land S$, it's equivalent to $\neg T\lor S$.
So even though you think the two statements "say" the same thing, they really aren't because you are not writing them in full, you are writing abbreviations and those abbreviations are leading you astray.
A: The proposition $(\forall T \in \{F \in \mathcal P(V):P(F)\})Q(T)$ is not vacuously true: it says that if $P(T)$ is true, then so is $Q(T)$. It's equivalent to $(\forall T \subseteq V)[P(T) \to Q(T)]$, not to $(\forall T \subseteq V)[P(T) \land Q(T)]$
