题目内容

任何文字的合取式称为子句。

A. 对
B. 错

查看答案

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

更多问题

空子句是可以满足的。

A. 对
B. 错

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

A. 对
B. 错

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

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

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

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