يكون كذا فقد حصرت حصرا كليا سالبا. و اما اذا [1] قلت: قد يكون اذا كان كذا كان كذا، أو [2] قد يكون‌ [3] اما كذا و اما كذا؛ فقد [4] حصرت حصرا جزويا موجبا. و اذا [5] قلت: قد لا يكون اذا كان كذا كان كذا، أو ليس كلما كان‌ [6] كذا كان كذا؛ أو قلت: قد لا يكون اما [7] كذا و اما كذا، أو ليس دائما اما [8] كذا و اما كذا؛ فقد حصرت حصرا سالبا جزويا [9].

و الجزء الأول، من كل شرطى، الذي يقرن‌ [10] به حرف الشرط، و ينتظر جوابه؛ يسمى مقدما، و الثاني يسمى تاليا. و كل واحد منهما فى نفسه قضية.

و [11] قد يكون كل واحد منهما حملية، و قد يكون شرطية [12] متصلة و منفصلة، و قد [13] يكون محصورة و مهملة و سالبة و موجبة.

و ليس سلب الشرطية و ايجابه، و حصره و اهماله‌ [14] تابعا للمقدم و التالى، بل للشرط [15]. فانك اذا قلت: اذا كان ليس ا ب فليس ب‌ [16] ج؛

[1] - د، ها؛ ق: و ان؛ ط: فان‌

[2] - ها: و

[3] - ط: اما ان يكون‌

[4] - هج: و قد

[5] - ها، د، ط، ق: و ان؛ ب، هج: و اذا

[6] - ها «كان» ندارد

[7] - ط: اما ان يكون‌

[8] - ط: و اما ان يكون‌

[9] - ها: جزئيا سالبا

[10] - د ط، ها، هج: يقترن؛ ب، ق: يقرن‌

[11] - ق: ثم‌

[12] - د «شرطية» ندارد

[13] - د، ط «قد» ندارد

[14] - ب، ط: ايجابه و حصره و اهماله؛ نسخ ديگر در همه جا «ها»

[15] - هج: الشرط

[16] - ها: ليس ا