predicate calculus
英
美
- 谓词演算
详细释义
Noun:
-
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
双语例句
- Also, first-order predicate calculus isn't good enough anyway.
同时，从各方面来说，一阶谓词演算都不是足够好。
相关词汇
- functional calculus 函项演算
【近义词】
【邻近词汇】
大家正在查
Copyright © 2023 256查询网 All Rights Reserved
