Una proposición es "categórica" cuando tiene una de las siguientes cuatro formas: