predicate calculus
短语[计] 谓词演算
释义与例句
n.
-
1.
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.
不可数 数学 哲学