La práctica habitual en la enseñanza de MOSFET es hacer todas las derivaciones para NMOS y decir algo como: "para PMOS es muy similar, simplemente cambie los nodos ...". Luego, toma mucho tiempo entender la diferencia real entre PMOS y NMOS.
Tiendo a creer que este es tu caso: sabes cómo resolver problemas con los NMOS, pero no tienes mucha experiencia con los PMOS.
En primer lugar, el transistor en el esquema parece estar conectado incorrectamente (como se señala en uno de los comentarios).
En segundo lugar, la ecuación actual para PMOS en saturación es:
$$ I_ {SD} = K \ times \ frac {W} {L} \ times (V_ {SG} - | V_T |) ^ 2 $$
Sustituyendo:
$$ I_ {SD} = 250 \ times 10 ^ {- 6} \ times (V_S-0.714-1) ^ 2 $$
(tenga en cuenta que \ $ V_G = 0.714V \ $ de acuerdo con mis cálculos).
La corriente también debe satisfacer:
$$ I_ {SD} = \ frac {5-V_S} {1200} $$
Igualando los dos anteriores y resolviendo los rendimientos de \ $ V_S \ $:
$$ V_S = 3.75V $$
También debemos verificar que se cumple la condición de saturación (para justificar nuestro supuesto de priorización):
$$ V_ {SG} = V_S-V_G = 3.75-0.714 = 3.036V > | V_T | $$
y
$$ V_ {SD} = V_S-V_D = 3.75 - (- 5 + 4000 \ times I_ {SD}) = 4.59V > V_ {SG} - | V_T | $$
Ambas condiciones se mantienen, por lo tanto, el PMOS está conduciendo y en saturación.
Supongo que podrías haber estado usando un modelo MOSFET más sofisticado para la simulación de Spice, por lo que la respuesta que obtuviste allí es diferente (aunque bastante cerca).