Атрибутивные суждения в логике: типы и примеры