No creo que el problema tenga solución.
Por ejemplo, si p, q, s, son falsas y r es verdadera, entonces la primera afirmación es verdadera (porque se cumple \( \lnot p \)) y la segunda es falsa (porque s es falsa y también lo es la implicación, ya que la hipótesis \( \lnot p \) es verdadera pero la tesis \( \lnot r\lor q \) es falsa).
Por otro lado, si p es verdadera y q, r, s son falsas, entonces las dos afirmaciones son verdaderas.
