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