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

[单选题]

与“﹁"x（A（x)→B（x))”相等值的谓词公式是

A.x(A(x)∧﹁B(x))

B.x﹁(A(x)∧B(x))

C.x(A(x)∧﹁B(x))

D.x﹁(A(x)→B(x))

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

参考答案

查看官方参考答案

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

网友答案

查看全部（）

· 有4位网友选择 C，占比13.79%
· 有3位网友选择 A，占比10.34%
· 有3位网友选择 B，占比10.34%
· 有3位网友选择 A，占比10.34%
· 有3位网友选择 D，占比10.34%
· 有3位网友选择 A，占比10.34%
· 有2位网友选择 B，占比6.9%
· 有2位网友选择 C，占比6.9%
· 有2位网友选择 D，占比6.9%
· 有2位网友选择 B，占比6.9%
· 有1位网友选择 D，占比3.45%
· 有1位网友选择 C，占比3.45%

ABCD

提交我的答案

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

您可能会需要：

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

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

更多“与“﹁"x（A（x)→B（x))”相等值的谓词公式是”相关的问题

第1题

设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式 $x(P(x)ÚQ(x))在哪个个体域中为真

A、自然数

B、实数

C、复数

D、(1)--(3)均成立

点击查看答案

第2题

下面哪种情况下，记作X为I(2)

A、X平稳，但是过程是I(1)

B、X不平稳，但是过程是I(1)

C、X平稳，但是过程是I(0)

D、X不平稳，但是过程是I(0)

点击查看答案

第3题

给定公式[图]，当D={a,b}时，下列的解释（）使该公式真值...

给定公式，当D={a,b}时，下列的解释（）使该公式真值为0

A、P(a)=0、P(b)=0

B、P(a)=0、P(b)=1

C、P(a)=1、P(b)=0

D、P(a)=1、P(b)=1

点击查看答案

第4题

设谓词[图]代表“x等于y”，个体变元x，y的个体域都为{1，2...

设谓词代表“x等于y”，个体变元x，y的个体域都为{1，2，3}，则以下选项真值为1的是？

A、

B、

C、

D、

E、

F、

点击查看答案

第5题

设个体域为整数集，则公式[图]的解释可为（）。A、对任一...

设个体域为整数集，则公式的解释可为（）。

A、对任一整数x，对任意整数y满足x+y=2

B、对任一整数x，存在整数y满足x+y=2

C、存在一整数x，对任意整数y满足x+y=2

D、存在一整数x，有整数y满足x+y=2

点击查看答案

第6题

“有的投票人(T(x))赞成(Z(x,y))所有的侯选人(H(y))”的谓词公式是

A、$x(T(x)∧"y(H(y)→﹁Z(x,y))

B、$x(T(x)∧"y(H(y)→Z(x,y))

C、$x(T(x)∧$y(H(y)→Z(x,y))

D、$x(T(x)∧"y(H(y)∧Z(x,y))

点击查看答案

第7题

存在实例化规则限制要求假设存在名a必须是在推理中第（）次出现。

A、一

B、二

C、三

D、四

点击查看答案

第8题

当P至少在一个可能世界为真时，下列说法正确的是

A、“可能P”是真的

B、“必然P”是真的

C、“必然非P”是真的

D、“可能非P”是真的

点击查看答案

第9题

以﹁□SEP为前提进行对当关系模态推理，其结论是

A、□SAP

B、□SEP

C、◇SIP

D、□﹁SIP

点击查看答案

第10题

下列词语中属于模态词的有

A、应该

B、但是

C、也许

D、必然

E、虽然

点击查看答案

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

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

微信搜一搜

简答题

点击打开微信

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

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

微信搜一搜

简答题

点击打开微信