Universal proposition

A universal proposition is one that affirms a property of all the members of a collection. For instance, the proposition that all dogs are mortal and the proposition that all cows can fly are universal propositions, the former true and the latter false. A universal proposition is logically equivalent to the negation of an existential proposition. Thus, claiming that all cows can fly is equivalent to denying that there is a cow that cannot fly.