علم اجمالی
علم اجمالی، قطع به چیزی مردد میان دو طرف یا بیشتر است. علم مردّد بین دو یا چند چیز را علم اجمالی گویند.
ظاهر آن است که اعاده نماز اوّل لازم نیست، چرا که به قاعده فراغ محکوم شد به صحّت قبل از شروع به نماز دوّم و لازم بود بر او تحصیل طهارت از حدث برای نماز بعد و احراز آن در فرض مذکور موقوف است بر جمع بین غسل و وضو، زیرا که استصحاب جنابت اگر چه ایجاب میکند غسل را، لکن احراز نمیشود به آن عدم وجوب وضو، پس شروع کرده در نماز دوّم بدون احراز شرط آن، فهی باطلة، هذا إذا لم یکن الثانیة مرتّبة علی الاُولی و إلّا فالأمر واضح.