一阶逻辑前束范式不惟一
举一反三
- 中国大学MOOC: 下列一阶逻辑公式不属于前束范式的是（ ）
- 下列关于以太网网卡地址的说法中，正确的是( )。 A: 在世界范围内惟一 B: 在世界范围内不惟一 C: 在一定范围内惟一 D: 在一定范围内不惟一
- 关于特定物业在某一时点市场价值与投资价值的说法，正确的是（）。 A: 市场价值是惟一的，投资价值是不惟一的 B: 市场价值是惟一的，投资价值也是惟一的 C: 市场价值是不惟一的，投资价值是惟一的 D: 市场价值是不惟一的，投资价值也是不惟一的
- 设G、H是一阶逻辑公式,P是一个谓词,G=xP(x),H=xP(x),则一阶逻辑公式GH是().(A)恒真的(B)恒假的(C)可满足的(D)前束范式. A: 恒真的 B: 恒假的 C: 可满足的 D: 前束范式
- 一阶逻辑公式∀xP(x)→∃xP(x)是（）。 A: 永真的 B: 永假的 C: 可满足的 D: 前束范式