4.5两题.尤其是4题.

4.5两题.尤其是4题.
4.5两题.尤其是4题.
 

4.5两题.尤其是4题.
(4)
①t∧r 前提引入
②t ①化简
③s↔t ……
④s
⑤q↔s
⑥q
⑦q→p
⑧p
⑨p∧q∧s∧r
结论成立.
（其余理由就留给你了）