题目内容
(请给出正确答案)
[单选题]
利用谓词的约束变元的换名规则和自由变元的代入规则,可将公式改写成______.
A.(x)(P(y)→Q(x,y))∧R(z,s)
B.(z)(P(z)→Q(z,s))∧R(x,s)
C.(x)(P(s)→Q(x,s))∧R(x,s)
D.(z)(P(s)→Q(z,s))∧R(z,s)
如搜索结果不匹配,请 联系老师 获取答案
A.(x)(P(y)→Q(x,y))∧R(z,s)
B.(z)(P(z)→Q(z,s))∧R(x,s)
C.(x)(P(s)→Q(x,s))∧R(x,s)
D.(z)(P(s)→Q(z,s))∧R(z,s)
第2题
A.调幅是对水平荷载作用下的内力进行的
B.先与水平荷载产生的内力进行组合,再进行弯矩调幅
C.现浇框架梁端的调幅系数大于装配整体式框架梁端的调幅系数
D.调幅是对柱端弯矩进行的
第5题
为了保护您的账号安全,请在“上学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!