Se dice que un silogismo categórico está en "forma estándar" cuando satisface las siguientes condiciones: