— Barbara (AAA) If All M are P. and All S are M., then All S are P.

— Celarent (EAE) If No M is P. and All S are M., then No S is P.

— Ferio (EIO) If No M is P. and Some S is M., then Some § is not P.