والمركب.
وقوله: "يكون عنه" يريد أعلم من أن يكون لازما أو غيره، ليتناول الأمارة وخرج عنه قضيتان لم يحصل منهما شيء آخر.
وقوله: "قول آخر" أي يكون مغايرا لكل واحدة من القضيتين، ليخرج عنه مجموع آية قضيتين اتفقتا؛ فأنه يستلزم أحدهما، وهذا التعريف للفقهاء المتأخرين.
وقوله: "وقيل: يستلزم" إشارة إلى التعريف الرابع، وهو لمتأخري المتكلمين، وتقديره: الدليل قولان فصاعدا يستلزم لنفسه قولا آخر أعم من أن يكون الاستلزام بينا أو غيره، فيتناول الأشكال الأربعة، والقياس الاستثنائي ويخرج عنه بقوله "لنفسه" قياس المساوة، كقولنا (أ) مساو لـ (ب)، و (ب) مساو لـ (ج)، فأنه يلزمه (أ) مساو لـ (ج)، ولكن لا لنفسه، بل بواسطة مقدمة أجنبية غير لازمة لإحدامقدمتي القياس، وهو قولنا: كل ما هو مساو لـ (ب) مساو لـ (ج).
وكذا خرج عنه القول المؤلف من قولين المستلزم لقول آخر بواسطة عكس نقيض إحدى مقدمتيه، كقولنا: جزء الجوهر يوجب ارتفاعه ارتفاع الجوهر، وما