ترم (ریاضیات)

تِرم  یا جمله، در منطق ریاضیاتی به یک شیء ریاضیاتی اشاره می‌کند؛ درحالیکه یک فرمول به یک واقعیت ریاضیاتی اشاره می‌کند.  یک ترم به صورت مولفه‌ای از یک فرمول پدیدار می‌شود. این موضوع مشابه زبان‌های طبیعی است که در آن یک عبارت اسمی به یک شیء اشاره می‌کند؛ و یک جمله کامل (در آن زبان) به یک واقعیت اشاره می‌کند.

یک «ترم مرتبه اول» به صورت بازگشتی از «نمادهای ثابت»، «متغیر» و «نمادهای تابعی» ساخته می‌شود. به عبارتی که از اعمال یک نماد گزاره‌ای به تعداد مناسبی از ترم‌ها تشکیل شود، فرمول اتمی می‌گویند، که در منطق دوظرفیتی (اگر تفسیرش داده شده‌باشد) به صورت درست یا نادرست ارزیابی می‌شود.

برای مثال،  یک ترم است که از ثابت ۱، متغیر  و نمادهای تابعی دودویی  و  ساخته شده‌است؛ این ترم بخشی از فرمول اتمیک  است که برای هر مقدار حقیقی برای عدد  به صورت درست یا نادرست ارزیابی می‌شود.

علاوه بر منطق، ترم‌ها نقش مهمی در جبر جهانی و سامانه بازنویسی دارند.

پانویس

منابع 

 

ریاضیات مقدماتی
سیستم‌های بازنویسی
منطق ریاضی