使用演绎法构造下列推理的证明。
未知类型：{'options': ['R', ' [img=10x11]17da588760fa5e4.jpg[/img]R', ' ¬（P∧Q）', ' （P∧Q）', ' ¬P∨¬Q', ' P∨¬Q'], 'type': 102}
未知类型：{'options': ['R', ' [img=10x11]17da588760fa5e4.jpg[/img]R', ' ¬（P∧Q）', ' （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}
- 以下属于等值规则的是()。 未知类型：{'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}
- 构造下列推理的证明。 （1）前提：¬P∨Q, ¬（Q∧R）,R；结论：¬P。 （2）前提：（P→Q）→（Q→R）,R→P;结论：Q→P。 （3）前提：P→（Q→R）, ¬S∨P;结论：Q→（S→R）。 （4）前提：¬P∧¬Q;结论：¬（P∧Q）。 （5）前提：P→¬Q,R∨S,S→¬Q;结论：¬P
- 构造下面推理的证明A） 前提： p®（q®s）,q, p∨Ør结论： r®sB） 前提： Ø (p∧Øq) , Øq∨r, Ør结论： Ø p
- 用真值表判断下列公式的类型 (1)p→(p∨q∨r) (2)(p→Øp)→Øq (3) Ø(q→r)∧r (4)(p→q)→(Øq→Øp) (5)(p∧r) « (Øp∧Øq) (6)((p→q)∧(q→r))→(p→r) (7)(p→q) « (r«s)