M(x)) 4 第二章 谓词逻辑(Predicate Logic) 2.3谓词公式与翻译(Predicate formulae) (2)令E(x): x小于2。S(x):x是素数.
基于4个网页-相关网页
谓词公式与翻译
Predicate Formulas and Translation
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动