题目内容

下列式子不是谓词合式公式的是()

A. ("x)P(x)→R(y)
B. ("x) ┐P(x)Þ("x)(P(x)→Q(x))
C. ("x)($y)(P(x)∧Q(y))→($x)R(x)
D. ("x)(P(x,y)→Q(x,z))∨($z)R(x,z)

查看答案

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

更多问题

设论域为{1,2}，与公式("x)A(x)等价的是()

A(1)∨A(2)
B. A(1)→A(2)
C. A(1)∧A(2)
D. A(2)→A(1)

对于公式("x) ($y)(P(x)∧Q(y))→($x)R(x,y)，下列说法正确的是()

A. y是自由变元
B. y是约束变元
C. ($x)的辖域是R(x, y)
D. ("x)的辖域是($y)(P(x)∧Q(y))→($x)R(x,y)

以下哪项是安全管理计划基本内容中设计计划依据的内容()？

A. 采用的主要技术规范、规程、标准和其他依据
B. 主要工艺、原料、半成品、成品、设备及主要危险概述
C. 施工项目的安全生产责任制
D. 工程地质、地理位置及特殊要求

下列句子不是命题的是()

A. 中华人民共和国的首都是北京
B. 张三是学生
C. 雪是黑色的
D. 太好了!