De esta forma formula_34 nos indica si "p" es verdadero en el estado "s" en el modelo formula_35.