Категорические суждения имеют структуру «S есть P» и образуют самую изученную в классической формальной логике группу суждений. «Категорическими» они называются потому, что устанавливают отношения принадлежности между субъектом и предикатом. Категорическое высказывание принимает в языке вид простого повествовательного предложения.
Отношение принадлежности может выражать:
* как принадлежность (или непринадлежность) свойства предмету. S – предмет, а P – свойство. Например, «задача – трудная», «решение - неправильное», «работа не является оплачиваемой».
* так и принадлежность (или непринадлежность) предмета классу предметов. Например, «калькулятор является вычислительным устройством»,
«статуя не является портретом».