فى المتصل؛ كقولنا: اذا [1] كان كذا [2]؛ كان كذا و الدلالة على وجود الانفصال، ايجاب فى المنفصل؛ كقولنا: اما أن يكون كذا، و اما أن يكون كذا. و كما أن الدلالة على رفع‌ [3] وجود الحمل سلب فى الحمل؛ كذلك الدلالة على رفع الاتصال؛ كقولنا: ليس اذا كان كذا؛ كان كذا؛ أو رفع الانفصال؛ كقولنا: ليس اما أن يكون كذا، و اما يكون كذا سلبا [4] فى المنفصل و المتصل. و كل‌ [5] سلب، فهو [6] ابطال الايجاب، و رفعه.

و الايجاب و السلب، فى الاتصال و الانفصال، قد يكون محصورا كليا و جزويا، و قد يكون مهملا. فانك اذا قلت: اذا كان كذا، كان كذا و اما أن يكون كذا [7] و اذا قلت: ليس اذا كان كذا كان كذا، أو ليس اما أن يكون كذا [8]، و اما أن يكون كذا؛ أهملت. و أما اذا قلت؛ كلما كان كذا كان كذا، أو دائما اما أن يكون كذا أو [9] يكون كذا، فقد حصرت حصرا كليا موجبا و اذا [10] قلت ليس البتة اذا كان كذا كان كذا، أو ليس البتة اما أن يكون كذا او

[1] - ق: ان‌

[2] - ق، د: كذا (در همه جا)؛ ط: كذا (نيز كذا)؛ ب: كذا

[3] - ها «رفع» ندارد

[4] - ب، هج: سلبا (ق: سلب) فى المنفصل و المتصل؛ ها، رم:

د، ط، سلب فى المتصل و المنفصل.

[5] - ب، ق، هج: و كل؛ ها، ط د: فكل‌

[6] - د، ط، ها، رم: هو؛ ب، هج، ق: فهو

[7] - ب، ط «و اما ان يكون كذا» يكبار آمده نه مانند ق‌

[8] - ها «و اذا قلت ... كذا» ندارد؛ ط «كذا» ندارد

[9] - ها: و اما

[10] - ط: ق: و ان‌