A categorical proposition that affirms that the predicate applies to the whole of the subject. It can be formally expressed as “Every S is P” with “S” standing for the subject and “P” for the predicate. “Every man is mortal” is an example of a universal affirmative proposition.