Implem. dos quantificadores Universal e Existencial