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

از ویکیجو | دانشنامه آزاد پارسی

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

 


  1. statement