设前提集合Γ={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}
未知类型：{'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}
举一反三
- 以下属于等值规则的是()。 未知类型：{'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[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
- 使用演绎法构造下列推理的证明。 未知类型：{'options': ['R', ' [img=10x11]17da588760fa5e4.jpg[/img]R', ' ¬（P∧Q）', ' （P∧Q）', ' ¬P∨¬Q', ' P∨¬Q'], 'type': 102}
- 在关系模式R中，如果X[img=14x9]17da55be8bf714b.jpg[/img]Y，且存在X的某个真子集X'，有X'[img=14x9]17da55be8bf714b.jpg[/img]Y,则称Y对X____。
- 推拿手法操作中的施力原则是 未知类型：{'options': ['轻[img=14x9]17da55be8bf714b.jpg[/img]重[img=14x9]17da55be8bf714b.jpg[/img]重', ' 轻[img=14x9]17da55be8bf714b.jpg[/img]轻[img=14x9]17da55be8bf714b.jpg[/img]重', ' 轻[img=14x9]17da55be8bf714b.jpg[/img]重[img=14x9]17da55be8bf714b.jpg[/img]轻', ' 重[img=14x9]17da55be8bf714b.jpg[/img]轻[img=14x9]17da55be8bf714b.jpg[/img]重'], 'type': 102}