En este caso la sentencia deberá ser de formula_18, lo que indica que existe algún x que hace verdadero formula_15, que también hace verdadero formula_16.