FORMAS TÍPICAS DE LAS PROPOSICIONES CATEGÓRICAS

 

Se consideran 4 formas, los lógicos de la edad media les dieron las vocales: A, E, I, O; donde:

A= Todos los S son P: proposición universal afirmativa, muestra una inclusión total de “S” en “P”

E= Ningún S es P: proposición universal negativa, muestra una exclusión total de “S” en “P”

I= Algunos S son P: proposición particular afirmativa, expresa inclusión parcial de “S” en “P”

O= Algunos S no son P: proposición particular negativa, expresa exclusión parcial de “S” en “P”

Ejemplo:

A= Todas las llamas son auquénidos.

E= Ninguna llama es auquénido.

I= Algunas llamas son auquénidos.

O= Algunas llamas no son auquénidos.