Un silogismo categórico es un tipo de razonamiento deductivo en el que todas las premisas son proposiciones categóricas. Todos los animales morirán. Todo el mundo es un animal. Entonces todos mueren. Las dos primeras proposiciones se llaman premisas. Si este silogismo es verdadero, estas dos premisas lógicamente incluyen la proposición final, que se llama conclusión. La verdad de la conclusión se basa en la verdad de las premisas y la relación entre ellas: la palabra del medio debe estar en la premisa al menos una vez para formar una conexión entre el sujeto y el predicado en la conclusión.
Incluso si un silogismo de verdad es válido, si las premisas son falsas, la conclusión puede seguir siendo falsa. En un silogismo, el predicado de la conclusión se llama término mayor (P, o término mayor), y la premisa que contiene la palabra mayor se llama premisa mayor, el sujeto de la conclusión se llama término menor (S, o; término menor), y la premisa que contiene el término menor se llama premisa mayor. La premisa se llama premisa menor.
Establecer la validez de silogismos contundentes;
Considerar la validez de varios silogismos contundentes sería muy largo y llevaría mucho tiempo. Afortunadamente, los predecesores han ideado tres métodos alternativos para comprobar la eficacia. Una forma es memorizar todas las ecuaciones enumeradas en el siguiente capítulo. La forma válida también se puede obtener construyendo un diagrama de Venn. Como hay tres términos, el diagrama de Venn requiere tres círculos superpuestos para representar cada categoría. Primero, construye un círculo para el evento. El círculo adyacente al evento secundario es el círculo que se superpone al evento primario.
Encima de estos dos círculos está el círculo del medio. Debe superponerse en tres lugares: eventos, eventos y eventos donde los eventos se superponen. Un silogismo es válido sólo si su conclusión es verdadera al enunciar dos premisas. Nunca saques una conclusión porque la conclusión debe deducirse de las premisas. Siempre dé primero un ejemplo para ilustrar la proposición universal. Esto se logra agregando sombras a las áreas donde una clase no tiene miembros en otra clase.