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)
内容
- 0
下列( )是谓词公式。 A: P(x) B: [img=12x14]18038f1536a9c9f.png[/img]P(x) C: P(x)[img=18x11]18038f153e625c4.png[/img]Q(x) D: P(x)+Q(x)[img=18x11]18038f1547a3842.png[/img]R(x)
- 1
下列( )是谓词公式。 A: P(x) B: [img=12x14]1803673463cbef1.png[/img]P(x) C: P(x)[img=18x11]180367346c00b6c.png[/img]Q(x) D: P(x)+Q(x)[img=18x11]1803673473df1df.png[/img]R(x)
- 2
下列( )是谓词公式。 A: P(x) B: [img=12x14]18037cdbb50aa38.png[/img]P(x) C: P(x)[img=18x11]18037cdbbe304ab.png[/img]Q(x) D: P(x)+Q(x)[img=18x11]18037cdbc73ccd3.png[/img]R(x)
- 3
下列( )是谓词公式。 A: P(x) B: [img=12x14]18035c682bfce37.png[/img]P(x) C: P(x)[img=18x11]18035c68346f261.png[/img]Q(x) D: P(x)+Q(x)[img=18x11]18035c683dcf57a.png[/img]R(x)
- 4
下列( )是谓词公式。 A: P(x) B: [img=12x14]18037ae6bda1541.png[/img]P(x) C: P(x)[img=18x11]18037ae6c823ae6.png[/img]Q(x) D: P(x)+Q(x)[img=18x11]18037ae6d0dafd6.png[/img]R(x)