كتاب معيار العلم في فن المنطق

فائدة فقهية - ٤ - أمثلة الشكل الثالث - ص: 154

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