A: OAB[img=18x11]18038e82282e5cf.png[/img]BC[img=18x11]18038e82282e5cf.png[/img]COAB
B: OAB[img=18x11]18038e82282e5cf.png[/img]BD[img=18x11]18038e82282e5cf.png[/img]DOAB
C: OAB[img=18x11]18038e82282e5cf.png[/img]BAO[img=18x11]18038e82282e5cf.png[/img]ODB
D: OAB[img=18x11]18038e82282e5cf.png[/img]BD[img=18x11]18038e82282e5cf.png[/img]DB
举一反三
- 下列等值式不正确的是： 未知类型：{'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}
- 下列（ ）是谓词公式。 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)
- 下列（ ）是谓词公式。 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)
- 下列（ ）是谓词公式。 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)
- 下列（ ）是谓词公式。 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)
内容
- 0
下列（ ）是谓词公式。 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)
- 1
下列（ ）是谓词公式。 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)
- 2
下列（ ）是谓词公式。 A: P(x) B: [img=12x14]180380acceac4b6.png[/img]P(x) C: P(x)[img=18x11]180380acd6d1c3a.png[/img]Q(x) D: P(x)+Q(x)[img=18x11]180380acdf3a758.png[/img]R(x)
- 3
下列（ ）是谓词公式。 A: P(x) B: [img=12x14]18030294e7a6b88.png[/img]P(x) C: P(x)[img=18x11]18030294ef74568.png[/img]Q(x) D: P(x)+Q(x)[img=18x11]18030294f8d3d95.png[/img]R(x)
- 4
下列（ ）是谓词公式。 A: P(x) B: [img=12x14]1803c7abdf32493.png[/img]P(x) C: P(x)[img=18x11]1803c7abe710025.png[/img]Q(x) D: P(x)+Q(x)[img=18x11]1803c7abef29bde.png[/img]R(x)