以下属于等值规则的是()。
未知类型：{'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}
未知类型：{'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}