下列公式中（ ）不是命题 。
A: ([img=10x19]1802fc729227794.png[/img]x)P(x)
B: ([img=10x19]1802fc729a47f04.png[/img]x)P(x)
C: ([img=10x19]1802fc729227794.png[/img]x)(P(x)[img=12x16]1802fc72ab56bf4.png[/img]p(y))
D: ([img=10x19]1802fc729a47f04.png[/img]x)([img=10x19]1802fc729a47f04.png[/img]y)(P(x)[img=18x11]1802fc72c373eac.png[/img]p(y))
A: ([img=10x19]1802fc729227794.png[/img]x)P(x)
B: ([img=10x19]1802fc729a47f04.png[/img]x)P(x)
C: ([img=10x19]1802fc729227794.png[/img]x)(P(x)[img=12x16]1802fc72ab56bf4.png[/img]p(y))
D: ([img=10x19]1802fc729a47f04.png[/img]x)([img=10x19]1802fc729a47f04.png[/img]y)(P(x)[img=18x11]1802fc72c373eac.png[/img]p(y))
举一反三
- 下列公式中（ ）不是命题 。 A: ([img=10x19]180361811d22e4e.png[/img]x)P(x) B: ([img=10x19]18036181259b0de.png[/img]x)P(x) C: ([img=10x19]180361811d22e4e.png[/img]x)(P(x)[img=12x16]18036181351b766.png[/img]p(y)) D: ([img=10x19]18036181259b0de.png[/img]x)([img=10x19]18036181259b0de.png[/img]y)(P(x)[img=18x11]180361814f231a2.png[/img]p(y))
- 下列公式中（ ）不是命题 。 A: ([img=10x19]180323d46bb2977.png[/img]x)P(x) B: ([img=10x19]180323d47572f03.png[/img]x)P(x) C: ([img=10x19]180323d46bb2977.png[/img]x)(P(x)[img=12x16]180323d48718b32.png[/img]p(y)) D: ([img=10x19]180323d47572f03.png[/img]x)([img=10x19]180323d47572f03.png[/img]y)(P(x)[img=18x11]180323d4a05a5c9.png[/img]p(y))
- 下列等值式不正确的是： 未知类型：{'options': ['', '┐([img=10x19]17de6020f4c375c.png[/img]x)A [img=18x11]17de60210176264.png[/img]([img=10x19]17de60210dea9b9.png[/img] x)┐A', '(∃x)(A(x)∧B(x))[img=18x11]17de60210176264.png[/img] (∃x)A(x)∧(∃ x)B(x)', '(∀x)(∀y)(A(x)→B(y))[img=18x11]17de60210176264.png[/img] (∀x)A(x)→(∀y)B(y)'], 'type': 102}
- 一阶公式([img=16x17]17da563f2953679.png[/img]x)(P(x)∨([img=8x14]17da563f348435c.jpg[/img]y)R(y))→Q(x)中量词x的辖域是( ) 未知类型：{'options': ['([img=16x17]17da563f2953679.png[/img]x)(P(x)∨([img=8x14]17da563f348435c.jpg[/img]y)R(y))', ' P(x)', ' (P(x)∨([img=13x16]17da563f4517a67.png[/img]y)R(y))', ' (P(x)∨([img=13x16]17da563f4517a67.png[/img]y)R(y))→Q(x)'], 'type': 102}
- 下列（ ）是谓词公式。 A: P(x) B: [img=12x14]180324c8744588e.png[/img]P(x) C: P(x)[img=18x11]180324c87c59fe1.png[/img]Q(x) D: P(x)+Q(x)[img=18x11]180324c884649c1.png[/img]R(x)