categorical proposition

Short definition from Wiktionary

Noun

1. 1
   A proposition that asserts or denies that members of one category (the subject term) belong to another (the predicate term). There are four types: "all S are P", "all S are not P", "some S are P", and "some S are not P".