Es decir, por la negación de la doble implicación, o bien existe un formula_23 tal que formula_24, o bien existe un formula_23 tal que formula_24.