Category:Categorical Syllogisms

From ProofWiki
Jump to navigation Jump to search

This category contains results about Categorical Syllogisms.
Definitions specific to this category can be found in Definitions/Categorical Syllogisms.

A categorical syllogism is a logical argument which is structured as follows:

$(1): \quad$ It has exactly two premises and one conclusion.

The first premise is usually referred to as the major premise.
The second premise is usually referred to as the minor premise.

$(2): \quad$ It concerns exactly three terms, which are usually denoted:

  \(\ds P:\) the primary term      
  \(\ds M:\) the middle term      
  \(\ds S:\) the secondary term      

$(3): \quad$ Each of the premises and conclusion is a categorical statement.