4.5两题.尤其是4题.

来源：学生作业学帮网 编辑：学帮网 时间：2024/06/17 22:41:39

4.5两题.尤其是4题.
 

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