النجاة - ابن سينا - الصفحة ٨٠ - فصل فى القضايا الشرطية

فى المتصل؛ كقولنا: اذا [١] كان كذا [٢]؛ كان كذا و الدلالة على وجود الانفصال، ايجاب فى المنفصل؛ كقولنا: اما أن يكون كذا، و اما أن يكون كذا. و كما أن الدلالة على رفع‌ [٣] وجود الحمل سلب فى الحمل؛ كذلك الدلالة على رفع الاتصال؛ كقولنا: ليس اذا كان كذا؛ كان كذا؛ أو رفع الانفصال؛ كقولنا: ليس اما أن يكون كذا، و اما يكون كذا سلبا [٤] فى المنفصل و المتصل. و كل‌ [٥] سلب، فهو [٦] ابطال الايجاب، و رفعه.

و الايجاب و السلب، فى الاتصال و الانفصال، قد يكون محصورا كليا و جزويا، و قد يكون مهملا. فانك اذا قلت: اذا كان كذا، كان كذا و اما أن يكون كذا [٧] و اذا قلت: ليس اذا كان كذا كان كذا، أو ليس اما أن يكون كذا [٨]، و اما أن يكون كذا؛ أهملت. و أما اذا قلت؛ كلما كان كذا كان كذا، أو دائما اما أن يكون كذا أو [٩] يكون كذا، فقد حصرت حصرا كليا موجبا و اذا [١٠] قلت ليس البتة اذا كان كذا كان كذا، أو ليس البتة اما أن يكون كذا او

[١] - ق: ان‌

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

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

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

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

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

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

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

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

[٩] - ها: و اما

[١٠] - ط: ق: و ان‌