There are four types of standard form categorical propositions.
| TYPE | FORMAT | EXAMPLE |
| A | ALL S ARE P | All logicians are rational |
| E | NO S ARE P | No lions are amphibians |
| I | SOME S ARE P | Some women are mothers |
| O | SOME S ARE NOT P | Some mushrooms are not poisonous |