subalternate

A "subalternate" in logic is a proposition that can be directly inferred from a universal proposition of the same quality and with identical terms. This concept is related to the study of logic, which systematically explores rules and strategies for reasoning.1

Aristotle is credited with establishing the systematic study of logic in the West. His logical writings, collectively known as the Organon, explored various aspects of reasoning, including the structure of propositions and their interrelations. He analyzed different types of propositions, such as universal affirmative, universal negative, particular affirmative, and particular negative. The relationships between these propositions, including subalternation, were a key part of his work.2