Definition:Reduction to First Figure/Direct

From ProofWiki
Jump to navigation Jump to search

Definition

Direct reduction to the first figure is a form of the reduction to the first figure method for determining the validity of a categorical syllogism.

This form of the method works forward from the first figure using various rules of categorical statements in order to derive valid patterns of other figures.


Sources