نسبت بین مُعَرِّف و مُعَرَّف منحصراً باید تساوی باشد و تعریفْ قابل انعکاس (convertible) است.

و نقص بسیاری از تعاریف در حال انعکاس مشخص می‌شود.

مثلاً وقتی بگوییم «هر دایره، شکلی منحنی‌الدّور است» قضیۀ صادقه‌ای است. اما قسمتی از حقیقت را ذکر کرده‌ایم و تمام ذاتیات دایره را بیان نکرده‌ایم؛ چون آن را منعکس کنیم و بگوییم «هر شکل منحنی‌الدّوری، دایره است» نقص آن آشکار می‌شود.

©️محمد خوانساری (۱۴۰۱). دورۀ مختصر منطق صوری. انتشارات دانشگاه تهران. ص. ۱۰۶.

🔸The definition (definiens /dɪˈfɪnɪənz/ مُعَرِّف) and the term being defined (definiendum /dɪˌfɪnɪˈɛndəm/ مُعَرَّف) should be convertible, that is, interchangeable or mutually predicable.

✍️ امیرحسین ایمانی‌زاده

📚 آموزش ترجمه: تَرزَبانی

@TarZabani