题目内容（请给出正确答案）

[单选题]

设、是一阶逻辑公式，是一个谓词，,,则一阶逻辑公式是

A.可满足的

B.恒真的

C.恒假的

D.其他答案皆不正确

提问人：网友bills035 发布时间：2022-01-07

参考答案

抱歉！暂无答案，正在努力更新中……

如搜索结果不匹配，请联系老师获取答案

网友答案

查看全部（）

· 有4位网友选择 C，占比50%
· 有2位网友选择 B，占比25%
· 有1位网友选择 D，占比12.5%
· 有1位网友选择 A，占比12.5%

ABCD

提交我的答案

登录提交答案，可赢取奖励机会。

您可能会需要：

重置密码查看订单联系客服

安装简答题APP，拍照搜题省时又省心！

更多“设[图]、[图]是一阶逻辑公式，[图]是一个谓词，[图], …”相关的问题

第1题

设

、

是一阶逻辑公式，

是一个谓词，

,

,则一阶逻辑公式

是

A.可满足的

B.恒真的

C.恒假的

D.其他答案皆不正确

点击查看答案

第2题

设

、

是一阶逻辑公式，

是一个谓词，

,

,则一阶逻辑公式

是

A.可满足的

B.恒真的

C.恒假的

D.其他答案皆不正确

点击查看答案

第3题

设G、H是一阶逻辑公式，P是一个谓词，

,

,则一阶逻辑公式

是

A.可满足的

B.恒真的

C.恒假的

D.其他答案皆不正确

点击查看答案

第4题

设一阶逻辑公式

，则与

等价的是

A.

B.

C.

D.

点击查看答案

第5题

设G、H是一阶逻辑公式，P是一个谓词，G＝$xP（x), H＝"xP（x),则一阶逻辑公式G®H是（).

A.恒真式

B.恒假的

C.可满足的

D.前束范式

点击查看答案

第6题

设一阶逻辑公式[图]，则与[图]等价的是A、[图]B、[图]C、[...

设一阶逻辑公式，则与等价的是

A、

B、

C、

D、

E、

F、

点击查看答案

第7题

设一阶逻辑公式

，则与G等价的是

A.

B.

C.

D.

点击查看答案

第8题

设一阶逻辑公式

，则与G等价的是

A.

B.

C.

D.

点击查看答案

第9题

对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。

点击查看答案

第10题

对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。（)

点击查看答案

警告：系统检测到您的账号存在安全风险

为了保护您的账号安全，请在“简答题”公众号进行验证，点击“官网服务”-“账号验证”后输入验证码“”完成验证，验证成功后方可继续查看答案！

微信搜一搜

简答题

点击打开微信

警告：系统检测到您的账号存在安全风险

抱歉，您的账号因涉嫌违反简答题购买须知被冻结。您可在“简答题”微信公众号中的“官网服务”-“账号解封申请”申请解封，或联系客服。

微信搜一搜

简答题

点击打开微信