SILOGISMOS CATEGORICOS

El razonamiento originario posee una premisa particular negativa: (algunos neuróticos no son parásitos)

Una universal afirmativa: (todos los delincuentes son parásitos);

La conclusión debe ser particular y negativa (algunos neuróticos no son delincuentes).

• La forma típica es : Todo P es M 
• Algún S no es M 
• Por tanto Algún S no es P 

Independiente del orden, cuando una de las premisas es universal siempre se la toma como primera, con lo cual resulta: Todos los delincuentes son parásitos; algunos neuróticos no son parásitos. Por lo tanto, algunos neuróticos no son delincuentes. (Es un razonamiento válido,  pertenece a la segunda figura y el modo es BAROCO). La validez se prueba mediante diagramas de Ven.