СУЖДЕНИЕ ОБЩЕОТРИЦАТЕЛЬНОЕ
Общеотрицательное суждение
простое атрибутивное суждение, имеющее логическую схему «Ни один S не является P».
Источник: Традиционная логика. Словарь по книге
СУЖДЕНИЕ ОБЩЕОТРИЦАТЕЛЬНОЕ
вид простого атрибутивного суждения, которое характеризуется общим объемом субъекта и отрицательной связкой: «Все S не есть Р». Общеотрицательные суждения обозначаются латинской буквой Е.
Источник: Краткий курс логики: глоссарий