Generally , then , the negation of a universal function 's existential quantification is a propositional quantification of that propositional function 's negation ; symbolically .
Generally , then , the negation of a propositional function 's existential quantification is a universal quantification of that propositional function 's negation ; symbolically ,