“谓词逻辑”的概念、定义、翻译、参考文献-科学参考

单词	谓词逻辑
释义	谓词逻辑 Encyclopedia 文学谓词释 predicate logic谓词逻辑形式逻辑中用于描述命题内部结构的理论系统。又称一阶逻辑（first-order logic）或谓词计算（predicate calculus）。 Mathematics ＞数理逻辑与数学基础＞模型论＞释义 predicate logic谓词逻辑 logic of predicates谓词逻辑 predicate logic谓词逻辑 quantificational logic量化逻辑，谓词逻辑
随便看	交叉照明交叉熵交叉环形天线交叉环柄交叉的交叉相位调制交叉相关交叉相关函数交叉相关分析交叉相关定理交叉相关系数交叉相干交叉相干[性] 交叉相干性交叉磁场交叉磁通交叉积交叉等价交叉算子交叉簇交叉系列依存结构交叉组配交叉终止交叉编译交叉羟醛缩合

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。