3.1.2谓词演算公式(Predicate calculus formula) 3.1.3 谓词公式的解释 The interpretation of WFF 与命题类似，每个谓词及公式也都有由人赋予 的一定的语义(含义)，但从谓词及公...
基于8个网页-相关网页
谓词演算中的原子公式 [计] atomic formula in predicate calculus
谓词演算公式
Predicate calculus formula
以上为机器翻译结果，长、整句建议使用 人工翻译 。
一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.
youdao
应用推荐
模块上移
模块下移
不移动