未知类型：{'options': ['p→p', 'p[img=14x9]17da3b7c689df98.jpg[/img](p∧p)', '(p[img=14x9]17da55be8bf714b.jpg[/img]q)[img=14x9]17da3b7c689df98.jpg[/img]([img=10x11]17da588760fa5e4.jpg[/img]p∨q)', 'p→q, p,∴q'], 'type': 102}
举一反三
- 设前提集合Γ={P→(Q→S), ¬R∨P, Q},公式G=R→S，证明Γ=>;G。 未知类型：{'options': ['R', ' [img=10x11]17da588760fa5e4.jpg[/img]R', ' P', ' Q[img=14x9]17da55be8bf714b.jpg[/img]S', ' P[img=14x9]17da55be8bf714b.jpg[/img]S', ' S', ' [img=10x11]17da588760fa5e4.jpg[/img]S', 'H. R[img=14x9]17da55be8bf714b.jpg[/img]S'], 'type': 102}
- 公式（p[img=10x12]17da58ca5149efb.jpg[/img]q）[img=14x9]17da55be8bf714b.jpg[/img][img=10x11]17da588760fa5e4.jpg[/img]p的成真赋值 A: 00 B: 01 C: 10 D: 11
- P：天冷，Q：小王穿羽绒服。“只有天冷，小王才穿羽绒服。”命题符号化为：_________。 未知类型：{'options': ['P→Q', ' Q→P', ' P[img=14x9]17e436e0a3691b0.jpg[/img]Q', ' P∧Q'], '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}
内容
- 0
使用演绎法构造下列推理的证明。 未知类型：{'options': ['R', ' [img=10x11]17da588760fa5e4.jpg[/img]R', ' ¬（P∧Q）', ' （P∧Q）', ' ¬P∨¬Q', ' P∨¬Q'], 'type': 102}
- 1
下列等值式中正确的是( )。 未知类型：{'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}
- 2
下列（ ）是谓词公式。 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)
- 3
下列（ ）是谓词公式。 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)
- 4
下列（ ）是谓词公式。 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)