"S" es verdadera (en el lenguaje objeto) si y solo si "p".