p:约翰不去学校,q:约翰生病。“只有生病时,约翰才不去学校。”命题符号化为:( )。
未知类型:{'options': ['p[img=21x16]17e0a87e18dcf98.png[/img]q', ' p[img=22x16]17e0a87e2165da5.png[/img]q', ' q[img=21x16]17e0a87e18dcf98.png[/img]p', ' p[img=16x14]17e0a87e2d8e4e2.png[/img]q'], 'type': 102}
未知类型:{'options': ['p[img=21x16]17e0a87e18dcf98.png[/img]q', ' p[img=22x16]17e0a87e2165da5.png[/img]q', ' q[img=21x16]17e0a87e18dcf98.png[/img]p', ' p[img=16x14]17e0a87e2d8e4e2.png[/img]q'], '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) ∧ ([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}
- 利用公式求解一阶线性非齐次微分方程[img=126x21]17e0a97cd556f9c.jpg[/img]时,通常可将P(x)和Q(x)设为() 未知类型:{'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}
- P:天冷,Q:小王穿羽绒服。“只有天冷,小王才穿羽绒服。”命题符号化为:_________。 未知类型:{'options': ['P→Q', ' Q→P', ' P[img=14x9]17e436e0a3691b0.jpg[/img]Q', ' P∧Q'], 'type': 102}