O-proposition

A negative categorical claim that asserts at least one member of the subject class is excluded from the predicate class. (See also Categorical proposition.)