in the traditional notation for categorical logic, a proposition that is both universal and negative. Example: "No reptiles are insects." This proposition affirms that the designated classes have no common members. Its contradictory is an "I" proposition with the same subject and predicate terms.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google