Validación de leyes de inferencia de esta proposición : ((p→q)Λ(¬r→p)Λ(qVs))→(¬q→s)

Oración:

Andrés está planteando un problema cotidiano para organizarse habitualmente en su día a día para lo cual piensa lo siguiente, si se dedica a leer 3 horas diarias entonces mejorara su nivel de ortografía y si no mejora su capacidad de comprensión entonces podrá leer 3 horas diarias y si mejora su nivel de ortografía o su nivel de lectura, entonces no mejorara su ortografía si no realiza ejercicios gramaticales entonces no comprenderá nada entonces nunca sabrá nada

Q: Mejorar su nivel de ortografía.  (Premisa)

R: Y si no mejora su capacidad de comprensión. (Premisa)

P: Podrá leer 3 horas diarias. (Premisa)

S: Nivel de lectura. (Premisa)

Necesito la validación de las leyes de inferencia de esta proposición, urgente

((p→q)Λ(¬r→p)Λ(qVs))→(¬q→s)