Es decir: a partir de A es posible concluir que ∀"x" A.