انسان حیوان راه رونده یک تعریف رایج برای انسان است. در منطق، تعریف باید جامع و مانع باشد.
- جامع بودن یعنی شامل همه مصادیق انسان باشد.
- مانع بودن یعنی شامل چیزهایی که انسان نیستند نشود.
در این تعریف، «حیوان» جنس و «راه رونده» فصل است که انسان را از سایر حیوانات متمایز می‌کند.
راهنمایی کوتاه: تعریف انسان به عنوان حیوان راه رونده باید جامع و مانع باشد.
گام‌به‌گام:
۱) بررسی جامع بودن: آیا همه انسان‌ها حیوان راه رونده هستند؟
۲) بررسی مانع بودن: آیا هر حیوان راه رونده‌ای انسان است؟
۳) تحلیل جنس و فصل: «حیوان» جنس و «راه رونده» فصل است.
پاسخ نهایی: انسان = حیوان + راه رونده (تعریفی که باید جامع و مانع باشد).
مثال مشابه: تعریف مثلث به عنوان شکل سه ضلعی.
