معنی فارسی predicate calculus
C1محاسبات پیشوند، یک سیستم منطقی است که شامل استفاده از پیشوندها برای بیان گزارهها و روابط بین آنها میباشد.
A formal system in mathematical logic that uses predicates to express statements about objects.
- noun
The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.
محاسبات پیشوند در درک بیانیههای منطقی کمک میکند.
Predicate calculus helps in understanding logical statements.
در ریاضیات، محاسبات پیشوند برای فرموله کردن منطق استفاده میشود.
In mathematics, predicate calculus is used to formalize logic.
معنی فارسی کلمه predicate calculus
:
محاسبات پیشوند، یک سیستم منطقی است که شامل استفاده از پیشوندها برای بیان گزارهها و روابط بین آنها میباشد.