يكون كذا فقد حصرت حصرا كليا سالبا . واما إذا « 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 ) - ها : ليس ا