Общеотрицательные суждения – это суждения с общим объемом субъекта и отрицательной связкой: Все S не есть Р (или Ни одно S не есть Р), например: Все планеты не являются звездами (или Ни одна планета не является звездой).