Buenas,
No es correcto tu planteo porque estás probando la implicancia contraria.
Fijate el sentido de las flechas. Se usa la flecha invertidad: ⇐. Esto significa que lo de arriba es implicado por lo de abajo:
Entonces, lo que queremos probar es:
Hipótesis: M ⊭ P(1)
Tesis: M ⊧ P (1̄) → Q(1̄, 1̄) y M ⊧ P(1̄) → ¬Q(1̄, 1̄)
Para probar esto, podemos aplicar unos pasos más de 2.4.5 y usar el hecho de que una implicancia se cumple si su antecedente no se cumple.
También se puede usar la definición de vᴹ