SMS: Silogismos categóricos válidos: argumentos aristotélicos tradicionales derivados con aplicación del Método de Deducción Natural de Montague-Kalish