Definition:Categorical Syllogism/Middle Term

Definition
The middle term of a categorical syllogism is the term that does not appear in the conclusion of the syllogism.

It appears once in each of the premises of the syllogism.

It is usually denoted by $M$.

Also known as
Some sources denote it by the letter $G$.