A '''universal proposition''' is one that affirms a [[property (philosophy)|property]] of all the members of a [[set]]. For instance, the proposition that all [[dog]]s are [[mortal]] and the proposition that all [[cow]]s can fly are universal propositions, the former (assumedly) 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''. | A '''universal proposition''' is one that affirms a [[property (philosophy)|property]] of all the members of a [[set]]. For instance, the proposition that all [[dog]]s are [[mortal]] and the proposition that all [[cow]]s can fly are universal propositions, the former (assumedly) 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''. |