Para indicar que el predicado formula_38 es cierto si: