Proposición categórica , en lógica silogística o tradicional, una proposición o enunciado, en el que el predicado es, sin calificación, afirmado o negado de todo o parte del sujeto. Por lo tanto, las proposiciones categóricas tienen cuatro formas básicas: "Todo S es P " , "No S es P " , "Algunos S son P " y "Algunos S no son P. " Estas formas se designan con las letras A, E , I y O, respectivamente, de modo que "Todo hombre es mortal", por ejemplo, es un A-proposición. Las proposiciones categóricas deben distinguirse de las proposiciones compuestas y complejas, en las que entran como términos integrales; en particular, al ser afirmaciones de hecho más que de conexiones lógicas, contrastan especialmente con proposiciones hipotéticas, como "Si todo hombre es mortal, entonces Sócrates es mortal".
Este artículo fue revisado y actualizado más recientemente por John M. Cunningham, editor de lectores.
