一个合法的谓词演算表达式，即谓词演算语法所允许的公式。

A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.

youdao

一个合法的谓词演算表达式，即谓词演算语法所允许的公式。

A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.

youdao