СУЖДЕНИЕ ОБЩЕОТРИЦАТЕЛЬНОЕ

простое атрибутивное суждение, имеющее логическую схему «Ни один S не является P».