A categorical proposition is a fundamental concept in classical logic, particularly within the Aristotelian framework, which deals with statements asserting something about a subject in relation to a predicate. The quality of a categorical proposition refers to whether the proposition affirms or denies the inclusion of the subject in the predicate. In simple terms, quality distinguishes propositions into two types: affirmative and negative. Understanding quality is central to logical analysis because it influences how propositions interact, how syllogisms are formed, and how logical inferences are drawn. An affirmative categorical proposition asserts that the subject is included in the predicate. For example, in the proposition “All humans are mortal,” the subject “humans” is positively connected to the predicate “mortal.” Affirmative propositions are generally denoted by the letter A for universal affirmative propositions, such as “All S are P,” and I for particular affirmative propositions, such as “Some S are P.” In these propositions, the focus is on the existence of a positive relationship between the subject and predicate. The quality being affirmative implies that the predicate is affirmed of the subject in some sense, either universally (applying to all members of the subject class) or partially (applying to some members). The affirmative quality does not imply that the proposition is true in reality; rather, it describes the form of assertion within the logical framework. In contrast, a negative categorical proposition denies that the subject is included in the predicate. For instance, “No humans are immortal” is a negative proposition because it explicitly states that there is no overlap between the class of humans and the class of immortals. Negative propositions are represented in standard form as E for universal negative propositions, “No S are P,” and O for particular negative propositions, “Some S are not P.” The essence of negative quality is the denial of a relationship between