و هذه المؤلفات التى هى أجزاء الشرطيات قد تكون حمليات، و المؤلف منها هى القضية الشرطية البسيطة و قد تكون أيضا شرطيات، فلنعدّ أصنافها:

أما المتصلة فقد تكون مركبة من حمليتين كقولك: «ان كانت الشمس طالعة فالنهار موجود» .

و قد تكون مركبة من حملية و شرطية اما متصلة و اما منفصلة.

أما تركيبها من الحملية و المتصلة و ليكن المقدم حمليا كقولك: «ان كانت الشمس علة النهار فكلما كانت الشمس طالعة فالنهار موجود» .

و ليكن الثانى حمليا كقولك: ان كانت كلما كانت الشمس طالعة فالنهار موجود» فان الشمس علة النهار.

و أما تركيبها من الحملية و المنفصلة و الحملى هو المقدم فمثل قولك: «ان كان هذا عددا فهو اما زوج و اما فرد» و مثاله و الحملى هو الثانى قولك: «ان كان هذا اما بياضا و اما سوادا فهو لون» .

و قد تكون مركبة من متصلتين كقولك: ان كان اذا كانت الشمس طالعة فالنهار موجود فان لم يكن النهار موجودا لم تكن الشمس طالعة. »

و قد تكون مركبة من منفصلتين كقولك: «ان كان الجسم اما ساكنا و اما متحركا فبعض الجواهر اما ساكن و اما متحرك» و قد تكون مركبة من متصلة و منفصلة و ليكن المتصل مقدما كقولك: ان كان كلما كانت الشمس طالعة فالنهار موجود فاما ان تكون الشمس طالعة و اما أن لا يكون النهار موجودا» .

و ليكن المتصل تاليا كقولك: «ان كان اما أن يكون هذا العدد زوجا و اما أن يكون فردا فان كان زوجا فليس بفرد. »

و للمنفصلة أيضا بإزاء كل قسم من هذا قسم، أما تركبها من الحمليتين فكقولك: «اما أن يكون هذا العدد زوجا و اما أن يكون فردا» و تركبها من‌