(UEMS) A navegação da sentença ∀x, x + a ≠ b é: