فصل في القياس الاقتراني: وهو قسمان: حملي وشرطي.
Chapter on conjunctive syllogism: it has two kinds, categorical and conditional.
A categorical conjunctive syllogism draws a conclusion by relating categorical premises: every human is an animal; Zayd is human; therefore Zayd is an animal.
A conditional conjunctive syllogism may employ conditional propositions or combined conditional structures. Their detailed treatment follows later. Here we focus on the basic components and four figures of categorical syllogism.