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

[单选题]

谓词公式（x)（F（x) ® G（x)) ®y（G（y) ®∀xF（x)）中变元x是

A.自由变元

B.既是自由变元又是约束变元

C.既不是自由变元也不是约束变元

D.约束变元

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

参考答案

查看官方参考答案

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

网友答案

查看全部（）

· 有6位网友选择 C，占比54.55%
· 有3位网友选择 B，占比27.27%
· 有2位网友选择 D，占比18.18%

ABCD

提交我的答案

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

您可能会需要：

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

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

更多“谓词公式（x)（F（x) ® G（x)) ®y（G（y) ®…”相关的问题

第1题

设,求F(x)+G(x),G(x)-F(x),F(x),G(x).

设

,求F(x)+G(x),G(x)-F(x),F(x),G(x).

点击查看答案

第2题

证明:如果(f(x),g(x))=1,那么(f(x)+g(x),f(x),g(x))=1

点击查看答案

第3题

求f[f(x)],g[g(x)],f[g(x)]与g[f(x)],其中:

点击查看答案

第4题

是否成立?,若f(x,y)=f(-x,y)且f(x,y)=f(-x,y)时是否成立?

是否成立?,若f(x,y)=f(-x,y)且f(x,y)=f(-x,y)时是否成立?

点击查看答案

第5题

给定公式[图]，当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

点击查看答案

第6题

不定积分∫xf″（x）dx等于：（）

A. xf′（x）-f′（x）+c

B. xf′（x）-f（x）+c

C. xf′（x）+f′（x）+c

D. xf′（x）+f（x）+c

点击查看答案

第7题

公式（∀xF(x) ∨yG(y)）Ù ┐yG(y) ®∀xF(x)的类型是

A、可满足式

B、重言式

C、矛盾式

D、都不是

点击查看答案

第8题

设F（x）：x为无理数，G（x）：x能表示为分数

A、┐ ∀x(F(x) ® G(x))

B、┐∃x(F(x) ÙG(x))

C、∃x(F(x) ® G(x))

D、∀x(F(x) ® ┐G(x))

点击查看答案

第9题

公式┐(∀xF(x) ®yG(y)）Ù yG(y)的类型是

A、可满足式

B、重言式

C、矛盾式

D、都不是

点击查看答案

第10题

设F（x）：x为有理数，G（x）：x为自然数，命题“有理数不全是自然数”的符号化形式为

A、┐ ∀x(F(x) ® G(x))

B、∃x(F(x) Ù┐ G(x))

C、∃x(F(x) ® G(x))

D、∀x(F(x) Ù G(x))

点击查看答案

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

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

微信搜一搜

简答题

点击打开微信

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

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

微信搜一搜

简答题

点击打开微信