Por ejemplo, el siguiente argumento es un silogismo categórico en forma estándar: