Middle term

From Wikipedia, the free encyclopedia

The middle term is the term that occurs in both premises (but not in the conclusion) of a categorical syllogism. The other two terms, called the end terms are the major term and minor term, which do appear in the conclusion.

Example:

Major premise: All men are mortal.
Minor premise: Socrates is a man.
Conclusion: Socrates is mortal.

The middle term is printed in bold above.

This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.

\lnot(p\land\lnot p)  This logic-related article is a stub. You can help by expanding it.