Por ejemplo, el siguiente argumento es un silogismo categórico: