نمونه سؤال تعریف منطقی؛
مرز مفهوم را با مثال نقض امتحان کن

جامع نیست، چون برخی پرندگان پرواز نمی‌کنند؛ مانع هم نیست، چون جانورانی غیر از پرندگان می‌توانند پرواز کنند. مثال‌های مرزی نشان می‌دهند «پرواز» مرز کافی برای مفهوم نیست.

مانع نیست؛ لوزیِ غیرمربع نیز چهار ضلع مساوی دارد. برای جداکردن مربع باید قیدی مربوط به زاویه‌های قائمه افزوده شود.

در قلمرو اعداد صحیح، همهٔ اعداد زوج و فقط آن‌ها بر ۲ بخش‌پذیرند؛ پس تعریف نسبت به این قلمرو جامع و مانع است. ذکر «عدد صحیح» قلمرو را روشن می‌کند.

جامع نیست؛ دانش‌آموزی با میانگین ۱۹ که هیچ نمرهٔ ۲۰ ندارد طبق معیار ممتاز است اما از تعریف بیرون می‌ماند. تعریف باید همان معیار تعیین‌شده را بازتاب دهد.

واژهٔ «خوب» در تعریف به‌اندازهٔ معرَّف نیازمند توضیح است و معیار روشنی نمی‌دهد. تعریف باید ویژگی‌های سنجش‌پذیر متناسب با هدف، مانند انسجام یا دقت، را مشخص کند.

معنای «عادلانه» به همان مفهوم عدالت وابسته است؛ بنابراین تعریف دوری است و بدون دانستن معرَّف، عبارت تعریف فهمیده نمی‌شود.

معنای هرکدام به دیگری وابسته شده و هیچ نقطهٔ مستقل و روشن برای فهم ارائه نمی‌شود؛ این دور دوواسطه‌ای است.

باید میوه‌ای پیدا کنیم که رسیده باشد اما شیرین نباشد؛ یعنی موردی داخل عبارت تعریف و بیرون از معرَّف. همین ساختار، مورد اضافی را نشان می‌دهد.

مصداقی واقعی از معرَّف می‌سازیم که شرط تعریف را نداشته باشد؛ یعنی مورد درستِ جاافتاده. این مثال نشان می‌دهد دامنهٔ تعریف از مفهوم کوچک‌تر است.

دایره یا مربع شکل بسته است اما مثلث نیست؛ پس تعریف موارد اضافی فراوان می‌پذیرد و مانع نیست. باید ویژگی سه ضلع مستقیم و بسته‌بودن چندضلعی را مشخص کرد.

می‌توان گفت: «مستطیل چهارضلعی‌ای است که چهار زاویهٔ قائمه دارد.» قید زاویه‌ها بسیاری از چهارضلعی‌های بیگانه را بیرون می‌برد و مصداق‌های مستطیل را پوشش می‌دهد.

طول تعریف معیار دقت نیست. قید اضافی ممکن است مصداق‌های درست را بیرون ببرد و جامع‌بودن را از بین ببرد؛ واژهٔ مبهم نیز می‌تواند تعریف طولانی را همچنان ناروشن نگه دارد.