معيار العلم في فن المنطق

مثاله: إن كان العالم حادثا فله صانع. مركب من قضيتين حمليتين قرن بهما حرف الشرط وهو قولنا أن، وقولنا: لكن العالم حادث، قضية واحدة حملية قرن بها حرف الإستثناء، وقولنا: فله صانع، نتيجة وهذا مما يكثر نفعه في العقليات والفقهيات، فإنا نقول إن كان هذا النكاح صحيحا فهو مفيد للحل، لكنه صحيح فإذن هو مفيد للحل، وإن كان الوتر يؤدي على الراحلة فهو نفل، لكنه يؤدي على الراحلة فهو إذن نفل.
والمقدمة الثانية لهذا القياس إستثناء لإحدى قضيتي المقدمة الأولى أما المقدم أو التالي، والإستثناء إما أن يكون لعين التالي أو لنقيضه أو لعين المقدم او لنقيضه،