La negación de la proposición lógica es igual a Para algún x ∊ A ∉ y ∈ B / x + y = z
La proposición es ∀x ∊ A; ∋ y ∊ B ∕ x+y = z quiere decir que para todo x en A existe un y en B tal que x + y = z, entonces la negación correctas es:
Para algún x ∊ A ∉ y ∈ B / x + y = z, es decir, para algún valor de x no existe y en B tal que la suma de z
