题目内容

谓词公式不可满足的充要条件是其子句集不可满足。

A. 对
B. 错

查看答案

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

更多问题

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

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

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

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

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

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

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

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