Definition:Categorical Syllogism/Middle Term

From ProofWiki
Jump to navigation Jump to search

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$.


Sources