A categorical proposition that denies that the predicate applies to any of the subject. It can be formally expressed as “No S is P” with “S” standing for the subject and “P” standing for the predicate. “No man is immortal” is an example of a universal negative proposition.