请输入您要查询的字词:
单词
谓词逻辑
释义
谓词逻辑
Encyclopedia
文学
谓词
释
predicate logic
谓词逻辑
形式逻辑中用于描述命题内部结构的理论系统。又称一阶逻辑(first-order logic)或谓词计算(predicate calculus)。
Mathematics
>数理逻辑与数学基础>模型论>释义
predicate logic
谓词逻辑
logic of predicates
谓词逻辑
predicate logic
谓词逻辑
quantificational logic
量化逻辑,谓词逻辑
随便看
阿泰尼昂,P.
阿泼拉斯霉素
阿泽维多,A.
阿洛尼,N.
阿洛糖
阿洛菲
阿洛酮糖
阿洪多夫,M.F.
阿海水电站
阿涅斯的海滩
阿涅西
阿涅西箕舌线
阿涅阿斯
阿潘,K.von
阿灵顿
阿炳
阿片受体拮抗药
阿片受体激动药
阿片受体部分激动药
阿片样肽
阿片类物质所致精神障碍
阿片类物质相关障碍
阿片类药物
阿片肽
阿牙克库木湖
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/3/17 13:25:49