You have already met Aristotle's universal propositions, universal assertion, "every a is b", and universal denial, "no a is b". The negations of these are his particular propositions: particular denial "some a is not b", and particular assertion, "some a is b".