"آدیسیتی" به تعداد پارامترهایی اشاره دارد که یک محمول یا تابع می پذیرد. در منطق صوری، گفته می شود که یک محمول دارای یک "آدیسیتی" مشخص ( که به آن "arity" نیز گفته می شود ) است، بر اساس اینکه به چند موجودیت اشاره می کند. برای مثال:
... [مشاهده متن کامل]
یک محمول تک جایگاهی دارای ادیسیتی ۱ است ( مانند �x قدبلند است� ) .
یک محمول دو جایگاهی دارای ادیسیتی ۲ است ( مانند �x از y بلندتر است� ) .
... [مشاهده متن کامل]
یک محمول تک جایگاهی دارای ادیسیتی ۱ است ( مانند �x قدبلند است� ) .
یک محمول دو جایگاهی دارای ادیسیتی ۲ است ( مانند �x از y بلندتر است� ) .