تعریف بازگشتی

تعریف بازگشتی

تعریف یعنی شناساندن چیزی بوسیلۀ یک توصیف. مثلاً “تک‌شاخ” بنا به تعریف یعنی “اسبی که یک شاخ روی سرِ خود دارد”. هر تعریف دستِ‌کم دو بخش دارد: یکی معرَّف (definiendum) (= آنچه قرار است تعریف شود، در مثال ما “تک‌شاخ”) و دیگری معرِّف (definiens) (= آنچه معرَّف را تعریف می‌کند، در مثال ما “اسبی که […]