در منطق : علاقه ای که میان موضوع و محمول بطریق اثبات یا نفی واقع باشد چنانکه : العالم حادث و زید قائم و زید لیس بقائم و العالم الیس بقدیم چنانکه آوردن کلم. است یا نیست در اواخر جمله های عبارت فارسی .
