The syllogism is a sequence of propositions which have the property of inference as an inherent part of it's form. Propositions are, in turn, a sequence of terms. The analysis of a term's connotation is it's definition and the analysis of a terms denotation is called division. The subsets are called species and the set is called the genus. Humanity is said to be essentially rational and an animal with certain physical attributes.
Terms combine to form propositions.
A proposition formed from terms can be combined to form new propositions and these two types of propositions need to be kept distinct. Propositions not compounded of other propositions are named categorical propositions. Traditional logic principally deals with categorical propositions. Modern logic principally deals with compound propositions. It was Aristotle who first clearly analyzed the form of propositions, and his analysis has stood relatively unchanged for over two thousand years.