ایجاب (ریاضیات)

ایجاب (ریاضیات)(imply)
در ریاضیات، می‌گویند گزارۀ A گزارۀ B را ایجاب می‌کند یا دلالت بر B دارد، اگر B نتیجۀ منطقیA باشد. مثلاً گزارۀ ۲x = ۱۰ گزارۀ x = ۵ را ایجاب می‌کند، یعنی گزارۀ دوم را از گزارۀ اول، منطقاً نتیجه می‌گیرند. در بسیاری موارد، به‌جای استفاده از «ایجاب» یا «دلالت»، از شکل بیانیِ «اگر ... آن‌گاه» استفاده می‌کنند و مثلاً می‌گویند اگر ۲x = ۱۰، آن‌گاه x = ۵ .

 

---