\begin{definition}[Definition:Reduction to First Figure]
'''Reduction to the first figure''' is a method for determining the validity of a categorical syllogism, as follows:
:$(1): \quad$ Certain "self-evident" patterns are identified in the first figure of the categorical syllogism.
:$(2): \quad$ Using various rules of categorical statements, the valid patterns of other figures of the categorical syllogism are deduced.
There are two forms this procedure takes:
\end{definition}