کدام شرط از شرایط تعریف منطقی باعث می‌شود که تعریف مانع دخول اغیار باشد؟
1 معرف نباید اخص از معرف باشد.
2 شناخت معرف و معرف نباید موقوف به یگدیگر باشد.
3 معرف نباید اعم از معرف باشد.
4 معرف نباید اخفی از معرف باشد.