题目内容

李明的父亲是教师，用谓词逻辑可以表示为Teacher（father（Liming））这里father（Liming）是（）次

A. 常量
B. 变元
C. 函数
D. 一元谓词

查看答案

搜索结果不匹配？点我反馈

更多问题

一阶谓词逻辑表示的优点是（）。

A. 自然性
B. 精确性
C. 严密性
D. 容易实现

推理从不同的角度，可以分为（）

A. 演绎推理、归纳推理、默认推理
B. 单调推理、非单调推理
C. 启发性推理、非启发性推理
D. 确定性推理、不确定性推理

自由锻中，镦粗、拔长、冲孔工序都属于_____。

A. 精整工序
B. 辅助工序
C. 基本工序

下列成型工序属于模锻制坯模膛的是_____。

A. 拔长、滚压、预锻
B. 拔长、弯曲、切断
C. 预锻、弯曲、扭转
D. 冲孔、拔长、镦粗