النجاة - ابن سينا - الصفحة ٨١ - فصل فى القضايا الشرطية
يكون كذا فقد حصرت حصرا كليا سالبا. و اما اذا [١] قلت: قد يكون اذا كان كذا كان كذا، أو [٢] قد يكون [٣] اما كذا و اما كذا؛ فقد [٤] حصرت حصرا جزويا موجبا. و اذا [٥] قلت: قد لا يكون اذا كان كذا كان كذا، أو ليس كلما كان [٦] كذا كان كذا؛ أو قلت: قد لا يكون اما [٧] كذا و اما كذا، أو ليس دائما اما [٨] كذا و اما كذا؛ فقد حصرت حصرا سالبا جزويا [٩].
و الجزء الأول، من كل شرطى، الذي يقرن [١٠] به حرف الشرط، و ينتظر جوابه؛ يسمى مقدما، و الثاني يسمى تاليا. و كل واحد منهما فى نفسه قضية.
و [١١] قد يكون كل واحد منهما حملية، و قد يكون شرطية [١٢] متصلة و منفصلة، و قد [١٣] يكون محصورة و مهملة و سالبة و موجبة.
و ليس سلب الشرطية و ايجابه، و حصره و اهماله [١٤] تابعا للمقدم و التالى، بل للشرط [١٥]. فانك اذا قلت: اذا كان ليس ا ب فليس ب [١٦] ج؛
[١] - د، ها؛ ق: و ان؛ ط: فان
[٢] - ها: و
[٣] - ط: اما ان يكون
[٤] - هج: و قد
[٥] - ها، د، ط، ق: و ان؛ ب، هج: و اذا
[٦] - ها «كان» ندارد
[٧] - ط: اما ان يكون
[٨] - ط: و اما ان يكون
[٩] - ها: جزئيا سالبا
[١٠] - د ط، ها، هج: يقترن؛ ب، ق: يقرن
[١١] - ق: ثم
[١٢] - د «شرطية» ندارد
[١٣] - د، ط «قد» ندارد
[١٤] - ب، ط: ايجابه و حصره و اهماله؛ نسخ ديگر در همه جا «ها»
[١٥] - هج: الشرط
[١٦] - ها: ليس ا