by HallsofIvy » Sun Jan 31, 2021 12:46 pm
For (a), [tex]\forall x P(x) V Q(x)[/tex], P and Q must have the same domain of discourse because the same "x" has to apply to both P and Q. But for [tex]\forall x P(x) V \forall x Q(x)[/tex] P and Q can have different domains of discourse because the "x"s can be different for P and Q. In fact, for the second I would prefer [tex]\forall x P(x) V \forall y Q(y)[/tex] to make that point clearly.