منطق محمولات

از ویکی‌پدیا، دانشنامهٔ آزاد.

منطق محمولات (Predicate logic) یا منطق درجهٔ اوّل (First-order logic - FOL) زبانی‌ست همه‌جا‌گیر در علوم نمادی (symbolic)، که توسّط دانشمندان مختلف در علوم ریاضی، فلسفه، زبان‌شناسی، علوم رایانه، و به طور اخصّ، در هوش مصنوعی، و نمایش دانش مورد استفاده قرار می‌گیرد.

[ویرایش] منابع

  • Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New York Inc., 1984. ISBN: 0-387-96170-4