درس چهارم منطق دهم مربوط به مبحث «اقسام و شرایط تعریف» است. در این درس، انواع تعریف و شرایطی که یک تعریف خوب باید داشته باشد، بررسی می‌شود.
اقسام تعریف شامل تعریف لغوی، تعریف اصطلاحی، تعریف به جامع و مانع و تعریف به لازم و مفروض می‌شود.
- تعریف لغوی: تعریفی که بر اساس معنای لغوی یک واژه صورت می‌گیرد.
- تعریف اصطلاحی: تعریفی که بر اساس معنای خاص یک واژه در یک علم یا زمینه خاص صورت می‌گیرد.
شرایط تعریف نیز شامل جامع بودن، مانع بودن و روشنی تعریف است.
برای مثال، تعریف «انسان» به «حیوان ناطق» یک تعریف جامع و مانع است.
