请输入您要查询的词汇:
词汇
unary predicate calculus
释义
unary predicate calculus
单述词演算
若在二阶述词演算中,只允许使用普通常数和普通变数,命题常数和命题变数,以及单变元的述词函数和述词函数变数,但不许使用其它的函数或函数变数,则称为单述词演算。
随便看
鼠目寸光
鼠窜
鼠蹊
鼬
鼬獾
鼬鼠皮
鼯
鼯鼠
鼹
鼹鼠
鼻
鼻中隔
鼻出血
鼻化母音
鼻咽癌
鼻塞
鼻子
鼻子不通
鼻孔
鼻尖
鼻息
鼻旁窦
鼻梁
鼻毛
鼻涕
语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号
更新时间:2025/6/19 6:35:04