1. Universal affirmative (A): These propositions assert that all members of a particular category have a certain attribute. They are in the form "All S is P." For example, "All birds can fly."
2. Universal negative (E): These propositions deny that any member of a particular category has a certain attribute. They are in the form "No S is P." For example, "No mammals lay eggs."
3. Particular affirmative (I): These propositions assert that some members of a particular category have a certain attribute. They are in the form "Some S is P." For example, "Some dogs are friendly."
4. Particular negative (O): These propositions deny that some members of a particular category have a certain attribute. They are in the form "Some S is not P." For example, "Some cats are not black."