Definition:Categorical Syllogism/Middle Term

From ProofWiki
Jump to navigation Jump to search


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 with the letter $G$.