40 sus premisas sean verdaderas sin que también sea verdadera su conclusión; en caso contrario será inválido. La teoría de la deducción es la que trata de explicar la relación entre las premisas y la conclusión de un razonamiento válido y de establecer técnicas para juzgar los razonamientos deductivos, es decir, para discriminar entre las deducciones válidas y las que no lo son.
Hay cuatro formas típicas de proposiciones categóricas, que son las ejemplificadas por las cuatro proposiciones siguientes:
Universal afirmativa: Todo S es P Universal negativa: Ningún S es P Particular afirmativo: Algún S es P Particular negativo: Algún S no es P
1. Todos los políticos son mentirosos. 2. Ningún político es mentiroso. 3. Algunos políticos son mentirosos. 4. Algunos políticos no son mentirosos. La primera es una proposición universal afirmativa. Es una aserción acerca de dos clases, la de todos los políticos y la de todos los mentirosos, y afirma que la
