E-proposition

A universal negative categorical claim that asserts the subject and predicate classes are mutually exclusive of each other—that is, the subject class is excluded from the predicate class and vice versa. (See also Categorical proposition.)