Proposição categórica , na lógica silogística ou tradicional, uma proposição ou enunciado, em que o predicado é, sem ressalvas, afirmado ou negado de todo ou parte do sujeito. Assim, as proposições categóricas são de quatro formas básicas: “Todo S é P ” , “Nenhum S é P ” , “Algum S é P ” e “Algum S não é P. ” Essas formas são designadas pelas letras A, E , I e O, respectivamente, de modo que "Todo homem é mortal", por exemplo, é um A-proposição. As proposições categóricas devem ser distinguidas das proposições compostas e complexas, nas quais entram como termos integrais; em particular, sendo afirmações de fato e não de conexões lógicas, eles contrastam especialmente com proposições hipotéticas, como "Se todo homem é mortal, então Sócrates é mortal."
Este artigo foi revisado e atualizado mais recentemente por John M. Cunningham, Editor de Leitores.