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