A type of deduction that involves analyzing categorical propositions, such as those involving "all," "some," and "none.".