Na Matemática é comum a utilização do quantificador existencial: “existe”, do quantificador universal: “para todo”, “para qualquer” ou “qualquer que seja” para transformar uma proposição aberta em uma proposição. Diante disso, qual alternativa representa o uso correto da proposição: “Para todo elemento pertencente ao conjunto dos números naturais implica que esse elemento adicionado uma unidade é diferente de zero”.