<logic, philosophy of science> in the traditional notation for categorical logic, a proposition that is both particular and negative. Example: "Some trees are not evergreens." Such a proposition affirms that there is at least one tree that is not also an evergreen. Its contradictory is an "A" proposition with the same subject and predicate terms.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google