سلام
برای تشخیص جامع و مانع بودن یه روش خیلی ساده هست.
با «آیا همه» و «آیا فقط » سوال میسازیم .
مثلا برای تعریف انار به میوه ی شیرین :
۱) آیا همه ی انار ها میوه ی شیرین هستن ؟جواب :خیر انار ترش هم داریم پس جامع نیست
۲) آیا فقط انار میوه شیرین است ؟جواب ؛خیر سیب هم شیرینه پس مانع نیست.
اگه جواب سوال های بالا بله بود . پس تعریف رو جامع هست و مانع هست درنظر میگیریم
معرکه یادت نره🙂