predicate calculus
ریشه و کاربرد
ریشه
Compound of 'predicate' and 'calculus'.
مثال
- Predicate calculus is used in mathematical logic and computer science.
- The study of predicate calculus helps in understanding formal reasoning.
- In predicate calculus, propositions are expressed using predicates and quantifiers.
ترکیبهای رایج
Study predicate calculus Use predicate calculus Apply predicate calculus Understand predicate calculus
تعریف انگلیسی
noun
- a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)