La primera en realidad esta mal, porque le estas aplicando la clausura a ((∃x)P(a) ∧ (∃x)Q(a)) cuando la clausura para este termino es diferente, es mas es el mismo termino.
Te conviene usar 2.4.5 para separar onda:
M |= (P(x) ∨ Q(x))
M |= (P(x) → ¬Q(x))
M |= ( (∃x)P(x) ∧ (∃x)Q(x))
Y ahí les aplicas las clausuras y haces el estudio por interpretación.
Saludos