未知类型：{'options': ['P(x)=2，Q(x)=sinx', ' [img=79x33]17e0a97cdffd263.jpg[/img],[img=96x33]17e0a97ce95ed26.jpg[/img]', ' P(x)=-2，Q(x)=-sinx', ' [img=79x33]17e0a97cdffd263.jpg[/img],[img=83x33]17e0a97cf30b69a.jpg[/img]'], 'type': 102}
举一反三
- 下列的推理结构中哪个是正确的推理形式()。 未知类型：{'options': ['([img=8x14]17e4385a99bb660.jpg[/img] x)P(x) ∧ ([img=8x14]17e4385a99bb660.jpg[/img]x)Q(x) → ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x) ∧Q(x))', ' ([img=8x14]17e4385a99bb660.jpg[/img] x)P(x) → ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x) ∧ Q(x))', ' ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x) ∨ Q(x)) → ([img=8x14]17e4385a99bb660.jpg[/img]x)P(x) ∨([img=8x14]17e4385a99bb660.jpg[/img]x)Q(x)', ' ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x)∨ Q(x)) → ([img=8x14]17e4385a99bb660.jpg[/img] x)P(x) ∧ ([img=8x14]17e4385a99bb660.jpg[/img] x)Q(x)'], 'type': 102}
- 下列的推理结构中哪个是正确的推理形式()。 未知类型：{'options': ['([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∨Q(x)) → ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) ∧ ([img=8x14]17e4385aa223929.jpg[/img]x)Q(x)', ' ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∨ Q(x)) → ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) ∨ ([img=8x14]17e4385aa223929.jpg[/img]x)Q(x)', ' ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) → ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∧Q(x))', ' ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) ∧([img=8x14]17e4385aa223929.jpg[/img]x)Q(x) → ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∧ Q(x))'], 'type': 102}
- 设有命题:我们中只有张三数学考试不及格。引进谓词:P(x): x是我们中的一员。Q(y): x数学考试及格了。E(x, y): x和y是同一个人。引进个体常相a:张三。在一般论域下,对上述命题用一阶谓词形式化的结果是( )。 未知类型：{'options': ['¬([img=8x14]17e4385aa223929.jpg[/img]x)(P(x)∧¬Q(x)∧¬E(x, a))', ' ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x)∧¬Q(x)→E(x,a))', ' ¬([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x)∧Q(x)∧E(x,a))', ' ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x)∧¬Q(x)∧E(x,a))'], 'type': 102}
- 下列等值式中正确的是( )。 未知类型：{'options': ['( [img=8x14]17e4385a99bb660.jpg[/img]x)(P(x)→B) ≡ ([img=8x14]17e4385a99bb660.jpg[/img]x)P(x)→B', ' ( [img=8x14]17e4385aa223929.jpg[/img]x)(B→Q(x)) ≡B→([img=8x14]17e4385aa223929.jpg[/img]x)Q(x)', ' ( [img=8x14]17e4385aa223929.jpg[/img]x)(P(x)→B) ≡ ([img=8x14]17e4385aa223929.jpg[/img]x)P(x)→B', ' ( [img=8x14]17e4385aa223929.jpg[/img]x)(B→Q(x)) ≡B→ ([img=8x14]17e4385a99bb660.jpg[/img]x)Q(x)'], '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}
内容
- 0
函数f(x)=[img=40x76]17e0bf8d391c13e.png[/img]的不连续点为( ) 未知类型：{'options': ['x=0', ' x=[img=43x39]17e0bf8d4513730.png[/img](k=0,±1,±2,…)', ' x=0和x=2kπ(k=0,±1,±2,…)', ' x=0和x=[img=43x39]17e0bf8d4513730.png[/img](k=0,±1,±2,…)'], 'type': 102}
- 1
下列（ ）是谓词公式。 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)
- 2
下列（ ）是谓词公式。 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)
- 3
下列（ ）是谓词公式。 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)
- 4
下列（ ）是谓词公式。 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)